Login / Signup
Owl: Compositional Verification of Security Protocols via an Information-Flow Type System.
Joshua Gancher
Sydney Gibson
Pratap Singh
Samvid Dharanikota
Bryan Parno
Published in:
SP (2023)
Keyphrases
</>
information flow
security protocols
flow analysis
cryptographic protocols
automated design
social networks
communication networks
information flows
information security
multi context systems
artificial immune algorithm
supply chain
flow graph
distributed databases
security mechanisms