Dr. Bruno B***

Computational model Logic and verification Security and privacy → Security protocols CCS Concepts Authentication Program verification Security protocols Signal Combining Cryptoverif Proving Security Protocol Implementations Mechanized proofs Combining tools Getting Worlds Key compromise Dealing Dynamic Compromise Protocol verification Formal methods Cryptography Post-quantum TLS Sound Verification Hybrid Key-exchanges Vérification