scientific article; zbMATH DE number 1842499
From MaRDI portal
Recommendations
- Authenticated encryption: relations among notions and analysis of the generic composition paradigm
- scientific article; zbMATH DE number 1583804
- Breaking and provably repairing the SSH authenticated encryption scheme
- From stateless to stateful: generic authentication and authenticated encryption constructions with application to TLS
- Secure Channels Based on Authenticated Encryption Schemes: A Simple Characterization
Cited in
(42)- Modelling ciphersuite and version negotiation in the TLS protocol
- Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption
- On an Almost-Universal Hash Function Family with Applications to Authentication and Secrecy Codes
- A Provable-Security Treatment of the Key-Wrap Problem
- Advances in Cryptology - CRYPTO 2003
- ACE in chains: how risky is CBC encryption of binary executable files?
- Ciphertext verification security of symmetric encryption schemes
- Using IND-CVA for constructing secure communication
- Authenticated confidential channel establishment and the security of TLS-DHE
- Breaking and provably repairing the SSH authenticated encryption scheme
- Applied Cryptography and Network Security
- A Modular Security Analysis of the TLS Handshake Protocol
- A cryptographic analysis of the TLS 1.3 handshake protocol
- On the security aspects of protocol CRISP
- scientific article; zbMATH DE number 1583804 (Why is no real title available?)
- Plaintext-dependent decryption: a formal security treatment of SSH-CTR
- On symmetric encryption with distinguishable decryption failures
- Receiver-anonymity in rerandomizable RCCA-secure cryptosystems resolved
- scientific article; zbMATH DE number 2080687 (Why is no real title available?)
- Enforcing User-Aware Browser-Based Mutual Authentication with Strong Locked Same Origin Policy
- Enabling efficient and verifiable multi-keyword ranked search over encrypted cloud data
- An efficient public-key searchable encryption scheme secure against inside keyword guessing attacks
- Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC
- From stateless to stateful: generic authentication and authenticated encryption constructions with application to TLS
- Authenticated encryption: relations among notions and analysis of the generic composition paradigm
- Delayed-key message authentication for streams
- The \texttt{Deoxys} AEAD family
- Counter-in-Tweak: Authenticated Encryption Modes for Tweakable Block Ciphers
- Universally Composable Security Analysis of TLS
- Immunising CBC Mode Against Padding Oracle Attacks: A Formal Security Treatment
- Composable and finite computational security of quantum message transmission
- The TLS handshake protocol: A modular analysis
- Security notions for disk encryption
- Trick or tweak: on the (in)security of OTR's tweaks
- Revisiting (R)CCA security and replay protection
- A unified and composable take on ratcheting
- Decrypting without keys: the case of the GlobalPlatform SCP02 protocol
- On the insider security of MLS
- Reconsidering generic composition: the modes A10, A11 and A12 are insecure
- Cryptanalysis of the authenticated encryption algorithm COFFE
- Reconsidering generic composition
- Cryptography in Theory and Practice: The Case of Encryption in IPsec
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4783733)
