Clark L. Coleman

Publication Activity (10 Years)

Years Active: 2001-2016
Publications (10 Years): 2

Top Topics

Intrusion Detection System

Automatic Programming

Security Protection

Top Venues

Publications

Ashlie B. Hocking, Benjamin D. Rodes, John C. Knight, Jack W. Davidson, Clark L. Coleman
A Proof Infrastructure for Binary Programs. NFM (2016)
Jack W. Davidson, Jason D. Hiser, Anh Nguyen-Tuong, Clark L. Coleman, William H. Hawkins, John C. Knight, Benjamin D. Rodes, Ashlie B. Hocking
A System for the Security Protection of Embedded Binary Programs. DSN Workshops (2016)
Jason Hiser, Anh Nguyen-Tuong, Michele Co, Benjamin D. Rodes, Matthew Hall, Clark L. Coleman, John C. Knight, Jack W. Davidson
A Framework for Creating Binary Rewriting Tools (Short Paper). EDCC (2014)
Jason Hiser, Clark L. Coleman, Michele Co, Jack W. Davidson
MEDS: The Memory Error Detection System. ESSoS (2009)
Mark W. Bailey, Clark L. Coleman, Jack W. Davidson
Defense against the dark arts. SIGCSE (2008)
Clark L. Coleman, Jack W. Davidson
Automatic memory hierarchy characterization. ISPASS (2001)