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

[Funded PhD] Improving Diagnosis for a Formal Verification Tool for Electrical Circuits at Transistor Level

Friday 6 June 2025

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

Friday 6 June 2025
Contact | Site Map | Site powered by SPIP 4.2.13 + AHUNTSIC [CC License]

info visites 3984644