Login / Signup

A formal analysis of IKEv2's post-quantum extension.

Stefan-Lukas GazdagSophia Grundner-CulemannTobias GuggemosTobias HeiderDaniel Loebenberger
Published in: ACSAC (2021)
Keyphrases
  • formal analysis
  • formal methods
  • ban logic
  • agent model
  • genetic algorithm
  • artificial intelligence
  • database systems
  • lightweight
  • quantum computing