Key Resources:
Recent Trust Publications
Compositional System Security with Interface-Confined Adversaries,
Deepak Garg, Jason Franklin, Dilsun Kaynar, Anupam Datta
A Logic of Secure Systems and its Application to Trusted Computing,
Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kaynar
Privacy Challenges in Patient-Centric Health Information Systems (Position Paper),
Anupam Datta, Nipun Dave, John Mitchell, Helen Nissenbaum, Divya Sharma
Audit Mechanisms for Privacy Protection in Healthcare Environments (Position Paper),
Jeremiah Blocki, Nicolas Christin, Anupam Datta, Arunesh Sinha
Experiences in the Logical Specification of the HIPAA and GLBA Privacy Laws,
Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kaynar, Anupam Datta
Regret Minimizing Audits: A Learning-Theoretic Basis for Privacy Protection,
Jeremiah Blocki, Nicolas Christin, Anupam Datta, Arunesh Sinha
Policy Auditing over Incomplete Logs: Theory, Implementation and Applications,
Deepak Garg, Limin Jia, Anupam Datta
Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms,
Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kaynar, Arunesh Sinha
Privacy: Is There an App for That?,
Jennifer King
Incorporating Cybersecurity Education into the CS curriculum,
Jonathan Mayer, Steve Cooper
Do Not Track, or Musings of a Graduate Student,
Jonathan Mayer
Integrated Modeling, Simulation and Emulation Environment for Security Assessment of Cyber-Physical Systems,
Yuan Xue
Secure Detection in the Presence of Integrity Attacks,
Yilin Mo
Ultra Low Power Computation For Secure Embedded Systems,
Rajit Manohar
Network Design Game with Reliability & Security Failures,
Saurabh Amin, Galina A. Schwartz
Logical Attestation: An Authorization Architecture for Trustworthy Computing,
Emin Gun Sirer, Willem de Bruijn, Patrick Reynolds, Alan Shieh, Kevin Walsh, Dan Williams, Fred Schneider
Broadening Participation in Cyber Security,
William H. Robinson, Kristen Gates, Sigurd Meldal
ENGRI 1280: Security, Privacy, and Information Network Design: Wiretaps to Facebook,
Stephen Wicker
A Little Too Smart: Location Privacy in the Cellular Age,
Stephen Wicker
Privacy in the Age of Augmented Reality,
Alessandro Acquisti, Ralph Gross
Securing Interaction for Sites, Apps and Extensions in the Browser,
Brad Miller, Doug Tygar
The Failure of Noise-Based Non- Continuous Audio Captchas,
Hristo Paskov, Elie Bursztein, Romain Beauxis, Daniele Perito, Celine Fabry, John C. Mitchell
SCION: Scalability, Control and Isolation On Next-Generation Networks,
Xin Zhang, Hsu-Chun Hsiao, Geoffrey Hasker, Haowen Chan, Adrian Perrig
Mechanism Design for Network Decongestion: Rebates and Time-of-Day Pricing,
Galina A. Schwartz, Saurabh Amin, Patrick Loiseau
Game theoretic analysis of Advanced Metering Infrastructure adoption,
Dipayan P. Ghosh, Stephen Wicker, Dawn Schrader, William Schulze, Lawrence Blume
Trust in Anarchy? Problems in the Governance of Distributed Computing Systems,
Ashwin Jacob Mathew
Realizing intrinsically cyber secure large systems,
Massimo Scipioni
SCRUB Intel Science and Technology Center: Secure Computing Research for Users' Benefit,
Anthony Joseph
Uncovering Anomalous Usage of Medical Records via Social Network Analysis,
You Chen, Bradley Malin, Steve Nyemba, Wen Zhang
Sensor Systems for Monitoring Congestive Heart Failure: Location-based Privacy Encodings,
Edmund Seto , Posan Yu, Ruzena Bajcsy
Context-aware Anomaly Detection for Electronic Medical Record Systems,
Yuan Xue, Xiaowei Li, You Chen, Bradley Malin
Declarative Privacy Policy: Finite Models and Attribute-Based Encryption,
Ellick Chan
Regret Minimizing Audits: A Learning-Theoretic Basis for Privacy Protection,
Jeremiah Blocki, Nicolas Christin, Anupam Datta, Arunesh Sinha
Virtualization of R&D Driving New Health IT Requirements,
Vijay Pillai
