Bruno Ferres

ferres.me : https://ferres.me

Send a private message to this author

Send a message

Articles by this author

Oussama OULKAID

Thursday 26 October 2023

[Funded PhD/PostDoc] Countermeasures to (transient) Side-Channel Attacks in a Formally Verified Compiler

Monday 25 March 2030

[Funded PhD] Annotations de sécurité pour compilateur optimisant formellement vérifié

Thursday 20 March 2025

[Master] Modular Analysis for Formal Verification of Integrated Circuits at Transistor Level

Friday 1 November 2024
Contact | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3958288