Formal Abstractions for Attested Execution Secure Processors (Q5738880): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-56620-7_10
+Normal rank
@@ Property / OpenAlex ID @@
+W2613137163
@@ Property / OpenAlex ID: W2613137163 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714435
@@ Property / cites work: Q5714435 / rank @@
+Normal rank
@@ Property / cites work @@
+Reconciling two views of cryptography (The computational soundness of formal encryption)
+Normal rank
@@ Property / cites work @@
+Complete Characterization of Fairness in Secure Two-Party Computation of Boolean Functions
+Normal rank
@@ Property / cites work @@
+Q4536805
@@ Property / cites work: Q4536805 / rank @@
+Normal rank
@@ Property / cites work @@
+Universally Composable Security with Global Setup
@@ Property / cites work: Universally Composable Security with Global Setup / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783717
@@ Property / cites work: Q4783717 / rank @@
+Normal rank
@@ Property / cites work @@
+Universally composable symbolic security analysis
@@ Property / cites work: Universally composable symbolic security analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Cryptology - CRYPTO 2003
@@ Property / cites work: Advances in Cryptology - CRYPTO 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional Encryption from (Small) Hardware Tokens
+Normal rank
@@ Property / cites work @@
+Q3325625
@@ Property / cites work: Q3325625 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+ECDH Key-Extraction via Low-Bandwidth Electromagnetic Attacks on PCs
+Normal rank
@@ Property / cites work @@
+One-Time Programs
@@ Property / cites work: One-Time Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Fairness in Multi-party Computation without an Honest Majority
+Normal rank
@@ Property / cites work @@
+Complete Fairness in Secure Two-Party Computation
@@ Property / cites work: Complete Fairness in Secure Two-Party Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Founding Cryptography on Tamper-Proof Hardware Tokens
+Normal rank
@@ Property / cites work @@
+Composable Security in the Tamper-Proof Hardware Model Under Minimal Complexity
+Normal rank
@@ Property / cites work @@
+Advances in Cryptology - CRYPTO 2003
@@ Property / cites work: Advances in Cryptology - CRYPTO 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Universally Composable Multi-party Computation Using Tamper-Proof Hardware
+Normal rank
@@ Property / cites work @@
+Q4941869
@@ Property / cites work: Q4941869 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Abstractions for Attested Execution Secure Processors
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5738880