Jeffrey Gennari

According to our database, Jeffrey Gennari authored at least 13 papers between 2003 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

A Generic Technique for Automatically Finding Defense-Aware Code Reuse Attacks.

Edward J. Schwartz, Cory F. Cohen, Jeffrey Gennari, Stephanie Schwartz

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2018

Executable Counterexamples in Software Model Checking.

Jeffrey Gennari, Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas, Edward J. Schwartz

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Using Logic Programming to Recover C++ Classes and Methods from Compiled Executables.

Edward J. Schwartz, Cory F. Cohen, Michael Duggan, Jeffrey Gennari, Jeffrey S. Havrilla, Charles Hines

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2016

Raindroid: a system for run-time mitigation of Android intent vulnerabilities [poster].

Bradley R. Schmerl, Jeffrey Gennari, Javier Cámara, David Garlan

Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

Architecture Modeling and Analysis of Security in Android Systems.

Bradley R. Schmerl, Jeff Gennari, Alireza Sadeghi, Hamid Bagheri, Sam Malek, Javier Cámara, David Garlan

Proceedings of the Software Architecture - 10th European Conference, 2016

2015

An architecture style for Android security analysis: poster.

Bradley R. Schmerl, Jeffrey Gennari, David Garlan

Proceedings of the 2015 Symposium and Bootcamp on the Science of Security, 2015

2014

Recovering C++ Objects From Binaries Using Inter-Procedural Data-Flow Analysis.

Wesley Jin, Cory F. Cohen, Jeffrey Gennari, Charles Hines, Sagar Chaki, Arie Gurfinkel, Jeffrey Havrilla, Priya Narasimhan

Proceedings of the 3rd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2014, 2014

Agent-based trace learning in a recommendation-verification system for cybersecurity.

William Casey, Evan Wright, Jose Andre Morales, Michael Appel, Jeff Gennari, Bud Mishra

Proceedings of the 9th International Conference on Malicious and Unwanted Software: The Americas MALWARE 2014, 2014

Architecture-based self-protection: composing and reasoning about denial-of-service mitigations.

Bradley R. Schmerl, Javier Cámara, Jeffrey Gennari, David Garlan, Paulo Casanova, Gabriel A. Moreno, Thomas J. Glazier, Jeffrey M. Barnes

Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

2013

Architecture-based self-protecting software systems.

Eric Yuan, Sam Malek, Bradley R. Schmerl, David Garlan, Jeff Gennari

Proceedings of the 9th international ACM SIGSOFT conference on Quality of Software Architectures, 2013

2003

Emerging areas: urban operations and UCAVs: a game engine based simulation of the NIST urban search and rescue arenas.

Jijun Wang, Michael Lewis, Jeffrey Gennari

Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

Interactive simulation of the NIST USAR arenas.

Jijun Wang, Michael Lewis, Jeffrey Gennari

Proceedings of the IEEE International Conference on Systems, 2003

Camera control and decoupled motion for teleoperation.

Stephen B. Hughes, Joseph Manojlovich, Michael Lewis, Jeffrey Gennari

Proceedings of the IEEE International Conference on Systems, 2003