Limits of the Cryptographic Realization of Dolev-Yao-style XOR
14 International World Wide Web Conference (WWW2005)
Browser Model for Security Analysis of Browser-Based Protocols
Lazy Revocation in Cryptographic File Systems
Proceedings of the IEEE Symposium on Research in Security and Privacy
Relating Symbolic and Cryptographic Secrecy
Proc. 24th Symposium on Reliable Distributed Systems (SRDS 2005)
Proceedings of the 10th European Symposium on Research in Computer Security (ESORICS)
Regulations Expressed As Logical Models (REALM)
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario
IEEE Transactions on Dependable and Secure Computing
Parsimonious Asynchronous Byzantine-Fault-Tolerant Atomic Broadcast
3rd ACM Workshop on Formal Methods in Security Engineering (FMSE)
Proc. 19th International Conference on Distributed Computing (DISC 2005), September 26-29, 2005, Cracow, Poland
Proving a WS-Federation Passive Requestor Profile with a Browser Model
DIGMA -- Zeitschrift fr Datenrecht und Informationssicherheit
Brief Announcement: Asynchronous Verifiable Information Dispersal
Proc. 2nd Theory of Cryptography Conference (TCC)
Cryptographic Key Secrecy of the Strengthened Yahalom Protocol via a Symbolic Security Proof
Brief Announcement: Optimal Resilience for Erasure-Coded Byzantine Distributed Storage
Justifying a Dolev-Yao Model under Active Attacks
Real-or-Random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof
Cryptographically Secure Anonymous Access Control with Accountability
This ontology contains information detailing publications held by IBM Research GmbH
Publication export from IBM Research GmbH
Proc. 3rd Intl. IEEE Security in Storage Workshop
Key-dependent Message Security under Active Attacks
A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System
18th Annual Conference on Legal Knowledge and Information Systems (JURIX 2005)
Random Oracles in Constantinople: Practical Asynchronous Byzantine Agreement using Cryptography
Tailoring the Dolev-Yao Abstraction to Web Service Realities
Web Services Security Configuration in a Service-Oriented Architecture
18th IEEE Computer Security Foundations Workshop
On Fairness in Simulatability-based Cryptographic Systems
Proc. OPODIS 2005 --- 9th Intl. Conference on Principles of Distributed Systems
en_US
website
Turning Shoe Information to Knowledge of Technology and Deals
Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
Aktors
Optimal Resilience for Erasure-Coded Byzantine Distributed Storage
Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures
Symmetric Authentication Within a Simulatable Cryptographic Library
Public-Key Steganography with Active Attacks
Quantifying Probabilistic Information Flow in Computational Reactive Systems
Service-oriented Assurance -- Comprehensive Security by Explicit Assurances
First Workshop on Quality of Protection (QoP 2005)
International Journal of Information Security
Compositional Analysis of Contract Signing Protocols
4th ACM Workshop on Privacy in the Electronic Society (WPES), Washington, Nov. 2005
Asynchronous Verifiable Information Dispersal
Electronic Notes in Theoretical Computer Science (ENTCS)