Key Resources:
Recent Trust Publications
Requirements for an Integrity-Protected Hypervisor on the x86 Hardware Virtualized Architecture,
Amit Vasudevan,
Jonathan M. McCune,
Ning Qu, Leendert van Doorn,
Adrian Perrig
A Logic of Secure Systems and its Application to Trusted Computing,
ASPIER: An Automated Framework for Verifying Security Protocol Implementations,
Distributed Programming with Distributed Authorization,
TrustVisor: Efficient TCB Reduction and Attestation,
Jonathan M. McCune, Yanlin Li, Ning Qu, Zongwei Zhou, Anupam Datta, Virgil D. Gligor, Adrian Perrig
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size,
Optimal ROC Curve for a Combination of Classifiers.,
Marco Barreno, Alvaro Cardenas, Doug Tygar
Exploiting machine learning to subvert your spam filter,
Characterizing Botnets from Email Spam Records.,
SWOON: A Testbed for Secure Wireless Overlay Networks.,
Open Problems in the Security of Learning.,
CITRIC: A LOW-BANDWIDTH WIRELESS CAMERA NETWORK PLATFORM,
Berkeley Fit - An Interactive Social Mobile Application For Promoting Physical Activity,
Edmund Seto , Irving Lin, Michael Roy, Victor Shia, Curtis Wang, Posu Yan, Allen Yang , Ruzena Bajcsy
Enabling Multiple BSN Applications Using the SPINE Framework,
Andreoli Alessandro, Alessia Salmeri, Luigi Buondonno, Nikhil Raveendranathan, Vitali Loseu, Roberta Giannantonio, Edmund Seto , Giancarlo Fortino
SPIN and Berkeley Fit - Towards Social Interaction in Mobile Body Sensor Networks,
Opportunistic Strategies for Lightweight Signal Processing for Body Sensor Networks,
Edmund Seto , Eladio Matin, Allen Yang, Posu Yan, Raffaele Gravina , Irving Lin, Curtis Wang, Michael Roy, Victor Shia, Ruzena Bajcsy
Distributed Sensor Perception via Sparse representation,
Allen Yang, Michael Gastpar, Ruzena Bajcsy, S. Shankar Sastry
A Wireless Body Sensor Network for the Prevention and Management of Asthma,
DexterNet: An Open Platform for Heterogeneous Body Sensor Networks and Its Applications,,
Automatic Dimension Inference and Checking for Object-Oriented Programs,
InvisiType: Object-Oriented Security Policies,
