| 2012 | ASPDAC | Design techniques for functional-unit power gating in the Ultra-Low-Voltage region. | Michael B. Henry, Leyla Nazhandali |
| 2012 | DATE | ASIC implementations of five SHA-3 finalists. | Xu Guo, Meeta Srivastav, Sinan Huang, Dinesh Ganta, Michael B. Henry, Leyla Nazhandali, Patrick Schaumont |
| 2012 | ISCAS | SPICE-compatible compact model for graphene field-effect transistors. | Michael B. Henry, Shamik Das |
| 2011 | DAC | A case for NEMS-based functional-unit power gating of low-power embedded microprocessors. | Michael B. Henry, Meeta Srivastav, Leyla Nazhandali |
| 2011 | DSD | Pre-silicon Characterization of NIST SHA-3 Final Round Candidates. | Xu Guo, Meeta Srivastav, Sinan Huang, Dinesh Ganta, Michael B. Henry, Leyla Nazhandali, Patrick Schaumont |
| 2011 | VLSID | MEMS-Based Power Gating for Highly Scalable Periodic and Event-Driven Processing. | Michael B. Henry, Robert Lyerly, Leyla Nazhandali, Adam Fruehling, Dimitrios Peroulis |
| 2010 | DATE | From transistors to MEMS: Throughput-aware power gating in CMOS circuits. | Michael B. Henry, Leyla Nazhandali |
| 2009 | ISCAS | Fast Simulation Framework for Subthreshold Circuits. | Michael B. Henry, Steven B. Griffin, Leyla Nazhandali |
| 2008 | CASES | A low-power parallel design of discrete wavelet transform using subthreshold voltage technology. | Michael B. Henry, Syed Imtiaz Haider, Leyla Nazhandali |