Jeffrey Gennari

Publication Activity (10 Years)

Years Active: 2003-2020
Publications (10 Years): 4

Top Topics

Deterministic Finite Automaton

Denial Of Service Attacks

Top Venues

Publications

Edward J. Schwartz, Cory F. Cohen, Jeffrey Gennari, Stephanie M. Schwartz
A Generic Technique for Automatically Finding Defense-Aware Code Reuse Attacks. CCS (2020)
Jeffrey Gennari, Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas, Edward J. Schwartz
Executable Counterexamples in Software Model Checking. VSTTE (2018)
Edward J. Schwartz, Cory F. Cohen, Michael Duggan, Jeffrey Gennari, Jeffrey S. Havrilla, Charles Hines
Using Logic Programming to Recover C++ Classes and Methods from Compiled Executables. CCS (2018)
Bradley R. Schmerl, Jeffrey Gennari, Javier Cámara, David Garlan
Raindroid: a system for run-time mitigation of Android intent vulnerabilities [poster]. HotSoS (2016)
Bradley R. Schmerl, Jeffrey Gennari, David Garlan
An architecture style for Android security analysis: poster. HotSoS (2015)
Wesley Jin, Cory F. Cohen, Jeffrey Gennari, Charles Hines, Sagar Chaki, Arie Gurfinkel, Jeffrey Havrilla, Priya Narasimhan
Recovering C++ Objects From Binaries Using Inter-Procedural Data-Flow Analysis. PPREW@POPL (2014)
Bradley R. Schmerl, Javier Cámara, Jeffrey Gennari, David Garlan, Paulo Casanova, Gabriel A. Moreno, Thomas J. Glazier, Jeffrey M. Barnes
Architecture-based self-protection: composing and reasoning about denial-of-service mitigations. HotSoS (2014)
Stephen B. Hughes, Joseph Manojlovich, Michael Lewis, Jeffrey Gennari
Camera control and decoupled motion for teleoperation. SMC (2003)
Jijun Wang, Michael Lewis, Jeffrey Gennari
Interactive simulation of the NIST USAR arenas. SMC (2003)
Jijun Wang, Michael Lewis, Jeffrey Gennari
Emerging areas: urban operations and UCAVs: a game engine based simulation of the NIST urban search and rescue arenas. WSC (2003)