Daniel E. Holcomb, Ph.D. - Publications

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)

16 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2015 Rahmati A, Hicks M, Holcomb DE, Fu K. Probable cause: The deanonymizing effects of approximate DRAM Proceedings - International Symposium On Computer Architecture. 13: 604-615. DOI: 10.1145/2749469.2750419  1
2015 Xu X, Rahmati A, Holcomb DE, Fu K, Burleson W. 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. DOI: 10.1109/TCAD.2015.2418288  1
2015 Xu X, Rührmair U, Holcomb DE, Burleson W. 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. DOI: 10.1007/978-3-319-24837-0_1  1
2014 Rührmair U, Holcomb DE. PUFs at a glance Proceedings -Design, Automation and Test in Europe, Date. DOI: 10.7873/DATE2014.360  1
2014 Holcomb DE, Seshia SA. Compositional performance verification of network-on-chip designs Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 33: 1370-1383. DOI: 10.1109/TCAD.2014.2331342  1
2014 Holcomb DE, Fu K. 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.  1
2013 Holcomb DE, Rahmati A, Salajegheh M, Burleson WP, Fu K. 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. DOI: 10.1007/978-3-642-36140-1-12  1
2012 Holcomb DE, Gotmanov A, Kishinevsky M, Seshia SA. Compositional performance verification of NoC designs 10th Acm/Ieee International Conference On Formal Methods and Models For Codesign, Memocode 2012. 1-10. DOI: 10.1109/MEMCOD.2012.6292294  1
2011 Holcomb D, Brady B, Seshia S. Abstraction-based performance verification of NoCs Proceedings - Design Automation Conference. 492-497.  1
2011 Brady BA, Holcomb D, Seshia SA. Counterexample-guided SMT-driven optimal buffer sizing Proceedings -Design, Automation and Test in Europe, Date. 329-334.  1
2010 Lin L, Holcomb D, Krishnappa DK, Shabadi P, Burleson W. Low-power sub-threshold design of secure physical unclonable functions Proceedings of the International Symposium On Low Power Electronics and Design. 43-48. DOI: 10.1145/1840845.1840855  1
2010 Zaveri RA, Voss PB, Berkowitz CM, Fortner E, Zheng J, Zhang R, Valente RJ, Tanner RL, Holcomb D, Hartley TP, Baran L. Overnight atmospheric transport and chemical processing of photochemically aged Houston urban and petrochemical industrial plume Journal of Geophysical Research Atmospheres. 115. DOI: 10.1029/2009JD013495  1
2009 Holcomb DE, Burleson WP, Fu K. Power-Up SRAM state as an identifying fingerprint and source of true random numbers Ieee Transactions On Computers. 58: 1198-1210. DOI: 10.1109/TC.2008.212  1
2009 Holcomb D, Wenchao L, Seshia SA. Design as you see FIT: System-level soft error analysis of sequential circuits Proceedings -Design, Automation and Test in Europe, Date. 785-790.  1
2006 Riddle EE, Voss PB, Stohl A, Holcomb D, Maczka D, Washburn K, Talbot RW. Trajectory model validation using newly developed altitude-controlled balloons during the International Consortium for Atmospheric Research on Transport and Transformations 2004 campaign Journal of Geophysical Research Atmospheres. 111. DOI: 10.1029/2006JD007456  1
2005 Voss PB, Holcomb D, Berkowitz CM, Zaveri RA. Integrated system optimization of Controlled Meteorological (CMET) balloons Collection of Technical Papers - Aiaa 5th Atio and the Aiaa 16th Lighter-Than-Air Systems Technology Conference and Balloon Systems Conference. 2: 780-783.  1
Show low-probability matches.