Protocol Fixes for KeyTrap Vulnerabilities.

Elias Heftrig Haya Schulmann Niklas Vogel Michael Waidner

Published in: ANRW (2024)

Keyphrases

coloured petri nets
lightweight
security vulnerabilities
cryptographic protocols
information security
countermeasures
security protocols
security properties
information systems
communication protocols
multi party
tcp ip
application layer
wireless networks
attack scenarios
protocol specification
real time