Uploads
Contact
/
Login
Upload
Search Results for 'Verifier'
C omputational Complexity Theory
sherrill-nordquist
Two Query PCP with
karlyn-bohler
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. Non-Technical: advice and critique
pamella-moone
How to Delegate Computations:
luanne-stotts
IETF 90 OAuth WG
lois-ondreau
Using and Building an Automatic Program Verifier
conchita-marotz
COMS E6261 Advanced Cryptography:
marina-yarberry
COMS E6261 Advanced Cryptography:
min-jolicoeur
Slender PUF Protocol
mitsue-stanley
Agricultural Coding and Data Processing
lindy-dunigan
Probabilistic Proof System
min-jolicoeur
Slender PUF Protocol
jane-oiler
Next-Generation Testing For NICs – Best Practices
lois-ondreau
On the Implausibility of
ellena-manuel
Probabilistically Checkable Proofs
olivia-moreira
pwdArmor : Protecting Conventional Password Authentications
sherrill-nordquist
Lifeline Modernization and Consumers
calandra-battersby
Portfolios and the HEAR:
debby-jeon
An Integrated Data Model Verifier with Property Templates
test
1
2
3
4
5
6
7