How to simulate it in Isabelle: towards formal proof for secure multi-party computation (Q1687724): Difference between revisions

@@ Property / cites work @@
+Formal certification of code-based cryptographic proofs
+Normal rank
@@ Property / cites work @@
+Computer-Aided Security Proofs for the Working Cryptographer
+Normal rank
@@ Property / cites work @@
+Q4035736
@@ Property / cites work: Q4035736 / rank @@
+Normal rank
@@ Property / cites work @@
+New directions in cryptography
@@ Property / cites work: New directions in cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+On the security of public key protocols
@@ Property / cites work: On the security of public key protocols / rank @@
+Normal rank
@@ Property / cites work @@
+How to Simulate It – A Tutorial on the Simulation Proof Technique
+Normal rank
@@ Property / cites work @@
+A proof of security of Yao's protocol for two-party computation
+Normal rank
@@ Property / cites work @@
+Efficient Constant Round Multi-party Computation Combining BMR and SPDZ
+Normal rank
@@ Property / cites work @@
+Probabilistic Functions and Cryptographic Oracles in Higher Order Logic
+Normal rank
@@ Property / cites work @@
+Q2768332
@@ Property / cites work: Q2768332 / rank @@
+Normal rank