Browsing by Sponsor/Funder European Research Council (ERC)
Showing results 6 to 8 of 8
< previous
| Issue Date | Title | Author(s) |
|---|---|---|
| Jul-2020 | Running symbolic execution forever | Busse, F; Nowack, M; Cadar, C; , et al |
| 21-Jan-2022 | SaBRe: load-time selective binary rewriting | Arras, P-A; Andronidis, A; Pina, L; Mituzas, K; Shu, Q, et al |
| - | SnapFuzz: High-throughput fuzzing of network applications | Andronidis, A; Cadar, C; |