Shaken, not Stirred - Automated Discovery of Subtle Attacks on Protocols using Mix-Nets.
Jannik DreierPascal LafourcadeDhekra MahmoudPublished in: USENIX Security Symposium (2024)
Keyphrases
- automated discovery
- security protocols
- cryptographic protocols
- security flaws
- knowledge discovery
- countermeasures
- watermarking scheme
- malicious attacks
- traffic analysis
- security properties
- security threats
- security mechanisms
- attack detection
- database
- communication protocols
- communication protocol
- security risks
- denial of service attacks
- multi agent
- terrorist attacks
- machine learning
- voting protocols
- neural network