The University of Massachusetts Amherst
 
A B C D F G H J K L M N P R S T V W X Y Z

Please select the first letter of the last name you are looking for.

Daniel Holcomb

Assistant Professor

My research investigates methodologies for secure and reliable embedded systems. My work toward this goal spans computer engineering topics including formal verification, design automation, VLSI, and hardware security.

Current Research
Our current research includes anti-counterfeiting techniques for ICs, analyzing information leakage through implementation side channels, and formal tools for provably correct reverse engineering of obfuscated designs.

Learn more at ece.umass.edu/faculty/daniel-holcomb

Academic Background

  • BS/MS, ECE UMass Amherst
  • PhD EECS, UC Berkeley
  • Research Fellow, University of Michigan
Liu D, Yu C, Zhang X, and Holcomb DE "Oracle-Guided Incremental SAT Solving to Reverse Engineer Camouflaged Logic Circuits", In Proceedings of Design Automation and Test in Europe (DATE '16)., March 2016.
Rahmati A, Hicks M, Holcomb DE, and Fu K, "Probable Cause: The Deanonymizing Effects of Approximate DRAM", in ISCA'15: Proceedings of the 42nd Annual International Symposium on Computer Architecture, June 2015.
Holcomb DE, Burleson WP and Fu K, "Power-up SRAM State as an Identifying Fingerprint and Source of True Random Numbers", IEEE Transactions on Computers., September, 2009. Vol. 58(9), pp. 1198-1210.
 
Contact Info

Department of Electrical and Computer Engineering
309H Knowles Engineering Bldg
151 Holdsworth Way
Amherst, MA 01003-9292

(413) 545-6593
holcomb@engin.umass.edu

ece.umass.edu/faculty/daniel-holcomb