Section: Application Domains
Introduction
The application domains of SECSI cover a large part of computer security.
Team
SECSI
Scientific Foundations
- What is computer security? Do we need some?
- Logic as a tool for assessing computer security
- Enriching the Dolev-Yao model with algebraic theories
- Linking cryptographic and formal approaches
- Indistinguishability proofs
- Application to new security protocols
- Models mixing probabilistic and non-deterministic choice
Application Domains
Software
New Results
- Indistinguishability proofs
- Algebraic properties of cryptographic primitives
- Composition
- Computational Soundness
- First-order logic and bounded verification
- Formal Analysis of Security APIs
- Cryptographic Security of VHDL Designs
- Routing Protocols
- Implementatin of efficient ZK-Proofs of Knowledge
- Complete WSTS
- Geometry of Interaction
- A Tale of Two Dualities
Other Grants and Activities
Dissemination
Bibliography