Paper Info
Title
Witness-based cryptographic program checking and applications (an announcement)
Year
DOI
Venue
1996
10.1145/248052.248094
PODC
Keywords
Field
DocType
witness-based cryptographic program checking
Computer security,Computer science,Cryptography,Theoretical computer science,Witness
Conference
ISBN
Citations 
PageRank 
0-89791-800-2
5
2.97
References 
Authors
7
3
Name
Order
Citations
PageRank
Yair Frankel11308147.78
Peter Gemmell2675108.87
Moti Yung3120801152.41