Results 11 to 20 of about 7,266 (144)

Direct anonymous attestation on the road [PDF]

Proceedings of the 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks, 2021
Vehicular networks rely on Public Key Infrastructure (PKIs) to generate long-term and short-term pseudonyms that protect vehicle's privacy. Instead of relying on a complex and centralized ecosystem of PKI entities, a more scalable solution is to rely on ...
Barbara Larsen, Thanassis Giannetsos, Ioannis Krontiris, Kenneth Goldman   +3 more
semanticscholar   +7 more sources

A Symbolic Analysis of ECC-Based Direct Anonymous Attestation [PDF]

2019 IEEE European Symposium on Security and Privacy (EuroS&P), 2019
Direct Anonymous Attestation (DAA) is a cryptographic scheme that provides Trusted Platform Module TPM-backed anonymous credentials. We develop Tamarin modelling of the ECC-based version of the protocol as it is standardised and provide the first ...
Jorden Whitefield, Liqun Chen, Ralf Sasse, Steve Schneider, Helen Treharne, Stephan Wesemeyer⋆   +5 more
semanticscholar   +7 more sources

Direct Anonymous Attestation With Optimal TPM Signing Efficiency

IEEE Transactions on Information Forensics and Security, 2021
Direct Anonymous Attestation (DAA) is an anonymous signature scheme, which allows the Trusted Platform Module (TPM), a small chip embedded in a host computer, to attest to the state of the host system, while preserving the privacy of the user.
Kang Yang, Liqun Chen, Zhenfeng Zhang, Christopher J. P. Newton, Bo Yang, Li Xi   +5 more
semanticscholar   +5 more sources

Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme [PDF]

Proceedings of the 15th ACM Asia Conference on Computer and Communications Security, 2020
Direct Anonymous Attestation (Daa) is a set of cryptographic schemes used to create anonymous digital signatures. To provide additional assurance, Daa schemes can utilise a Trusted Platform Module (Tpm) that is a tamper-resistant hardware device embedded
Stephan Wesemeyer⋆, Christopher J. P. Newton, Helen Treharne, Liqun Chen, Ralf Sasse, Jorden Whitefield   +5 more
semanticscholar   +6 more sources

Hash-based Direct Anonymous Attestation [PDF]

Post-Quantum Cryptography, 2023
Direct Anonymous Attestation (DAA) was designed for the Trusted Platform Module (TPM) and versions using RSA and elliptic curve cryptography have been included in the TPM specifications and in ISO/IEC standards. These standardised DAA schemes have their security based on the factoring or discrete logarithm problems and are therefore insecure against ...
Liqun Chen, Changyu Dong, Nada El Kassem, Christopher J. P. Newton, Yalan Wang   +4 more
semanticscholar   +6 more sources

Direct anonymous attestation [PDF]

Proceedings of the 11th ACM conference on Computer and communications security, 2004
This paper describes the direct anonymous attestation scheme (DAA). This scheme was adopted by the Trusted Computing Group (TCG) as the method for remote authentication of a hardware module, called Trusted Platform Module (TPM), while preserving the privacy of the user of the platform that contains the module.
Ernie Brickell, Jan Camenisch, Liqun Chen   +2 more
semanticscholar   +4 more sources

More efficient, provably-secure direct anonymous attestation from lattices [PDF]

Future Generation Computer Systems, 2019
The Cloud-Edges (CE) framework, wherein small groups of Internet of Things(IoT) devices are serviced by local edge devices, enables a more scalable solution to IoT networks. The trustworthiness of the network may be ensured with Trusted Platform Modules (TPMs). This small hardware chip is capable of measuring and reporting a representation of the state
Nada El Kassem, Liqun Chen, Rachid El Bansarkhani, Ali El Kaafarani, Jan Camenisch, Patrick Hough, Paulo Martins, Leonel Sousa   +7 more
semanticscholar   +6 more sources

V-LDAA: A New Lattice-Based Direct Anonymous Attestation Scheme for VANETs System [PDF]

Secur. Commun. Networks, 2021
Privacy protection and message authentication issues in VANETs have received great attention in academia. Many authentication schemes in VANETs have been proposed, but most of them are based on classical difficult problems such as factorization in RSA ...
Liquan Chen, Tianyang Tu, Kunliang Yu, Mengnan Zhao, Yingchao Wang   +4 more
openalex   +2 more sources

Formal analysis of privacy in Direct Anonymous Attestation schemes

Science of Computer Programming, 2015
This article introduces a definition of privacy for Direct Anonymous Attestation schemes. The definition is expressed as an equivalence property which is suited to automated reasoning using Blanchet's ProVerif. The practicality of the definition is demonstrated by analysing the RSA-based Direct Anonymous Attestation protocol by Brickell, Camenisch ...
Ben Smyth, Mark Ryan, Liqun Chen
semanticscholar   +6 more sources

Privacy-enhanced capabilities for VANETs using direct anonymous attestation

2017 IEEE Vehicular Networking Conference (VNC), 2017
In this paper, we propose a novel secure and privacy-preserving solution for V2X systems leveraging widely accepted trusted computing technologies. Our approach systematically addresses all key aspects, i.e., security, privacy and accountability (revocation).
Jorden Whitefield, Liqun Chen, Thanassis Giannetsos, Steve Schneider, Helen Treharne   +4 more
semanticscholar   +7 more sources