Simon Lam

Simon Lam

University of Texas at Austin
Zweryfikowany adres z cs.utexas.edu
Cytowane przez 14775
Computer network protocol design Internet security services protocol verification performance analysis
Kedar Namjoshi

Kedar Namjoshi

Bell Labs
Zweryfikowany adres z nokia-bell-labs.com
Cytowane przez 3092
static program analysis protocol verification distributed systems
Christian Johansen

Christian Johansen

Professor at NTNU - Norwegian University of Science and Technology
Zweryfikowany adres z ntnu.no
Cytowane przez 1222
system security concurrency formal methods protocol verification privacy
Ronghai Yang

Ronghai Yang

Information Enginnering Department, The Chinese University of Hong Kong
Zweryfikowany adres z ie.cuhk.edu.hk
Cytowane przez 698
cyber security protocol verification
Xiaoqi Ma

Xiaoqi Ma

Nottingham Trent Uninivesity
Zweryfikowany adres z ntu.ac.uk
Cytowane przez 430
Information Security Protocol Verification Cloud Computing
Meilof Veeningen

Meilof Veeningen

Postdoctoral researcher, Eindhoven University of Technology
Zweryfikowany adres z tue.nl
Cytowane przez 399
Multi-Party Computation Protocol Verification Modelling
Loretta Ilaria Mancini

Loretta Ilaria Mancini

University of Birmingham
Zweryfikowany adres z cs.bham.ac.uk
Cytowane przez 382
Computer security Pervasive systems Formal methods Protocol verification
Maxime Puys

Maxime Puys

Univ. Clermont Auvergne
Zweryfikowany adres z uca.fr
Cytowane przez 358
Security Industrial security Malware detection Protocol verification
Fatemeh Ghassemi

Fatemeh Ghassemi

University of Tehran
Zweryfikowany adres z ut.ac.ir
Cytowane przez 356
Formal methods in software engineering Protocol verification Model checking Process algebra Wireless systems
ning mi

ning mi

Cadence Design Systems, Inc
Zweryfikowany adres z cadence.com
Cytowane przez 170
Electronic design automation(EDA) circuit simulation statistical circuit analysis protocol verification
1 - 10