Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Charles W. O'Donnell

dblp:25/1982 · DBLP profile ↗
← Back
8ranked-venue papers
2as first author
0since 2021 · last 2012
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Applied, interdisciplinary, general and emerging computing · 4 · 1 first-authorArtificial intelligence and machine learning · 1Systems, architecture and hardware · 1Computer networks · 1 · 1 first-authorSecurity and privacy · 1Software engineering, systems software and programming languages · 1Theory of computation · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Interdisciplinary, comprehensive, and emerging computing
3 papers
Bioinformatics and computational biology · 100%
Network and information security
1 paper
Hardware security and side channels · 100%

Topics — the 9 heaviest of 10, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Bioinformatics and computational biology › protein structure prediction
protein folding
0.112011
Efficient Traversal of Beta-Sheet Protein Folding Pathways Using Ensemble Models · RECOMB 2011
Bioinformatics and computational biology
protein structure prediction
0.112011
A method for probing the mutational landscape of amyloid structure · Bioinform. 2011
Bioinformatics and computational biology
protein sequence analysis
0.112009
Simultaneous Alignment and Folding of Protein Sequences · RECOMB 2009
Bioinformatics and computational biology › RNA biology › RNA analysis › RNA bioinformatics › RNA structure prediction
simultaneous alignment and folding
0.112009
Simultaneous Alignment and Folding of Protein Sequences · RECOMB 2009
Hardware security and side channels › hardware security primitives
physical unclonable function
0.112005
Design and Implementation of the AEGIS Single-Chip Secure Processor Using Physical Random Functions · ISCA 2005
Hardware security and side channels
secret protection
0.112005
Design and Implementation of the AEGIS Single-Chip Secure Processor Using Physical Random Functions · ISCA 2005
Hardware security and side channels › trusted execution environments
secure processor
0.112005
Design and Implementation of the AEGIS Single-Chip Secure Processor Using Physical Random Functions · ISCA 2005
Hardware security and side channels
trusted execution environments
0.112005
Design and Implementation of the AEGIS Single-Chip Secure Processor Using Physical Random Functions · ISCA 2005
Processor architecture and microarchitecture › hardware-assisted security
secure processor architecture
0.012005
Design and Implementation of the AEGIS Single-Chip Secure Processor Using Physical Random Functions · ISCA 2005

Methods — techniques the papers use, named apart from their topics

