Daniel E. Holcomb, Ph.D.

Affiliations: 
2013 Electrical Engineering and Computer Sciences University of California, Berkeley, Berkeley, CA 
Area:
Design, Modeling and Analysis (DMA); Programming Systems (PS); Dependable Computing; Computational Logic; Formal Methods; Control, Intelligent Systems, and Robotics (CIR); Security (SEC); Theory (THY)
Google:
"Daniel Holcomb"
Cross-listing: Robotree

Parents

Sign in to add mentor
Sanjit A. Seshia grad student 2013 UC Berkeley
 (Formal Verification and Synthesis for Quality-of-Service in On-Chip Networks.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Rahmati A, Hicks M, Holcomb DE, et al. (2015) Probable cause: The deanonymizing effects of approximate DRAM Proceedings - International Symposium On Computer Architecture. 13: 604-615
Xu X, Rahmati A, Holcomb DE, et al. (2015) Reliable physical unclonable functions using data retention voltage of SRAM Cells Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 34: 903-914
Xu X, Rührmair U, Holcomb DE, et al. (2015) Security evaluation and enhancement of Bistable Ring PUFs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9440: 3-16
Rührmair U, Holcomb DE. (2014) PUFs at a glance Proceedings -Design, Automation and Test in Europe, Date
Holcomb DE, Seshia SA. (2014) Compositional performance verification of network-on-chip designs Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 33: 1370-1383
Holcomb DE, Fu K. (2014) Bitline PUF: Building native challenge-response PUF capability into any SRAM Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8731: 510-526
Holcomb DE, Rahmati A, Salajegheh M, et al. (2013) DRV-fingerprinting: Using data retention voltage of SRAM cells for chip identification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7739: 165-179
Holcomb DE, Gotmanov A, Kishinevsky M, et al. (2012) Compositional performance verification of NoC designs 10th Acm/Ieee International Conference On Formal Methods and Models For Codesign, Memocode 2012. 1-10
Holcomb D, Brady B, Seshia S. (2011) Abstraction-based performance verification of NoCs Proceedings - Design Automation Conference. 492-497
Brady BA, Holcomb D, Seshia SA. (2011) Counterexample-guided SMT-driven optimal buffer sizing Proceedings -Design, Automation and Test in Europe, Date. 329-334
See more...