Prajna Bhandary

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Security Properties

Top Venues

Protocols, Strands, and Logic

Publications

Prajna Bhandary, Edward Zieglar, Charles Nicholas
Searching for Selfie in TLS 1.3 with the Cryptographic Protocol Shapes Analyzer. Protocols, Strands, and Logic (2021)