Name
Title | ||
|---|---|---|
New abstractions in applied pi-calculus and automated verification of protected executions. |
Year | Venue | DocType |
|---|---|---|
2013 | IACR Cryptology ePrint Archive | Journal |
Volume | Citations | PageRank |
2013 | 0 | 0.34 |
References | Authors | |
0 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Shiwei Xu | 1 | 5 | 2.10 |
| Sergiu Bursuc | 2 | 97 | 7.02 |
| Julian P. Murphy | 3 | 4 | 2.87 |