Fine-Grained Forward-Secure Signature Schemes without Random Oracles
A Composable Cryptographic Library with Nested Operations
Proactive Secure Message Transmission in Asynchronous Networks
Analysis of Liberty Single Signon with Enabled Clients
10th ACM Conference on Computer and Communications Security
International Workshop on Coding and Cryptography 2003
Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions
Proceedings of the IEEE Symposium on Research in Security and Privacy
Symmetric Authentication Within a Simulatable Cryptographic Library
6th Information Security Conference (ISC)
11th International Workshop on Security Protocols, Cambridge (UK), April 2003
20th International Symposium on Theoretical Aspects of Computer Science (STACS '03)
A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol
Cryptographically Sound and Machine-Assisted Verification of Security Protocols
From Absence of Certain Vulnerabilities towards Security Proofs -- Pushing the Limits of Formal Verification
Security Analysis of the SAML Single Sign-on Browser/Artifact Profile
Proceedings of the 8th European Symposium on Research in Computer Security (ESORICS)
ACM Workshop on Formal Methods in Security Engineering (FMSE 2003)
14th International Conference on Concurrency Theory (CONCUR '03)
Security in Business Process Engineering
This ontology contains information detailing publications held by IBM Research GmbH
Publication export from IBM Research GmbH
Proc. Intl. Conference on Dependable Systems and Networks (DSN-2003)
International Conference on Business Process Management (BPM 03)
19th Annual Computer Security Applications Conference (ACSAC 2003)
Intransitive Non-Interference for Cryptographic Purposes
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
Sound Idealizations of Cryptography for Tool-Supported Proofs
Proc. 22nd ACM Symposium on Principles of Distributed Computing (PODC 2003)
A Universally Composable Cryptographic Library
A Toolkit for Managing Enterprise Privacy Policies
An Asynchronous Protocol for Distributed Computation of RSA Inverses and its Applications
Proceedings of the 23rdConference on Foundations of Software Technology and Theoretical Computer Science -- FSTTCS
10th ACM Workshop on New Security Paradigms (NSPW)
Reliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries