1. TreeViewer: Flexible, modular software to visualise and manipulate phylogenetic trees;Ecology and Evolution;2024-02
2. Formalizing Hash-then-Sign Signatures;Lecture Notes in Computer Science;2024
3. Verifiable Verification in Cryptographic Protocols;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15
4. Security Analysis of RSA-BSSA;Lecture Notes in Computer Science;2023
5. Vision Paper: Do We Need to Change Some Things?;Security Standardisation Research;2023