David Manz

Publication Activity (10 Years)

Years Active: 2005-2020
Publications (10 Years): 2

Top Topics

Static Analysis

Energy Minimization

Top Venues

ESEC/SIGSOFT FSE

Publications

Wen Li, Haipeng Cai, Yulei Sui, David Manz
PCA: memory leak detection using partial call-path analysis. ESEC/SIGSOFT FSE (2020)
Jessica Smith, Kiri Oler, Carl Miller, David Manz
Reverse Engineering Integrated Circuits Using Finite State Machine Analysis. HICSS (2017)
Frederick T. Sheldon, Daniel Fetzer, David Manz, Jingshan Huang, Stuart Goose, Thomas H. Morris, Jiangbo Dang, Jonathan Kirsch, Dong Wei
Intrinsically resilient energy control systems. CSIIRW (2013)
Frederick T. Sheldon, Jingshan Huang, Jiangbo Dang, Daniel Fetzer, Stuart Goose, Jonathan Kirsch, David Manz, Thomas H. Morris, Dong Wei
Intrinsically Resilient Energy Control Systems. STIDS (2012)
Shanyu Zheng, David Manz, Jim Alves-Foss
A communication-computation efficient group key algorithm for large and dynamic groups. Comput. Networks 51 (1) (2007)
Sergio Caltagirone, Paul Ortman, Sean Melton, David Manz, Kyle King, Paul W. Oman
Design and Implementation of a Multi-Use Attack-Defend Computer Security Lab. HICSS (2006)
Sergio Caltagirone, Paul Ortman, Sean Melton, David Manz, Kyle King, Paul W. Oman
RADICL: A Reconfigurable Attack-Defend Instructional Computing Laboratory. Security and Management (2005)