A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case (Q2835591): Difference between revisions

@@ Property / author @@
-Thomas Shrimpton
@@ Property / author: Thomas Shrimpton / rank @@
-Normal rank
@@ Property / author @@
+Thomas Shrimpton
@@ Property / author: Thomas Shrimpton / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GNUC
@@ Property / describes a project that uses: GNUC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2506192635
@@ Property / OpenAlex ID: W2506192635 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Unconditional Soundness: Computationally Complete Symbolic Attacker
+Normal rank
@@ Property / cites work @@
+Efficient Padding Oracle Attacks on Cryptographic Hardware
+Normal rank
@@ Property / cites work @@
+Q4797389
@@ Property / cites work: Q4797389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4228521
@@ Property / cites work: Q4228521 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Security of PKCS #11
@@ Property / cites work: On the Security of PKCS #11 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Analysis of the Security of XOR-Based Key Management Schemes
+Normal rank
@@ Property / cites work @@
+Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data
+Normal rank
@@ Property / cites work @@
+More on Key Wrapping
@@ Property / cites work: More on Key Wrapping / rank @@
+Normal rank
@@ Property / cites work @@
+GNUC: a new universal composability framework
@@ Property / cites work: GNUC: a new universal composability framework / rank @@
+Normal rank
@@ Property / cites work @@
+Q4409113
@@ Property / cites work: Q4409113 / rank @@
+Normal rank
@@ Property / cites work @@
+A Provable-Security Treatment of the Key-Wrap Problem
+Normal rank