Who We Are
What We Do
Problem and Goal
Policies
Mechanisms
Metrics
Optimizations
Projects
SEVER&PROTECT
Publications
News
Standards and Interfaces
Contact
Delphine Demange
Latest
A verified information-flow architecture
Cite
×