Developing tools for research and evaluation of vulnerabilities within cryptographic code, taking into account the attacker model.
- Some Recent Publications
- Abdelhakim Baouya, Salim Chedida, Samir Ouchani, Saddek Bensalem, Marius Bozga: Generation and verification of learned stochastic automata using k-NN and statistical model checking
- Léo Gourdin: PhD Student session: formally verified postpass scheduling with peephole optimization for AArch64
- Sylvain Boulmé: Formally Verified Defensive Programming (efficient Coq-verified computations from untrusted ML oracles)
- Karine Altisen, Stéphane Devismes, Erwan Jahier: SASA: a SimulAtor of Self-stabilizing Algorithms