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 Frankel | 1 | 1308 | 147.78 |
Peter Gemmell | 2 | 675 | 108.87 |
Moti Yung | 3 | 12080 | 1152.41 |