Bruno Blanchet

Bruno Blanchet

Senior researcher, INRIA, Paris
Verified email at inria.fr
Cited by 10367
formal methods security protocols program analysis
Vipul Gupta

Vipul Gupta

Rutgers Univ/SUNY Binghamton/Sun Microsystems/Oracle/Rubixis
Cited by 5792
Computer networks security protocols wireless sensors cryptography healthcare
Steve Kremer

Steve Kremer

Inria
Verified email at inria.fr
Cited by 5552
Security security protocols formal methods verification
Stéphanie Delaune

Stéphanie Delaune

Univ Rennes, CNRS, IRISA
Verified email at irisa.fr
Cited by 4018
security protocols formal methods verification
Ansaf Alrabady

Ansaf Alrabady

FCA
Verified email at alrabady.com
Cited by 2918
Automotive Cybersecurity Embedded Security Security Protocols Cryptography Vehicle Security
Benedikt Schmidt

Benedikt Schmidt

Snowflake
Verified email at snowflake.com
Cited by 2645
Formal Methods Security Protocols Cryptography Program Verification Rewriting
Mohammad Sabzinejad Farash

Mohammad Sabzinejad Farash

Kharazmi University
Verified email at khu.ac.ir
Cited by 2613
Cryptography Security Protocols
Mark Manulis

Mark Manulis

Professor, Head of Privacy and Applied Cryptography Lab @ Universität der Bundeswehr …
Verified email at unibw.de
Cited by 2601
Applied Cryptography Privacy-Enhancing Technologies Security Protocols
Roberto Vigo

Roberto Vigo

(former) PhD student, Technical University of Denmark
Verified email at imm.dtu.dk
Cited by 2376
Formal methods software verification security protocols
Joeri de Ruiter

Joeri de Ruiter

Specialist security and privacy at SURF
Verified email at surf.nl
Cited by 2041
Security protocols
1 - 10