Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Warinschi, Bogdan - Department of Computer Science, University of Bristol
A Linear Space Algorithm for Computing the Hermite Normal Form
Computationally Sound Symbolic Secrecy in the Presence of Hash Functions
Guessing Attacks and the Computational Soundness of Static Equivalence
Security Analysis of Cryptographically Controlled Access to XML Documents
Computationally Sound, Automated Proofs for Security Protocols
A Computational Analysis of the Needham-Schroeder-(Lowe) Protocol BOGDAN WARINSCHI
Completeness Theorems for the Abadi-Rogaway Language of Encrypted Expressions
Foundations of Group Signatures: Formal Definitions, Simplified Requirements, and
Security of the TCG Privacy-CA Solution Bogdan Warinschi
The TLS Handshake Protocol: A Modular Analysis P. Morrissey, N.P. Smart and B. Warinschi,
Composability of Bellare-Rogaway Key Exchange Protocols
