The following pages link to (Q4737255):
Displaying 47 items.
- A full proof of the BGW protocol for perfectly secure multiparty computation (Q514468) (← links)
- Weakening the perfect encryption assumption in Dolev-Yao adversaries (Q557896) (← links)
- Ciphertext verification security of symmetric encryption schemes (Q848329) (← links)
- Using IND-CVA for constructing secure communication (Q848371) (← links)
- FORSAKES: a forward-secure authenticated key exchange protocol based on symmetric key-evolving schemes (Q895004) (← links)
- On the relationships between notions of simulation-based security (Q1021241) (← links)
- Hidden shift quantum cryptanalysis and implications (Q1633473) (← links)
- Simulatable channels: extended security that is universally composable and easier to prove (Q1710688) (← links)
- Private set-intersection with common set-up (Q1783703) (← links)
- Overcoming impossibility results in composable security using interval-wise guarantees (Q2096476) (← links)
- Resource-restricted cryptography: revisiting MPC bounds in the proof-of-work era (Q2119009) (← links)
- A unified and composable take on ratcheting (Q2175936) (← links)
- The IITM model: a simple and expressive model for universal composability (Q2210435) (← links)
- The TLS handshake protocol: A modular analysis (Q2267369) (← links)
- A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols (Q2368990) (← links)
- Universally composable anonymous hash certification model (Q2385415) (← links)
- Resource-aware protocols for authenticated group key exchange in integrated wired and wireless networks (Q2456502) (← links)
- The reactive simulatability (RSIM) framework for asynchronous systems (Q2464139) (← links)
- Unifying simulatability definitions in cryptographic systems under different timing assumptions (Q2484407) (← links)
- Universally Composable Non-Interactive Key Exchange (Q2922650) (← links)
- Structure-Preserving Smooth Projective Hashing (Q2953782) (← links)
- Key Establishment Using Signcryption Techniques (Q3000038) (← links)
- Ideal Key Derivation and Encryption in Simulation-Based Security (Q3073705) (← links)
- Universally Composable Private Proximity Testing (Q3092361) (← links)
- Analysis of the SSH Key Exchange Protocol (Q3104707) (← links)
- On Forward Secrecy in One-Round Key Exchange (Q3104714) (← links)
- A Universally Composable Group Key Exchange Protocol with Minimum Communication Effort (Q3540059) (← links)
- A Modular Security Analysis of the TLS Handshake Protocol (Q3600365) (← links)
- Key Insulation and Intrusion Resilience over a Public Channel (Q3623037) (← links)
- Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps (Q3637143) (← links)
- Secret-key agreement over unauthenticated public channels-part I: definitions and a completeness result (Q4680053) (← links)
- Automating Computational Proofs for Public-Key-Based Key Exchange (Q4933211) (← links)
- Initiator-Resilient Universally Composable Key Exchange (Q5030209) (← links)
- Universally composable secure positioning in the bounded retrieval model (Q5046481) (← links)
- A Universally Composable Framework for the Analysis of Browser-Based Security Protocols (Q5505477) (← links)
- Universally Composable Security Analysis of TLS (Q5505479) (← links)
- Unilaterally-Authenticated Key Exchange (Q5854443) (← links)
- Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes (Q5862528) (← links)
- Wireless-channel key exchange (Q6057200) (← links)
- Password-authenticated TLS via OPAQUE and post-handshake authentication (Q6083657) (← links)
- Key-schedule security for the TLS 1.3 standard (Q6135414) (← links)
- Key encapsulation mechanism with tight enhanced security in the multi-user setting: impossibility result and optimal tightness (Q6157528) (← links)
- Almost Optimal Oblivious Transfer from QA-NIZK (Q6487220) (← links)
- Short concurrent covert authenticated key exchange (short cAKE) (Q6562580) (← links)
- Practically efficient private set intersection from trusted hardware with side-channels (Q6604877) (← links)
- A formal treatment of end-to-end encrypted cloud storage (Q6648201) (← links)
- Latke: a framework for constructing identity-binding PAKEs (Q6648206) (← links)
