A comprehensive symbolic analysis of TLS 1.3 C Cremers, M Horvat, J Hoyland, S Scott, T van der Merwe Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017 | 104 | 2017 |
Automated analysis and verification of TLS 1.3: 0-RTT, resumption and delayed authentication C Cremers, M Horvat, S Scott, T van der Merwe 2016 IEEE Symposium on Security and Privacy (SP), 470-485, 2016 | 76 | 2016 |
Attacks Only Get Better: Password Recovery Attacks Against RC4 in {TLS} C Garman, KG Paterson, T Van der Merwe 24th {USENIX} Security Symposium ({USENIX} Security 15), 113-128, 2015 | 49 | 2015 |
Reactive and proactive standardisation of TLS KG Paterson, T van der Merwe International Conference on Research in Security Standardisation, 160-186, 2016 | 33 | 2016 |
Analysing and exploiting the Mantin biases in RC4 R Bricout, S Murphy, KG Paterson, T Van der Merwe Designs, Codes and Cryptography 86 (4), 743-770, 2018 | 18 | 2018 |
Designing Reverse Firewalls for the Real World A Bossuat, X Bultel, PA Fouque, C Onete, T van der Merwe European Symposium on Research in Computer Security, 193-213, 2020 | 1 | 2020 |
Generic attacks on iterated hash functions TJ Van der Merwe University of Cape Town, 2009 | 1 | 2009 |
SSR'19: The 5th Conference on Security Standardisation Research M Mehrnezhad, T van der Merwe, F Hao Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019 | | 2019 |
An Analysis of the Transport Layer Security Protocol T van der Merwe Royal Holloway, University of London, 2018 | | 2018 |
Automated analysis of TLS 1.3: 0-RTT, resumption and delayed authentication CJF Cremers, M Horvat, S Scott, T van der Merwe Institute of Electrical and Electronics Engineers, 2016 | | 2016 |
Investigating the use of Elliptic Curve Cryptography in Transport Ticketing TJ van der Merwe | | 2015 |
Security Standardisation Research T van der Merwe, C Mitchell, M Mehrnezhad | | |