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

@@ 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