I am broadly interested in making systems more secure and reliable. Some of my current research thrusts include building tools to analyze, test, and protect software at scale.

Experience

I am currently a software engineer at Crash Override.

Before that, I spent two years (2020–22) as a Computing Innovation Fellow (CIFellow), Postdoctoral Research Scientist, and member of the Secure Systems Lab (SSL) at Brown University, under the guidance of Professor Vasileios Kemerlis. I received my PhD in Computer Science from Columbia University in 2020, under the supervision of Professor Roxana Geambasu. My main research focus for the better part of the last decade has been in program analysis for software testing, operating systems security, and robustness and security of machine learning systems.

  • My dissertation on Cloud Service API Fuzzing
  • A literature review of automated software testing techniques (part of my candidacy exam)
  • A mostly up-to-date CV of mine
  • A recent talk on Blackbox Fuzzing
  • My vision on responding to the threat of cybercrime
  • Publications

    Conferences

  • Neophytos Christou, Alexander Gaidis, Vaggelis Atlidakis, and Vasileios P. Kemerlis. ''Eclipse: Preventing Speculative Memory-error Abuse with Artificial Data Dependencies.'' In Proceedings of the 31th ACM Conference on Computer and Communications Security (CCS '24).

    [paper] [slides] [software]

  • Alexander Gaidis, Vaggelis Atlidakis, and Vasileios P. Kemerlis. ''SysXCHG: Refining Privilege with Adaptive System Call Filters.'' In Proceedings of the 30th ACM Conference on Computer and Communications Security (CCS '23).

    [paper] [slides] [software]

  • Alexander Gaidis, Joao Moreira, Ke Sun, Alyssa Milburn, Vaggelis Atlidakis, and Vasileios P. Kemerlis. ''FineIBT: Fine-grain Control-flow Enforcement with Indirect Branch Tracking.'' In Proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses (RAID '23).

    [paper] [slides] [software]

  • Di Jin, Vaggelis Atlidakis, and Vasileios P. Kemerlis. ''EPF: Evil Packet Filter.'' In Proceedings of the 2023 USENIX Annual Technical Conference (USENIX ATC '23).

    [paper] [slides] [software]

  • Neophytos Christou, Di Jin, Vaggelis Atlidakis, Baishakhi Ray, and Vasileios P. Kemerlis. ''IvySyn: Automated Vulnerability Discovery in Deep Learning Frameworks.'' In Proceedings of the 32nd USENIX Security Symposium (USENIX Sec '23).

    [paper] [slides] [software]

  • Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis, Dimitris Mitropoulos, and Diomidis Spinellis. ``Data-Oriented Differential Testing of Object-Relational Mapping Systems.'' In Proceedings of the 43rd International Conference on Software Engineering (ICSE '21).

    [paper] [slides] [software]

  • Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk. ''Checking Security Properties of Cloud Service REST APIs.'' In Proceedings of the 13th IEEE International Conference on Software Testing, Verification and Validation (ICST '20).

    [paper] [slides] [talk] [software]

  • Vaggelis Atlidakis, Patrice Godefroid, and Marina Polishchuk. ''RESTler: Stateful REST API Fuzzing.'' In Proceedings of the 41st International Conference on Software Engineering (ICSE '19).

    [paper] [slides] [talk] [software]

  • Mathias Lecuyer, Vaggelis Atlidakis, Roxana Geambasu, Daniel Hsu, and Suman Jana. ''Certified Robustness to Adversarial Examples with Differential Privacy.'' In Proceedings of the 40th IEEE Symposium on Security and Privacy (S&P '19).

    [paper] [slides] [talk] [software]

  • Florian Tramer, Vaggelis Atlidakis, Roxana Geambasu, Daniel Hsu, Jean-Pierre Hubaux, Mathias Humbert, Ari Juels, and Huang Lin. ''Discovering Unwarranted Associations in Data-Driven Applications with the FairTest Testing Toolkit.'' In Proceedings of the 2nd European Symposium on Security and Privacy (Euro S&P '17).

    [paper] [slides] [talk] [software]

  • Vaggelis Atlidakis, Jeremy Andrus, Roxana Geambasu, Dimitris Mitropoulos, and Jason Nieh. ''POSIX Abstractions in Modern Operating Systems: The Old, the New, and the Missing.'' In Proceedings of the 11th European Conference on Computer Systems (EuroSys '16).

    [paper] [slides] [talk] [software]

  • Vaggelis Atlidakis, Mema Roussopoulos, and Alex Delis. ''Changing the Unchoking Policy for an Enhanced Bittorrent.'' In Proceedings of International European Conference on Parallel and Distributed Computing (EuroPar '12).

    [paper] [slides]

  • Preprints

  • Vaggelis Atlidakis, Roxana Geambasu, Patrice Godefroid, Marina Marina Polishchuk, and Baishakhi Ray. ''Pythia: Grammar-Based Fuzzing of REST APIs with Coverage-guided Feedback and Learning-based Mutations.'' arXiv:2005.11498, May 2020.

    [article] [slides]

  • Journals & Magazines

  • Vaggelis Atlidakis, Jeremy Andrus, Roxana Geambasu, Dimitris Mitropoulos, and Jason Nieh. ''POSIX has become outdated.'' USENIX ;login: Magazine, 41(3), Fall 2016.

    [article]

  • Vaggelis Atlidakis, Mema Roussopoulos, and Alex Delis. ''EnhancedBit: Unleashing the Potential of the Unchoking Policy in the BitTorrent Protocol.'' Journal of Parallel and Distributed Computing (JPDC),
    Vol. 74, Issue 1, pp. 1959-1970, January 2014.

    [article]

  • Patents

  • Patrice Godefoid, Marina Polishchuk, and Vaggelis Atlidakis. ''Automatic intelligent cloud service testing tool.'' US Patent 20190370152A1, 2019.

    [description]

  • Contact

    The best way to reach me is via e-mail.

    v.atlidakis@gmail.com