statistical mechanics · 0.1ensemble models · 0.1physical random functions · 0.1RTL implementation · 0.1FPGA prototyping · 0.1
YearPublicationVenuePosition
2012 Lynx: A Programmatic SAT Solver for the RNA-Folding Problem
Vijay Ganesh 0001, Charles W. O'Donnell, Mate Soos, Srini Devadas, Martin C. Rinard, Armando Solar-Lezama
SAT2
2011 Efficient Traversal of Beta-Sheet Protein Folding Pathways Using Ensemble Models
Solomon Shenker, Charles W. O'Donnell, Srini Devadas, Bonnie Berger, Jérôme Waldispühl
RECOMB2
2011 A method for probing the mutational landscape of amyloid structure
abstract
MOTIVATION: Proteins of all kinds can self-assemble into highly ordered β-sheet aggregates known as amyloid fibrils, important both biologically and clinically. However, the specific molecular structure of a fibril can vary dramatically depending on sequence and environmental conditions, and mutations can drastically alter amyloid function and pathogenicity. Experimental structure determination has proven extremely difficult with only a handful of NMR-based models proposed, suggesting a need for computational methods. RESULTS: We present AmyloidMutants, a statistical mechanics approach for de novo prediction and analysis of wild-type and mutant amyloid structures. Based on the premise of protein mutational landscapes, AmyloidMutants energetically quantifies the effects of sequence mutation on fibril conformation and stability. Tested on non-mutant, full-length amyloid structures with known chemical shift data, AmyloidMutants offers roughly 2-fold improvement in prediction accuracy over existing tools. Moreover, AmyloidMutants is the only method to predict complete super-secondary structures, enabling accurate discrimination of topologically dissimilar amyloid conformations that correspond to the same sequence locations. Applied to mutant prediction, AmyloidMutants identifies a global conformational switch between Aβ and its highly-toxic 'Iowa' mutant in agreement with a recent experimental model based on partial chemical shift data. Predictions on mutant, yeast-toxic strains of HET-s suggest similar alternate folds. When applied to HET-s and a HET-s mutant with core asparagines replaced by glutamines (both highly amyloidogenic chemically similar residues abundant in many amyloids), AmyloidMutants surprisingly predicts a greatly reduced capacity of the glutamine mutant to form amyloid. We confirm this finding by conducting mutagenesis experiments. AVAILABILITY: Our tool is publically available on the web at http://amyloid.csail.mit.edu/. CONTACT: [email protected]; [email protected].
Charles W. O'Donnell, Jérôme Waldispühl, Mieszko Lis, Randal Halfmann, Srini Devadas, Susan Lindquist, Bonnie Berger
Bioinform.1
2009 Simultaneous Alignment and Folding of Protein Sequences
Jérôme Waldispühl, Charles W. O'Donnell, Sebastian Will, Srini Devadas, Rolf Backofen, Bonnie Berger
RECOMB2
2007 Learning biophysically-motivated parameters for alpha helix prediction
abstract
BACKGROUND: Our goal is to develop a state-of-the-art protein secondary structure predictor, with an intuitive and biophysically-motivated energy model. We treat structure prediction as an optimization problem, using parameterizable cost functions representing biological "pseudo-energies". Machine learning methods are applied to estimate the values of the parameters to correctly predict known protein structures. RESULTS: Focusing on the prediction of alpha helices in proteins, we show that a model with 302 parameters can achieve a Qalpha value of 77.6% and an SOValpha value of 73.4%. Such performance numbers are among the best for techniques that do not rely on external databases (such as multiple sequence alignments). Further, it is easier to extract biological significance from a model with so few parameters. CONCLUSION: The method presented shows promise for the prediction of protein secondary structure. Biophysically-motivated elementary free-energies can be learned using SVM techniques to construct an energy cost function whose predictive performance rivals state-of-the-art. This method is general and can be extended beyond the all-alpha case described here.
Blaise Gassend, Charles W. O'Donnell, William Thies, Marten van Dijk, Srini Devadas
BMC Bioinform.2
2005 Design and Implementation of the AEGIS Single-Chip Secure Processor Using Physical Random Functions
abstract
Secure processors enable new applications by ensuring private and authentic program execution even in the face of physical attack. In this paper, we present the AEGIS secure processor architecture, and evaluate its RTL implementation on FPGAs. By using physical random functions, we propose a new way of reliably protecting and sharing secrets that is more secure than existing solutions based on non-volatile memory. Our architecture gives applications the flexibility of trusting and protecting only a portion of a given process, unlike prior proposals which require a process to be protected in entirety. We also put forward a specific model of how secure applications can be programmed in a high-level language and compiled to run on our system. Finally, we evaluate a fully functional FPGA implementation of our processor, assess the implementation tradeoffs, compare performance, and demonstrate the benefits of partially protecting a program.
G. Edward Suh, Charles W. O'Donnell, Ishan Sachdev, Srini Devadas
ISCA2
2005 AEGIS: A single-chip secure processor
G. Edward Suh, Charles W. O'Donnell, Srini Devadas
Inf. Secur. Tech. Rep.2
2004 Information Leak in the Chord Lookup Protocol
abstract
In peer-to-peer (P2P) systems, it is often essential that connected systems (nodes) relay messages which did not originate locally, on to the greater network. As a result, an intermediate node might be able to determine a large amount of information about the system, such as the querying tendencies of other nodes. This represents an inherent security issue in P2P networks. Therefore, we ask the following question: through the observation of the network traffic in a P2P network, what kind of information can an adversarial node learn about another node in the same network? We study this question in the case of a specific P2P system - Chord. We also study the effects of the parameters of Chord (such as finger-table size) and the various enhancements to Chord (such as location caching and data caching) on the amount of information leaked.
Charles W. O'Donnell, Vinod Vaikuntanathan
Peer-to-Peer Computing1