2023-473

Topic Replies Views Activity
[Resource Topic] 2023/473: Owl: Compositional Verification of Security Protocols via an Information-Flow Type System
Cryptographic protocols
2023-473
0 126 April 1, 2023