Uploads
Contact
/
Login
Upload
Search Results for 'Verifier Prover'
XPSDrv
calandra-battersby
STIR Signaling
lois-ondreau
On the Composition of Public-Coin Zero-Knowledge Protocols
luanne-stotts
Scanned by CamScannerusing ATM PIN at the Bank ATM the Verifier can se
calandra-battersby
Scanned by CamScannerusing ATM PIN at the Bank ATM the Verifier can se
jane-oiler
Using the Coq theorem prover
min-jolicoeur
Viper
calandra-battersby
Alternation for Termination
conchita-marotz
Introducing the Off-Card VerifierThis paper describes Sun
calandra-battersby
Using and Building an Automatic Program Verifier
ellena-manuel
Using and Building an Automatic Program Verifier
marina-yarberry
Distance-Bounding and its Applications
test
Proof translation and SMT LIB certification
myesha-ticknor
Smart Phones
kittie-lecroy
Interpolants
conchita-marotz
Interpolants
pasty-toler
Secure Authentication in the
tatiana-dople
C omputational Complexity Theory
sherrill-nordquist
Verifiable Databases and RAM Programs
pamella-moone
HAVOC: A precise and scalable verifier for systems software
alexa-scheidler
Cryptography COT 6410 Awrad Mohammed
phoebe-click
Towards Scalable Modular
myesha-ticknor
Verifiable Resource Accounting
alexa-scheidler
Trust in Formal Methods
kittie-lecroy
1
2
3
4
5
6
7