16 citations · 19 across the 3 of their papers we have counts for
4 papers
Rising From the Ashes: How Agentic AI is Unblocking Challenges in Cybersecurity
Gabriela F. Ciocarlie, Kathrin Grosse, Somesh Jha +3
Security remains a high-cost challenge, with many problems historically deemed inefficient to address or effectively unsolvable. A significant number of these problems stem from la…
Formal Specification and Verification of Solidity Contracts with Events
Ákos Hajdu, Dejan Jovanović, Gabriela Ciocarlie
Events in the Solidity language provide a means of communication between the on-chain services of decentralized applications and the users of those services. Events are commonly us…
Scratch that! An Evolution-based Adversarial Attack against Neural Networks
Malhar Jere, Loris Rossi, Briland Hitaj +3
We study black-box adversarial attacks for image classifiers in a constrained threat model, where adversaries can only modify a small fraction of pixels in the form of scratches on…
ct-fuzz: Fuzzing for Timing Leaks
Shaobo He, Michael Emmi, Gabriela Ciocarlie
Testing-based methodologies like fuzzing are able to analyze complex software which is not amenable to traditional formal approaches like verification, model checking, and abstract…