Name
Year | Venue | Field |
|---|---|---|
2018 | USENIX Security Symposium | Model checking,Computer security,Computer science,Heap (data structure),Bounded function |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 6 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Moritz Eckert | 1 | 0 | 0.34 |
| Antonio Bianchi | 2 | 351 | 13.41 |
| Ruoyu Wang | 3 | 282 | 16.23 |
| Yan Shoshitaishvili | 4 | 358 | 26.98 |
| Christopher Kruegel | 5 | 8799 | 516.05 |
| Giovanni Vigna | 6 | 7121 | 507.72 |