Bruno Ferres

ferres.me : https://ferres.me

Envoyer un message privé à cet auteur

Envoyer un message

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

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

vendredi 1er novembre 2024
Contact | Plan du site | Site réalisé avec SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3965843