CE39 - Sécurité Globale, Cybersécurité

Auditable, secure & efficient symmetric cryptography – asesyc

Submission summary

Block ciphers crunch through pretty much any bit that is exchanged on the Internet today. The underlying cryptographic primitives are executed repeatedly on massive amounts of data. Their ability to sustain a high throughput is therefore essential. In a cryptographic setting, functional correctness is paramount and a hard problem in itself. However, a threat model may also include fault attacks --where the device executing the cipher is physically tampered with-- and/or side-channel attacks --where physical observations of the computing device are used to infer a secret. While functional correctness and auditability push for the use of a high-level programming language, performance and side-channels favor assembler as a more potent tool to wrestle with micro-architectural features. This project intends to address this tension in the context of block ciphers by offering a high-level language producing efficient and provably-secure implementations in an auditable manner.

Project coordinator

Monsieur Pierre-Evariste Dagand (institut de recherche en informatique fondamentale)

The author of this summary is the project coordinator, who is responsible for the content of this summary. The ANR declines any responsibility as for its contents.


IRIF institut de recherche en informatique fondamentale

Help of the ANR 151,111 euros
Beginning and duration of the scientific project: - 48 Months

Useful links

Explorez notre base de projets financés



ANR makes available its datasets on funded projects, click here to find more.

Sign up for the latest news:
Subscribe to our newsletter