Sign in
Automated Detection of Side Channels in Cryptographic Protocols: DROWN the ROBOTs!
Jan Peter Drees
Pritha Gupta
Eyke Hüllermeier
Tibor Jager
Alexander Konze
Claudia Priesterjahn
Arunselvan Ramaswamy
Juraj Somorovsky
Published in:
AISec@CCS (2021)
Keyphrases
</>
automated detection
cryptographic protocols
automated analysis
standard model
lung cancer
security protocols
ultrasonic images
authentication protocol
encryption decryption
distributed systems
private information retrieval