Login / Signup
A formal analysis of IKEv2's post-quantum extension.
Stefan-Lukas Gazdag
Sophia Grundner-Culemann
Tobias Guggemos
Tobias Heider
Daniel Loebenberger
Published in:
ACSAC (2021)
Keyphrases
</>
formal analysis
formal methods
ban logic
agent model
genetic algorithm
artificial intelligence
database systems
lightweight
quantum computing