Profils

Simon Lam

University of Texas at Austin

Adresse e-mail validée de cs.utexas.edu

Cité 14652 fois

Computer network protocol design Internet security services protocol verification performance analysis

Kedar Namjoshi

Bell Labs

Adresse e-mail validée de nokia-bell-labs.com

Cité 3026 fois

static program analysis protocol verification distributed systems

Christian Johansen

Professor at NTNU - Norwegian University of Science and Technology

Adresse e-mail validée de ntnu.no

Cité 1157 fois

system security concurrency formal methods protocol verification privacy

Ronghai Yang

Information Enginnering Department, The Chinese University of Hong Kong

Adresse e-mail validée de ie.cuhk.edu.hk

Cité 650 fois

cyber security protocol verification

Xiaoqi Ma

Nottingham Trent Uninivesity

Adresse e-mail validée de ntu.ac.uk

Cité 393 fois

Information Security Protocol Verification Cloud Computing

Loretta Ilaria Mancini

University of Birmingham

Adresse e-mail validée de cs.bham.ac.uk

Cité 363 fois

Computer security Pervasive systems Formal methods Protocol verification

Meilof Veeningen

Postdoctoral researcher, Eindhoven University of Technology

Adresse e-mail validée de tue.nl

Cité 352 fois

Multi-Party Computation Protocol Verification Modelling

Fatemeh Ghassemi

University of Tehran

Adresse e-mail validée de ut.ac.ir

Cité 340 fois

Formal methods in software engineering Protocol verification Model checking Process algebra Wireless systems

Maxime Puys

Univ. Clermont Auvergne

Adresse e-mail validée de uca.fr

Cité 313 fois

Security Industrial security Malware detection Protocol verification

ning mi

Cadence Design Systems, Inc

Adresse e-mail validée de cadence.com

Cité 171 fois

Electronic design automation(EDA) circuit simulation statistical circuit analysis protocol verification

1 - 10