Algebraic Adversaries in the Universal Composability Framework
Michel Abdalla⋆, Manuel Barbosa, Jonathan Katz, Julian Loss, Jiayu Xu
Topics & Concepts
Mathematical proofComposabilityComputer scienceTheoretical computer scienceAlgebraic numberUniversal composabilityProtocol (science)Cryptographic protocolCryptographyMathematicsProgramming languageComputer securityAlternative medicineMedicineMathematical analysisGeometryPathologyCryptography and Data SecurityGeometric and Algebraic TopologyCryptographic Implementations and Security