Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
direct anonymous attestation
biblio
A Symbolic Analysis of ECC-Based Direct Anonymous Attestation
Submitted by aekwall on Mon, 12/07/2020 - 12:25pm
symbol manipulation
Predictive Metrics
privacy
pubcrawl
public key cryptography
Resiliency
Scalability
secrecy
secrecy properties
neural style transfer
symbolic analysis
symbolic verification
Tamarin modelling
Tamarin prover
tpm
Trusted Computing
trusted platform module TPM-backed anonymous credentials
trusted platform modules
ECC-based version
authentication
composability
Cryptographic Protocols
cryptographic scheme
cyber-physical system security
digital signatures
direct anonymous attestation
ECC-based direct anonymous attestation
Analytical models
ECC-DAA
expected authentication
formal analysis
formal verification
IEC standards
ISO standards
mechanised analysis
biblio
Practical Anonymous Attestation-based Pseudonym Schemes for Vehicular Networks
Submitted by grigby1 on Fri, 05/22/2020 - 2:14pm
Protocols
Vehicular Communication Systems
vehicular ad hoc networks
vehicles
Trusted Computing
security
Resiliency
resilience
pubcrawl
anonymous messaging
privacy
network accountability
Metrics
Human behavior
Hardware
direct anonymous attestation
composability
attestation
biblio
Direct Anonymous Attestation with Efficient Verifier-Local Revocation for Subscription System
Submitted by aekwall on Wed, 02/13/2019 - 11:59am
attestation
direct anonymous attestation
Trusted Platform Module (TPM)
Resiliency
Human behavior
pubcrawl
composability
