Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by S.P. Suresh
Decidability of Context-Explicit Security Protocols
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Related publications
Verification of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Security Protocols
Analyzing Internet Security Protocols
Developing Security Protocols by Refinement
A Decidable Analysis of Security Protocols
On Message Recognition Protocols: Recoverability and Explicit Confirmation
International Journal of Applied Cryptography
Computer Networks
Applied Mathematics
Computational Theory
Communications
Computational Mathematics
Mathematics
SECFUZZ: Fuzz-Testing Security Protocols
Explicit Communication Revisited: Two New Attacks on Authentication Protocols
IEEE Transactions on Software Engineering
Software
Model Checking Indistinguishability of Randomized Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science