Profiles

Bruno Blanchet

Senior researcher, INRIA, Paris

Verified email at inria.fr

Cited by 10005

formal methods security protocols program analysis

Vipul Gupta

Rutgers Univ/SUNY Binghamton/Sun Microsystems/Oracle/Rubixis

Cited by 5601

Computer networks security protocols wireless sensors cryptography healthcare

Steve Kremer

Inria

Verified email at inria.fr

Cited by 5390

Security security protocols formal methods verification

Stéphanie Delaune

Univ Rennes, CNRS, IRISA

Verified email at irisa.fr

Cited by 3925

security protocols formal methods verification

Ansaf Alrabady

FCA

Verified email at alrabady.com

Cited by 2851

Automotive Cybersecurity Embedded Security Security Protocols Cryptography Vehicle Security

Mohammad Sabzinejad Farash

Kharazmi University

Verified email at khu.ac.ir

Cited by 2563

Cryptography Security Protocols

Mark Manulis

Professor, Head of Privacy and Applied Cryptography Lab @ Universität der Bundeswehr …

Verified email at unibw.de

Cited by 2486

Applied Cryptography Privacy-Enhancing Technologies Security Protocols

Benedikt Schmidt

Snowflake

Verified email at snowflake.com

Cited by 2486

Formal Methods Security Protocols Cryptography Program Verification Rewriting

Roberto Vigo

(former) PhD student, Technical University of Denmark

Verified email at imm.dtu.dk

Cited by 2251

Formal methods software verification security protocols

Joeri de Ruiter

Specialist security and privacy at SURF

Verified email at surf.nl

Cited by 1886

Security protocols

1 - 10