desync-cc: An Automatic Disassembly-Desynchronization Obfuscator. - Ulf Kargén; Ivar Härnqvist; Johannes Wilson; Gustav Eriksson; Evelina Holmgren; Nahid Shahmehri (SANER, 2022)

Extending the Authentication Hierarchy with One-Way Agreement. - Johannes Wilson; Mikael Asplund; Niklas Johansson (CSF, 2023)

desync-cc: A research tool for automatically applying disassembly desynchronization during compilation. - Ulf Kargén; Ivar Härnqvist; Johannes Wilson; Gustav Eriksson; Evelina Holmgren; Nahid Shahmehri (Sci. Comput. Program., 2023)

Provably Secure Communication Protocols for Remote Attestation. - Johannes Wilson; Mikael Asplund; Niklas Johansson; Felipe Boeira (ARES, 2024)

Analysing TLS Implementations Using Full-Message Symbolic Execution. - Johannes Wilson; Mikael Asplund (NordSec, 2024)