TRUST 2010

Papers published and presented at previous Trust conferences:

2009

Towards a Programmable TPM
Paul England and Talha Tariq

ACPI: Design Principles and Concerns
Loïc Duflot, Olivier Levillain and Benjamin Morin

Implementation Aspects of Mobile and Embedded Trusted Computing
Kurt Dietrich and Johannes Winter

Modeling Trusted Computing Support in a Protection Profile for High Assurance Security Kernels
Hans Löhr, Ahmad-Reza Sadeghi, Christian Stüble, Marion Weber and Marcel Winandy

Remote Attestation of Attribute Updates and Information Flows in a UCON System
Mohammad Nauman, Masoom Alam, Xinwen Zhang and Tamleek Ali

Measuring Semantic Integrity for Remote Attestation
Fabrizio Baiardi, Diego Cilea, Daniele Sgandurra and Francesco Ceccarelli

A PrivacyCA for Anonymity and Trust
Martin Pirker, Ronald Toegl, Daniel Hein and Peter Danner

Revocation of TPM Keys
Stefan Katzenbeisser, Klaus Kursawe and Frederic Stumpf

Securing the Dissemination of Emergency Response Data with an Integrated Hardware-Software Architecture
Timothy E. Levin, Jeffrey S. Dwoskin, Ganesha Bhaskara, Thuy D. Nguyen, Paul C. Clark, Ruby B. Lee, Cynthia E. Irvine and Terry V. Benzel

Trustable Remote Verification of Web Services
John Lyle

Trustworthy Log Reconciliation for Distributed Virtual Organisations
Jun Ho Huh and John Lyle

Attacking the BitLocker Boot Process
Sven Türpe, Andreas Poller, Jan Steffan, Jan-Peter Stotz and Jan Trukenmüller

Secure VPNs for Trusted Computing Environments
Steffen Schulz and Ahmad-Reza Sadeghi

Merx: Secure and Privacy Preserving Delegated Payments
Christopher Soghoian and Imad Aad

A Property-Dependent Agent Transfer Protocol
Eimear Gallery, Aarthi Nagarajan and Vijay Varadharajan


2008

Practical Techniques for Operating System Attestation
Paul England

TOCTOU, Traps, and Trusted Computing
Sergey Bratus, Nihal D’Cunha, Evan Sparks and Sean W. Smith

A Software-Based Trusted Platform Module Emulator
Mario Strasser and Heiko Stamer

Towards Trust Services for Language-Based Virtual Machines for Grid Computing
Tobias Vejda, Ronald Toegl, Martin Pirker and Thomas Winkler

Embedded Trusted Computing with Authenticated Non-volatile Memory
Dries Schellekens, Pim Tuyls and Bart Preneel

The Zurich Trusted Information Channel – An Efficient Defence Against Man-in-the-Middle and Malicious Software Attacks
Thomas Weigold, Thorsten Kramp, Reto Hermann, Frank Höring, Peter Buhler and Michael Baentsch

A Model for New Zealand’s Identity Verification Service
Clark Thomborson

Pseudonymous Mobile Identity Architecture Based on Government-Supported PKI
Konstantin Hyppönen, Marko Hassinen and Elena Trichina

Para-Virtualized TPM Sharing
Paul England and Jork Loeser

Slicing for Security of Code
Benjamin Monate and Julien Signoles

Trusted Computing Serving an Anonymity Service
Alexander Böttcher, Bernhard Kauer and Hermann Härtig

Combining Biometric Authentication with Privacy-Enhancing Technologies
Konstantin Hyppönen, Marko Hassinen and Elena Trichina

A New Direct Anonymous Attestation Scheme from Bilinear Maps
Ernie Brickell, Liqun Chen and Jiangtao Li

On a Possible Privacy Flaw in Direct Anonymous Attestation (DAA)
Adrian Leung, Liqun Chen and Chris J. Mitchell