Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. On Tamper-Resistance from a Theoretical Viewpoint: The Power of Seals
 
conference paper

On Tamper-Resistance from a Theoretical Viewpoint: The Power of Seals

Mateus, Paulo
•
Vaudenay, Serge  
2009
Cryptographic Hardware and Embedded Systems - CHES 2009
CHES 2009

Tamper-proof devices are pretty powerful. They can be used to have better security in applications. In this work we observe that they can also be maliciously used in order to defeat some common privacy protection mechanisms. We propose the theoretical model of trusted agent to formalize the notion of programmable secure hardware. We show that protocols not using tamper-proof devices are not deniable if malicious verifiers can use trusted agents. In a strong key registration model, deniability can be restored, but only at the price of using key escrow. As an application, we show how to break invisibility in undeniable signatures, how to sell votes in voting schemes, how to break anonymity in group/ring signatures, and how to carry on the Mafia fraud in non-transferable protocols. We conclude by observing that the ability to put boundaries in computing devices prevents from providing full control on how private information spreads: the concept of sealing a device is in some sense incompatible with privacy.

  • Files
  • Details
  • Metrics
Type
conference paper
DOI
10.1007/978-3-642-04138-9_29
Author(s)
Mateus, Paulo
Vaudenay, Serge  
Date Issued

2009

Publisher

Springer

Published in
Cryptographic Hardware and Embedded Systems - CHES 2009
Series title/Series vol.

Lecture Notes in Computer Science; 5747

Start page

411

End page

428

URL

URL

http://www.chesworkshop.org/ches2009/start.html
Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
LASEC  
Event nameEvent placeEvent date
CHES 2009

Lausanne, Switzerland

September 6-9, 2009

Available on Infoscience
September 11, 2009
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/42587
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés