axe_Pacs
info dans groupe team
info articles lies mot
Articles
PhD position: software vulnerability analysis guided by countermeasures and attacker capabilities
Wednesday 11 May 2022
by mounier
Members
Wednesday 16 September 2015
by jahier
by years
Wednesday 16 September 2015
by jahier
by kinds
Wednesday 16 September 2015
by jahier
Partners
Wednesday 16 September 2015
by jahier
ARAMIS
Sunday 10 December 2017
by potet
BINSEC
Sunday 31 December 2017
by potet
BinSec
Thursday 7 January 2021
by mounier
CLAM
Wednesday 31 January 2024
by mounier
Etienne BOESPFLUG
Saturday 31 December 2022
by jahier
FISSC
Thursday 7 January 2021
by mounier
GUEB
Thursday 7 January 2021
by mounier
Lazart
Thursday 7 January 2021
by mounier
Measures against speculative attacks in a certified optimizing compiler
Thursday 12 October 2023
by monniaux
Pagai
Tuesday 15 May 2012
by monniaux
SACADE
Tuesday 31 December 2019
by mounier
SECURIOT-2
Friday 1 January 2021
by potet
Security counter-measures in a certified optimizing compiler
Thursday 12 October 2023
by monniaux
SERTIF
Tuesday 10 January 2017
by potet
TAVA
Tuesday 31 December 2024
by mounier
[Funded PhD] Annotations de sécurité pour compilateur optimisant formellement vérifié
Thursday 20 March 2025
by potet, boulme
[Funded PhD] Quantitative analysis of software security against adaptive attacks
Friday 21 March 2025
by mounier
[M2 Internship] Leakage in presence of an active and adaptive adversary
Monday 31 January 2022
by mounier
[M2 Internship] Security counter-measures in a certified optimizing compiler
Saturday 15 January 2022
by mounier
[M2R Internship] Analyse et Evaluation d’implémentations sécurisées robustes à l’injection de fautes
Friday 31 December 2021
by mounier
[master] automatic insertion of countermeasures in a verified compiler
Wednesday 31 August 2022
by monniaux
[Post-Doc] Open postdoc position (Software Security, Formal Methods, IIoT)
Tuesday 31 January 2023
by mounier
