Concepedia

Anastasios Andronidis

AA

3

Publications

96

Citations

3

H-Index

2019

Active since

Affiliations

Imperial College London(Current)

Anastasios Andronidis is an author at Imperial College London specializing in formal verification, system software, and computer engineering.

ORCID

Top concepts

Publications per year

2019–2022

3

Publications

3

SnapFuzz: high-throughput fuzzing of network applications

Anastasios Andronidis, Cristian Cadar · 2022 · 49 citations · Full text

, , +18

MVEDSUA

Luís Pina, Anastasios Andronidis, Michael Hicks et al. · 2019 · 31 citations

, , +17

SaBRe: load-time selective binary rewriting

Paul-Antoine Arras, Anastasios Andronidis, Luís Pina et al. · International Journal on Software Tools for Technology Transfer · 2022 · 16 citations · Full text

, , +23

Rows per page

1–3 of 3