works on
cryptography 1formal verification 1language-based security 1proof assistants 1secure compilation 1system security 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.CR2026

Formalization of security

Gilles Barthe

The paper discusses how proof assistants can be used to formally verify security properties of systems, languages, compilers, and cryptographic protocols, supporting certification…