Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ferucio L. Ţiplea
Secrecy for Bounded Security Protocols With Freshness Check Is NEXPTIME-complete*
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Related publications
An Extensible Platform for Evaluating Security Protocols
Modular Security Proofs for Key Agreement Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Analyzing Internet Security Protocols
Formal Methods for Assuring Security of Protocols
Computer Journal
Computer Science
Verification of Security Protocols
Improving Automatic Verification of Security Protocols With XOR
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Configurable Security Protocols for Multi-Party Data Analysis With Malicious Participants
An Improvement on Secure E-Mail Protocols Providing Perfect Forward Secrecy
