Formal Analysis of Selective Disclosure Attribute-Based Credential System in Applied Pi Calculus

No abstract is available for this paper.

• Publication year

  2016

• Venue

  2016 IEEE Trustcom/BigDataSE/ISPA

• Publication date

  2016-08-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/TrustCom.2016.0044
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The Applied Pi Calculus

  2016cited by this paper
• Formal Analysis of Enhanced Authorization in the TPM 2.0

  2015cited by this paper
• Flexible and scalable digital signatures in TPM 2.0

  2013cited by this paper
• U-Prove Designated-Verifier Accumulator Revocation Extension

  2013cited by this paper
• Efficient Selective Disclosure on Smart Cards Using Idemix

  2013cited by this paper
• Efficient U-Prove Implementation for Anonymous Credentials on Smart Cards

  2011cited by this paper
• ProVerif 1.85: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial

  2011cited by this paper
• Attribute based data sharing with attribute revocation

  2010cited by this paper
• Attacking and fixing PKCS#11 security tokens

  2010cited by this paper
• Formal certification of code-based cryptographic proofs

  2009cited by this paper
• Verifying Anonymous Credential Systems in Applied Pi Calculus

  2009cited by this paper
• Automatic Verification of Privacy Properties in the Applied pi Calculus

  2008cited by this paper
• Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol

  2008cited by this paper
• Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage

  2008cited by this paper
• Anonymous yet accountable access control

  2005cited by this paper
• Just fast keying in the pi calculus

  2004cited by this paper
• Direct anonymous attestation

  2004cited by this paper
• Computer-assisted verification of a protocol for certified email

  2003cited by this paper
• An efficient cryptographic protocol verifier based on prolog rules

  2001influential reference
• Rethinking Public Key Infrastructures and Digital Certificates: Building in Privacy

  2000cited by this paper
• Automated analysis of cryptographic protocols using Mur/spl phi/

  1997cited by this paper
• Automated Analysis of Cryptographic Protocols Using Mur '

  1997cited by this paper
• Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR

  1996cited by this paper
• Security without identification: transaction systems to make big brother obsolete

  1985cited by this paper
• On the security of public key protocols

  1981cited by this paper
• Using encryption for authentication in large networks of computers

  1978cited by this paper

• Symbolic Verification of Mesh Commissioning Protocol of Thread

  2024influential citation
• Symbolic Security Verification of Mesh Commissioning Protocol in Thread (extended version)

  2023cites this paper
• A Verified Secure Protocol Model of OAuth Dynamic Client Registration

  2017cites this paper