Key Resources:

• Resources for: Industry, Government, Faculty, Students & Staff
• TRUST Introduction (Powerpoint).
• Visitor parking, transportation, directions, lodging.
• Resources for TRUST researchers (presentation and poster templates, etc.).

Recent Trust Publications

l-Diversity: Privacy beyound k-Anonymity, Ashwin Machanavajjhala, Daniel Kifer, Johannes Gehrke, Muthuramakrishnan Venkitasubramaniam

Worst-Case Backgrond Knowledge for Privacy-Preserving Data Publishing, David Martin, Daniel Kifer, Ashwin Machanavajjhala, Johannes Gehrke, Joseph Y. Halpern

Privacy: Theory meets Practice on the Map., Johannes Gehrke, Daniel Kifer, Ashwin Machanavajjhala, John Abowd, Lars Vilhuber

Exploiting Interference Diversity for Event-Based Spectrum Sensing, Arash Parsa, Amin Aminzadeh Gohari, Anant Sahai

Quicksilver Scalable Multicast (QSM), Krzysztof Ostrowski, Ken Birman, Danny Dolev

Programming with Live Distributed Objects, Krzysztof Ostrowski, Ken Birman, Danny Dolev, Jong Hoon Ahnn

Gossip-based Distribution Estimation in, Maya Haridasan, Robbert VanRenesse

On the connectivity of finite wireless networks with multiple base stations, Sergio Bermudez, Stephen Wicker

The Building Blocks of Consensus, Yee Jiun Song, Robbert VanRenesse, Fred Schneider, Danny Dolev

Enforcing Fairness in a Live-Streaming System, Robbert VanRenesse, Maya Haridasan, Ingrid Jansch-Porto

Decentralized Robustness, Stephen Chong, Andrew C. Myers

End-to-End Enforcement of Erasure and Declassification, Stephen Chong, Andrew C. Myers

Quantifying Information Flow with Beliefs, Andrew C. Myers, Michael R. Clarkson, Fred Schneider

Secure Web Applications via Automatic Partitioning, S. Chong, J. Liu, A. C. Myers, X. Qi, K. Vikram, L. Zheng, X. Zheng

SIF: Enforcing Confidentiality and Integrity in Web Applications, S. Chong, K. Vikram, A. C. Myers

Civitas: Toward a Secure Voting System, Andrew C. Myers, Michael Clarkson, Stephen Chong

Throughput Optimization Routing under Uncertain Demand for Wireless Mesh Networks, Liang Dai, Yuan Xue, Bin Chang, Yi Cui

Integrating Traffic Estimation and Routing Optimization for Multi-Radio Multi-Channel Wireless Mesh Networks, Liang Dai, Yuan Xue, Bin Chang, Yi Cui

Predictive or Oblivious: A Comparative Study of Routing Strategies for Wireless Mesh Networks Under Uncertain Demand, Jonathan Wellons, Liang Dai, Yi Cui, Yuan Xue

Oblivious Routing for Wireless Mesh Networks, Jonathan Wellons, Yuan Xue

Privacy Preservation in Wireless Mesh Network, Taojun Wu, Yuan Xue, Yi Cui

Disruption-Aware Dynamic Component Deployment and Composition in Ultra-Large-Scale (ULS) Systems, Yuan Xue, Shanshan Jiang

Disruption-Aware Service Composition and Recovery in Dynamic Networking Environments, Shanshan Jiang, Yuan Xue, Douglas Schmidt

Minimum Disruption Service Composition and Recovery in Mobile Ad Hoc Networks, Shanshan Jiang, Yuan Xue, Douglas Schmidt

Towards A Formal Foundation For Domain Specific Modeling Languages, Ethan Jackson, Janos Sztipanovits

Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality, Ethan Jackson, Janos Sztipanovits

Constructive Techniques for Meta and Model-Level Reasoning, Ethan Jackson, Janos Sztipanovits

Formalizing the Structural Semantics of Domain-Specific Modeling Languages, Ethan Jackson, Janos Sztipanovits

A Model-Integrated Approach to Implementing Individualized Patient Care Plans Based on Guideline-Driven Clinical Decision Support and Process Management - A Progress Report, Jason Martin, Janos Laszlo Mathe, Peter Miller, Akos Ledeczi, Liza Weavind, Anne Miller, David Maron, Andras Nadas, Janos Sztipanovits

Model-Based Design of Trustworthy Health Information Systems, Ruth Breu, Janos Sztipanovits, Elske Ammenwerth

OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks, Xenofon Koutsoukos, Manish Kushwaha, Isaac E Amundson, Sandeep Neema, Janos Sztipanovits

PPMLP: A Special Modeling Language Processor for Privacy Policies, Weider D. Yu, Savitha Murthy

A Web-Based Wireless Mobile System Design of Security and Privacy Framework for u-Healthcare, Weider D. Yu, Sriram Mudumbi, Roopa Gummadikayala

An Algorithmic Approach to Authorization Rules Conflict Resolution in Software Security, Weider D. Yu, Ellora Nayak

Security, Safety and Privacy – Pervasive Themes for Engineering Education, Sigurd Meldal, Kristen Gates, Russell Smith, Xiao Su

Risks of digital rights management, Mark Stamp

Risks of monoculture, Mark Stamp

Stealthy ciphertext, Mark Stamp, Martina Simova

SIGABA: cryptanalysis of the full keyspace, Mark Stamp, Wing On Chan

An agent-based privacy enhancing model, M. Stamp, H.-H. Lee

P2PTunes: A peer-to-peer digital rights management system, Mark Stamp, Ramya Venkataramu

Digital rights management for untrusted peer-to-peer networks, Mark Stamp, Pallavi Priyadarshini

Digital rights management for streaming media, Mark Stamp, Deepali Brahmbhatt

Profile hidden Markov models and metamorphic virus detection, Mark Stamp, Srilatha Attaluri, Scott McGhee

QuickPay online payment protocol, Mark Stamp, Jian Dai

DQML: A Modeling Language for Configuring Distributed Publish/Subscribe Quality of Service Policies, Joe Hoffert, Douglas Schmidt, Aniruddha Gokhale

Inductive Proofs of Computational Secrecy, Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell

Protocol Composition Logic (PCL), Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy

Formal Proofs of Cryptographic Security of Diffie-Hellman based Protocols, Arnab Roy, Anupam Datta, John C. Mitchell