TARDIS: a foundation of time-lock puzzles in UC (Q2056801): Difference between revisions

@@ Property / cites work @@
+Modeling Bitcoin Contracts by Timed Automata
@@ Property / cites work: Modeling Bitcoin Contracts by Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Insured MPC: efficient secure computation with financial penalties
+Normal rank
@@ Property / cites work @@
+Efficient Secure Multiparty Computation with Identifiable Abort
+Normal rank
@@ Property / cites work @@
+Efficient constant-round MPC with identifiable abort and public verifiability
+Normal rank
@@ Property / cites work @@
+Standard Security Does Not Imply Security against Selective-Opening
+Normal rank
@@ Property / cites work @@
+How to Use Bitcoin to Design Fair Protocols
@@ Property / cites work: How to Use Bitcoin to Design Fair Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Time-Lock Puzzles from Randomized Encodings
@@ Property / cites work: Time-Lock Puzzles from Randomized Encodings / rank @@
+Normal rank
@@ Property / cites work @@
+Verifiable delay functions
@@ Property / cites work: Verifiable delay functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536805
@@ Property / cites work: Q4536805 / rank @@
+Normal rank
@@ Property / cites work @@
+The wonderful world of global random oracles
@@ Property / cites work: The wonderful world of global random oracles / 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 @@
+Efficient UC commitment extension with homomorphism for free (and applications)
+Normal rank
@@ Property / cites work @@
+Non-interactive and reusable non-malleable commitment schemes
+Normal rank
@@ Property / cites work @@
+Ouroboros Praos: an adaptively-secure, semi-synchronous proof-of-stake blockchain
+Normal rank
@@ Property / cites work @@
+Q4542559
@@ Property / cites work: Q4542559 / rank @@
+Normal rank
@@ Property / cites work @@
+Random Oracles with(out) Programmability
@@ Property / cites work: Random Oracles with(out) Programmability / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent zero-knowledge with timing, revisited
@@ Property / cites work: Concurrent zero-knowledge with timing, revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Low cost constant round MPC combining BMR and oblivious transfer
+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 @@
+Secure Multi-Party Computation with Identifiable Abort
+Normal rank
@@ Property / cites work @@
+Concurrent general composition of secure protocols in the timing model
+Normal rank
@@ Property / cites work @@
+On the security of time-lock puzzles and timed commitments
+Normal rank
@@ Property / cites work @@
+Universally Composable Synchronous Computation
@@ Property / cites work: Universally Composable Synchronous Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Fair and Robust Multi-party Computation Using a Global Transaction Ledger
+Normal rank
@@ Property / cites work @@
+Constructive Cryptography – A New Paradigm for Security Definitions and Proofs
+Normal rank
@@ Property / cites work @@
+Q4409113
@@ Property / cites work: Q4409113 / rank @@
+Normal rank
@@ Property / cites work @@
+A New Approach to Practical Active-Secure Two-Party Computation
+Normal rank
@@ Property / cites work @@
+Simple verifiable delay functions
@@ Property / cites work: Simple verifiable delay functions / rank @@
+Normal rank
@@ Property / cites work @@
+Generic-group delay functions require hidden-order groups
+Normal rank
@@ Property / cites work @@
+Zero Knowledge in the Random Oracle Model, Revisited
+Normal rank
@@ Property / cites work @@
+Efficient verifiable delay functions
@@ Property / cites work: Efficient verifiable delay functions / rank @@
+Normal rank