Vaggelis Atlidakis

Computer Scientist, Researcher, Software Engineer

prof_pic.jpg

Welcome to my web site! I am a computer science researcher and a software engineer at Crash Override.

Broadly speaking, what keeps me up at night is how to make software systems more secure and reliable. For nearly a decade, my main research focus has been on program analysis for large-scale software testing, operating systems security, and the robustness and security of machine learning systems.

Read more about my research here or in my CV.

Selected publications

  1. - Eclipse: Preventing Speculative Memory-error Abuse with Artificial Data Dependencies
    Neophytos Christou, Alexander J. Gaidis, Vaggelis Atlidakis, and Vasileios P. Kemerlis
    In ACM SIGSAC Conference on Computer and Communications Security (CSS), 2024
    PDF Code Slides
  2. - SysXCHG: Refining Privilege with Adaptive System Call Filters
    Alexander J. Gaidis, Vaggelis Atlidakis, and Vasileios P. Kemerlis
    In ACM SIGSAC Conference on Computer and Communications Security (CSS), 2023
    PDF Code Slides
  3. - IvySyn: Automated Vulnerability Discovery in Deep Learning Frameworks
    Neophytos Christou, Di Jin, Vaggelis Atlidakis, Baishakhi Ray, and Vasileios P. Kemerlis
    In USENIX Security Symposium (USENIX Sec), 2023
    PDF Code Slides
  4. - RESTler: Stateful REST API Fuzzing
    Vaggelis Atlidakis, Patrice Godefroid, and Marina Polishchuk
    In IEEE/ACM International Conference on Software Engineering (ICSE), 2019
    PDF Video Code Slides
  5. - Certified Robustness to Adversarial Examples with Differential Privacy
    Mathias Lecuyer, Vaggelis Atlidakis, Roxana Geambasu, Daniel Hsu, and Suman Jana
    In IEEE Symposium on Security and Privacy (S&P), 2019
    PDF Video Code Slides
  6. - POSIX Abstractions in Modern Operating Systems: The Old, the new, and the Missing
    Vaggelis Atlidakis, Jeremy Andrus, Roxana Geambasu, Dimitris Mitropoulos, and Jason Nieh
    In European Conference on Computer Systems (EuroSys), 2016
    PDF Video Code Slides

Selected presentations