Research outputs

• Tag Size Does Matter: Attacks and Proofs for the TLS Record Protocol

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• On the Joint Security of Encryption and Signature, Revisited

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Provable Security in the Real World

  Research output: Contribution to journal › Article

• On the (in)security of IPsec in MAC-then-encrypt configurations

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Plaintext-Dependent Decryption: A Formal Security Treatment of SSH-CTR

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• On the Joint Security of Encryption and Signature in EMV

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Security of Symmetric Encryption in the Presence of Ciphertext Fragmentation

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• An Analysis of DepenDNS

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Plaintext-Recovery Attacks Against Datagram TLS

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• RKA Security beyond the Linear Barrier: IBE, Encryption and Signatures

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• A Coding-Theoretic Approach to Recovering Noisy RSA Keys

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• On the Security of RC4 in TLS

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Lucky Thirteen: Breaking the TLS and DTLS Record Protocols

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• On the Security of the TLS Protocol: A Systematic Analysis

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• ASICS: Authenticated Key Exchange Security Incorporating Certification Systems

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• On Symmetric Encryption with Distinguishable Decryption Failures

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Non-Interactive Key Exchange

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Programmable Hash Functions in the Multilinear Setting

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Robust Encryption, Revisited

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Simple, Efficient and Strongly KI-Secure Hierarchical Key Assignment Schemes

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Related Randomness Attacks for Public Key Encryption

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Plaintext Recovery Attacks Against WPA/TKIP

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Big Bias Hunting in Amazonia: Large-Scale Computation and Exploitation of RC4 Biases (Invited Paper)

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Unpicking PLAID

  Research output: Chapter in Book/Report/Conference proceeding › Other contribution

• Analysing and exploiting the Mantin biases in RC4

  Research output: Contribution to journal › Article

• Unpicking PLAID: a cryptographic analysis of an ISO-standards-track authentication protocol

  Research output: Contribution to journal › Article

• ASICS: authenticated key exchange security incorporating certification systems

  Research output: Contribution to journal › Article

• Security Against Related Randomness Attacks via Reconstructive Extractors

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Data Is a Stream: Security of Stream-Based Channels

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Attacks Only Get Better: Password Recovery Attacks Against RC4 in TLS

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Building a Community of Real-World Cryptographers

  Research output: Contribution to journal › Article

• A Practical Attack Against the Use of RC4 in the HIVE Hidden Volume Encryption System

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Security of Symmetric Encryption against Mass Surveillance

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution