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.
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
- BS/MS, ECE UMass Amherst
- PhD EECS, UC Berkeley
- Research Fellow, University of Michigan