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]