67 citations · 299 across the 33 of their papers we have counts for
4 papers · 1 filter
SECOMlint: A linter for Security Commit Messages
Sofia Reis, Corina Pasareanu, Rui Abreu +1
Transparent and efficient vulnerability and patch disclosure are still a challenge in the security community, essentially because of the poor-quality documentation stemming from th…
VPN: Verification of Poisoning in Neural Networks
Youcheng Sun, Muhammad Usman, Divya Gopinath +1
Neural networks are successfully used in a variety of applications, many of them having safety and security concerns. As a result researchers have proposed formal verification tech…
AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks
Muhammad Usman, Youcheng Sun, Divya Gopinath +1
We study backdoor poisoning attacks against image classification networks, whereby an attacker inserts a trigger into a subset of the training data, in such a way that at test time…
DifFuzz: Differential Fuzzing for Side-Channel Analysis
Shirin Nilizadeh, Yannic Noller, Corina S. Pasareanu
Side-channel attacks allow an adversary to uncover secret program data by observing the behavior of a program with respect to a resource, such as execution time, consumed memory or…