3 search results - page 1 / 1 » On Bitcoin Security in the Presence of Broken Crypto Primiti... |
CRYPTO
1990
Springer
13 years 8 months ago
1990
Springer
This paper describes a method for n players, a majority of which may be faulty, to compute correctly, privately, and fairly any computable function f(Xl, ...,x,) where xi is the i...
CSFW
2007
IEEE
13 years 10 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
EUROCRYPT
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. Secure computation consists of protocols for secure arithmetic: secret values are added and multiplied securely by networked processors. The striking feature of secure co...