Computer Aided Verification
From MaRDI portal
Publication:5900592
DOI10.1007/B11831zbMath1274.94068OpenAlexW1571340194MaRDI QIDQ5900592
Juan A. Garay, Carl B. Pomerance
Publication date: 31 March 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b11831
Related Items (6)
Timed-Release Secret Sharing Schemes with Information Theoretic Security ⋮ Extending concurrent signature to multiple parties ⋮ Timed-release computational secret sharing and threshold encryption ⋮ Fair exchange of valuable information: a generalised framework ⋮ Resource fairness and composability of cryptographic protocols ⋮ Concurrent signature without random oracles
This page was built for publication: Computer Aided Verification