Uploads
Contact
/
Login
Upload
Search Results for 'Prover'
(Implementations of)
conchita-marotz
Based on Powerpoint
kittie-lecroy
Omer Paneth and Guy
tawny-fly
Based on Powerpoint
myesha-ticknor
How to Delegate Computations:
luanne-stotts
Slender PUF Protocol
mitsue-stanley
Slender PUF Protocol
jane-oiler
Efficient Zero-Knowledge Argument for Correctness of a Shuf
phoebe-click
Quantum Proofs of Knowledge
pamella-moone
Efficient Zero-Knowledge Argument for Correctness of a Shuffle
marina-yarberry
Using the Coq theorem prover
min-jolicoeur
Alternation for Termination
conchita-marotz
Eli Ben-
natalia-silvester
Two Query PCP with
karlyn-bohler
Distance-Bounding and its Applications
test
Proof translation and SMT LIB certification
myesha-ticknor
1. Non-Technical: advice and critique
pamella-moone
Smart Phones
kittie-lecroy
Interpolants
pasty-toler
Interpolants
conchita-marotz
COMS E6261 Advanced Cryptography:
marina-yarberry
COMS E6261 Advanced Cryptography:
min-jolicoeur
Secure Authentication in the
tatiana-dople
Verifiable Databases and RAM Programs
pamella-moone
1
2
3
4
5
6