Paper Info
Title
Cryptographic Protocol Verification via Supercompilation (A Case Study).
Year
Venue
DocType
2013
VPT@CAV
Conference
Citations 
PageRank 
References 
3
0.42
0
Authors
3
Name
Order
Citations
PageRank
Abdulbasit Ahmed150.82
Alexei Lisitsa227245.94
Andrei P. Nemytykh3938.50