Venue. IEEE S&P

IEEE Symposium on Security and Privacy · Conference · IEEE

2023

Owl: Compositional Verification of Security Protocols via an Information-Flow Type System gancher-2023-owlIEEE S&P · 2023
DOI

zk-creds: Flexible Anonymous Credentials from zkSNARKs and Existing Identity Infrastructure rosenberg-2023-zkIEEE S&P · 2023
DOI

2022

SNARKBlock: Federated Anonymous Blocklisting from Hidden Common Input Aggregate Proofs rosenberg-2022-snarkblockIEEE S&P · 2022
DOI

2013

Pinocchio: Nearly Practical Verifiable Computation parno-2013-pinocchioIEEE S&P · 2013
DOI
sp venue entries/venues/sp.hel