An interactive prover for protocol verification in the computational model (To appear)

Publication
IEEE Symposium on Security and Privacy (S&P'21)

Related