On the Relationships Between Notions of Simulation-Based Security

This publication has 14 references indexed in Scilit:

• A General Composition Theorem for Secure Reactive Systems
  Published by Springer Nature ,2004
• Polynomial fairness and liveness
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• On the Limitations of Universally Composable Two-Party Computation without Set-up Assumptions
  Published by Springer Nature ,2003
• Reactively Secure Signature Schemes
  Published by Springer Nature ,2003
• Universally composable two-party and multi-party secure computation
  Published by Association for Computing Machinery (ACM) ,2002
• Universally Composable Notions of Key Exchange and Secure Channels
  Published by Springer Nature ,2002
• Universally Composable Commitments
  Published by Springer Nature ,2001
• Mobile values, new names, and secure communication
  Published by Association for Computing Machinery (ACM) ,2001
• A Calculus for Cryptographic Protocols: The Spi Calculus
  Information and Computation, 1999
• A bisimulation method for cryptographic protocols
  Published by Springer Nature ,1998