On the Existence of Hazard-Free Multi-Level Logic. - Steven M. Nowick; Charles W. O'Donnell (ASYNC, 2003)

Information Leak in the Chord Lookup Protocol. - Charles W. O'Donnell; Vinod Vaikuntanathan (Peer-to-Peer Computing, 2004)

Design and Implementation of the AEGIS Single-Chip Secure Processor Using Physical Random Functions. - G. Edward Suh; Charles W. O'Donnell; Ishan Sachdev; Srinivas Devadas (ISCA, 2005)

Virtual monotonic counters and count-limited objects using a TPM without a trusted OS. - Luis F. G. Sarmenta; Marten van Dijk; Charles W. O'Donnell; Jonathan Rhodes; Srinivas Devadas (STC, 2006)

Predicting Secondary Structure of All-Helical Proteins Using Hidden Markov Support Vector Machines. - Blaise Gassend; Charles W. O'Donnell; William Thies; Andrew Lee; Marten van Dijk; Srinivas Devadas (PRIB, 2006)

Learning biophysically-motivated parameters for alpha helix prediction. - Blaise Gassend; Charles W. O'Donnell; William Thies; Andrew Lee; Marten van Dijk; Srinivas Devadas (BMC Bioinform., 2007)

Aegis: A Single-Chip Secure Processor. - G. Edward Suh; Charles W. O'Donnell; Srinivas Devadas (IEEE Des. Test Comput., 2007)

A method for probing the mutational landscape of amyloid structure. - Charles W. O'Donnell; Jérôme Waldispühl; Mieszko Lis; Randal Halfmann; Srinivas Devadas; Susan Lindquist; Bonnie Berger (Bioinform., 2011)

Efficient Traversal of Beta-Sheet Protein Folding Pathways Using Ensemble Models. - Solomon Shenker; Charles W. O'Donnell; Srinivas Devadas; Bonnie Berger; Jérôme Waldispühl (J. Comput. Biol., 2011)

Ensemble modeling of [beta]-sheet proteins. - Charles W. O'Donnell (2011)

Lynx: A Programmatic SAT Solver for the RNA-Folding Problem. - Vijay Ganesh 001; Charles W. O'Donnell; Mate Soos; Srinivas Devadas; Martin C. Rinard; Armando Solar-Lezama (SAT, 2012)

Simultaneous Alignment and Folding of Protein Sequences. - Jérôme Waldispühl; Charles W. O'Donnell; Sebastian Will; Srinivas Devadas; Rolf Backofen; Bonnie Berger (J. Comput. Biol., 2014)