Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario
Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes
DIGMA -- Zeitschrift fr Datenrecht und Informationssicherheit
Workshop on Formal and Computational Cryptography (FCC)
This ontology contains information detailing publications held by IBM Research GmbH
Publication export from IBM Research GmbH
Proceedings of the 11th European Symposium on Research in Computer Security (ESORICS)
21st IFIP TC-11 International Information Security Conference (SEC'2006)
On the Cryptographic Key Secrecy of the Strengthened Yahalom Protocol
SAML Artifact Information Flow Revisited
Foundations of Software Science and Computation Structures (FOSSACS)
19th IEEE Computer Security Foundations Workshop