23 citations · 58 across the 5 of their papers we have counts for
6 papers
FineIBT: Fine-grain Control-flow Enforcement with Indirect Branch Tracking
Alexander J. Gaidis, Joao Moreira, Ke Sun +3
We present the design, implementation, and evaluation of FineIBT: a CFI enforcement mechanism that improves the precision of hardware-assisted CFI solutions, like Intel IBT, by ins…
IvySyn: Automated Vulnerability Discovery in Deep Learning Frameworks
Neophytos Christou, Di Jin, Vaggelis Atlidakis +2
We present IvySyn, the first fully-automated framework for discovering memory error vulnerabilities in Deep Learning (DL) frameworks. IvySyn leverages the statically-typed nature o…
Pythia: Grammar-Based Fuzzing of REST APIs with Coverage-guided Feedback and Learning-based Mutations
Vaggelis Atlidakis, Roxana Geambasu, Patrice Godefroid +2
This paper introduces Pythia, the first fuzzer that augments grammar-based fuzzing with coverage-guided feedback and a learning-based mutation strategy for stateful REST API fuzzin…
REST-ler: Automatic Intelligent REST API Fuzzing
Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk
Cloud services have recently exploded with the advent of powerful cloud-computing platforms such as Amazon Web Services and Microsoft Azure. Today, most cloud services are accessed…
Certified Robustness to Adversarial Examples with Differential Privacy
Mathias Lecuyer, Vaggelis Atlidakis, Roxana Geambasu +2
Adversarial examples that fool machine learning models, particularly deep neural networks, have been a topic of intense research interest, with attacks and defenses being developed…
FairTest: Discovering Unwarranted Associations in Data-Driven Applications
Florian Tramèr, Vaggelis Atlidakis, Roxana Geambasu +5
In a world where traditional notions of privacy are increasingly challenged by the myriad companies that collect and analyze our data, it is important that decision-making entities…