48 citations · 72 across the 11 of their papers we have counts for
4 papers · 1 filter
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…
Compositional Verification for Autonomous Systems with Deep Learning Components
Corina S. Pasareanu, Divya Gopinath, Huafeng Yu
As autonomy becomes prevalent in many applications, ranging from recommendation systems to fully autonomous vehicles, there is an increased need to provide safety guarantees for su…
Symbolic Execution for Deep Neural Networks
Divya Gopinath, Kaiyuan Wang, Mengshi Zhang +2
Deep Neural Networks (DNN) are increasingly used in a variety of applications, many of them with substantial safety and security concerns. This paper introduces DeepCheck, a new ap…
Badger: Complexity Analysis with Fuzzing and Symbolic Execution
Yannic Noller, Rody Kersten, Corina S. Păsăreanu
Hybrid testing approaches that involve fuzz testing and symbolic execution have shown promising results in achieving high code coverage, uncovering subtle errors and vulnerabilitie…