scientific article; zbMATH DE number 1497864

MaRDI QIDQ4499295zbMATH OpenFDO

Authors Birgit Pfitzmann, Matthias Schunter, Michael Waidner

Publication date 5 March 2001

zbMATH Keywords

cryptographic semanticsmodel securityreactive systems

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Semantics in the theory of computing (68Q55)

Recommendations

• Theory of Cryptography
• The reactive simulatability (RSIM) framework for asynchronous systems
• scientific article; zbMATH DE number 3965967
• Security and composition of multiparty cryptographic protocols

Cited in

(17)

• MoSS: modular security specifications framework
• The reactive simulatability (RSIM) framework for asynchronous systems
• Unifying simulatability definitions in cryptographic systems under different timing assumptions
• Secure multi-party computation made simple
• scientific article; zbMATH DE number 1617925 (Why is no real title available?)
• Generic constant-round oblivious sorting algorithm for MPC
• Private Circuits II: Keeping Secrets in Tamperable Circuits
• scientific article; zbMATH DE number 1497866 (Why is no real title available?)
• scientific article; zbMATH DE number 2086506 (Why is no real title available?)
• scientific article; zbMATH DE number 2090144 (Why is no real title available?)
• Characterizing the Cryptographic Properties of Reactive 2-Party Functionalities
• Symmetric authentication within a simulatable cryptographic library
• The KDM-CCA Security of REACT
• Security abstractions and intruder models (extended abstract)
• Soundness of Formal Encryption in the Presence of Key-Cycles
• Abstract State Machines 2004. Advances in Theory and Practice
• Theory of Cryptography

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4499295)