scientific article; zbMATH DE number 1497864

zbMath0966.68065MaRDI QIDQ4499295

Birgit Pfitzmann, Michael Waidner, Matthias Schunter

Publication date: 5 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

reactive systemscryptographic semanticsmodel security

Mathematics Subject Classification ID

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

Related Items (6)

Unifying simulatability definitions in cryptographic systems under different timing assumptions ⋮ Secure multi-party computation made simple ⋮ Private Circuits II: Keeping Secrets in Tamperable Circuits ⋮ Generic Constant-Round Oblivious Sorting Algorithm for MPC ⋮ Soundness of Formal Encryption in the Presence of Key-Cycles ⋮ Symmetric Authentication within a Simulatable Cryptographic Library

This page was built for publication: