An Interactive Prover for Protocol Verification in the Computational Model

2 years ago

IEEE Security and Privacy 2021 Hacking conference
#hacking, #hackers, #infosec, #opsec, #IT, #security

Loading comments...