EasyUC: Using easycrypt to mechanize proofs of universally composable security

Keyphrases

• Universally Composable Security 100%
• EasyCrypt 100%
• Secure Communication 50%
• Cryptographic Protocols 50%
• Universally Composable 50%
• Key Exchange 50%
• Hopefulness 25%
• Sequence of Steps 25%
• Computational Problems 25%
• Entire Sequence 25%
• Security Proof 25%
• Security Analysis 25%
• Formal Verification 25%
• One-time Pad 25%
• Computational Diffie-Hellman Problem 25%
• Security Framework 25%
• Authenticated Communication 25%
• Ideal Functionality 25%
• Cryptographic Scheme 25%
• Composition Operation 25%
• Diffie-Hellman Key Exchange 25%
• Game-based 25%
• Mechanization 25%
• Universal Composition 25%
• Simulation-based Security 25%
• Complex Protocol 25%
• One-time Pad Encryption 25%
• Secure Message Distribution 25%
• Proof Assistants 25%
• Diffie-Hellman Protocol 25%

Computer Science

• Secure Communication 100%
• Diffie-Hellman-Merkle key exchange 100%
• Complex Task 100%
• Computational Problem 50%
• Security Analysis 50%
• Entire Sequence 50%
• Formal Verification 50%
• Cryptographic Protocol 50%
• Security Framework 50%
• Composition Operation 50%
• Diffie-Hellman Key Exchange 50%
• Diffie Hellman Protocol 50%
• Complex Protocol 50%