3 search results - page 1 / 1 » On Bitcoin Security in the Presence of Broken Crypto Primiti... |
CRYPTO
1990
Springer
14 years 2 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
14 years 5 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
14 years 5 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...