Uploads
Contact
/
Login
Upload
Search Results for 'Time Prover'
How to Delegate Computations:
luanne-stotts
Based on Powerpoint
kittie-lecroy
Based on Powerpoint
myesha-ticknor
(Implementations of)
conchita-marotz
Omer Paneth and Guy
tawny-fly
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
Verifiable Databases and RAM Programs
pamella-moone
Distance-Bounding and its Applications
test
Probabilistic Proof System
min-jolicoeur
Probabilistic Proof System
min-jolicoeur
Using the Coq theorem prover
min-jolicoeur
Alternation for Termination
conchita-marotz
Eli Ben-
natalia-silvester
Two Query PCP with
karlyn-bohler
Proof translation and SMT LIB certification
myesha-ticknor
Smart Phones
kittie-lecroy
1. Non-Technical: advice and critique
pamella-moone
Interpolants
pasty-toler
Interpolants
conchita-marotz
COMS E6261 Advanced Cryptography:
marina-yarberry
1
2
3
4
5
6