Bruno Ferres
Articles de cet auteur
Oussama OULKAID
jeudi 26 octobre 2023
[Funded PhD/PostDoc] Countermeasures to (transient) Side-Channel Attacks in a Formally Verified Compiler
lundi 25 mars 2030
[Funded PhD] Annotations de sécurité pour compilateur optimisant formellement vérifié
jeudi 20 mars 2025
[Funded PhD] Improving Diagnosis for a Formal Verification Tool for Electrical Circuits at Transistor Level
vendredi 6 juin 2025
[Funded PhD] Modular Analysis for Formal Verification of Integrated Circuits at Transistor Level
vendredi 6 juin 2025
