Skip to content
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
How to get here?
Log In
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
How to get here?
Log In
Reasoning over leaks of information for Access Control of Databases
September 26, 2022
Pierre Bourhis
(INRIA Lille)
TBA
Post navigation
Next steps for implicit automata in λ-calculi
Homomorphismes navigationnels pour les requêtes dans les bases de données graphes : complexité et algorithmes