Formal Analysis of a TTP-Free Blacklistable Anonymous Credentials System (Q3297470): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-89500-0_1
+Normal rank
@@ Property / OpenAlex ID @@
+W2797327458
@@ Property / OpenAlex ID: W2797327458 / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing security protocols with secrecy types and logic programs
+Normal rank
@@ Property / cites work @@
+Constant-Size Dynamic k-TAA
@@ Property / cites work: Constant-Size Dynamic k-TAA / rank @@
+Normal rank
@@ Property / cites work @@
+Automated verification of selected equivalences for security protocols
+Normal rank
@@ Property / cites work @@
+Universally Composable Direct Anonymous Attestation
+Normal rank
@@ Property / cites work @@
+Proving More Observational Equivalences with ProVerif
+Normal rank
@@ Property / cites work @@
+ExBLACR: Extending BLACR System
@@ Property / cites work: ExBLACR: Extending BLACR System / rank @@
+Normal rank
@@ Property / cites work @@
+PE(AR)2: Privacy-Enhanced Anonymous Authentication with Reputation and Revocation
+Normal rank