Johannes Wilson

According to our database, Johannes Wilson authored at least 5 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Analysing TLS Implementations Using Full-Message Symbolic Execution.

Johannes Wilson, Mikael Asplund

Proceedings of the Secure IT Systems, 2024

Provably Secure Communication Protocols for Remote Attestation.

Johannes Wilson, Mikael Asplund, Niklas Johansson, Felipe Boeira

Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024

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., June, 2023

Extending the Authentication Hierarchy with One-Way Agreement.

Johannes Wilson, Mikael Asplund, Niklas Johansson

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2022

desync-cc: An Automatic Disassembly-Desynchronization Obfuscator.

Ulf Kargén, Ivar Härnqvist, Johannes Wilson, Gustav Eriksson, Evelina Holmgren, Nahid Shahmehri

Proceedings of the IEEE International Conference on Software Analysis, 2022