Zerocash: Decentralized Anonymous Payments from Bitcoin Eli Ben-Sasson∗ , Alessandro Chiesa† , Christina Garman‡ , Matthew Green‡ , Ian Miers‡ , Eran Tromer§ , Madars Virza† ∗ Technion, .

Source URL: www.ieee-security.org

• Cryptocurrencies
• Alternative currencies
• Economy
• Money
• Exonumia
• Bitcoin
• Digital currencies
• Private currencies
• Zerocoin protocol
• Zcash
• CoinJoin
• Blockchain

Computer-Assisted Construction of Efficient Concurrent Algorithms Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard to design, implement,

Source URL: www.sri.inf.ethz.ch

QVM: An Efficient Runtime for Detecting Defects in Deployed Systems MATTHEW ARNOLD and MARTIN VECHEV, IBM Research ERAN YAHAV, Technion and IBM Research Coping with software defects that occur in the post-deployment st

Source URL: www.sri.inf.ethz.ch

LEY DE INTERESES PREFERENCIALES  ANTECEDENTES Desde 1976, los intereses pagados en concepto de préstamos hipotecarios para la adquisición de vivienda propia, eran deducidos de los montos de la renta gravable, para a

Source URL: www.ordecccac.com

CGCExplorer: A Semi-Automated Search Procedure for Provably Correct Concurrent Collectors Martin T. Vechev Cambridge University Eran Yahav

Source URL: www.sri.inf.ethz.ch

Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗

Source URL: www.sri.inf.ethz.ch

Zero-knowledge proofs for Bitcoin scalability and beyond Madars Virza (based on joint works with Eli Ben-Sasson, Alessandro Chiesa, Christina Garman, Daniel Genkin, Matthew Green, Shaul Kfir, Ian Miers and Eran Tromer)

Source URL: scalingbitcoin.org

Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich

Source URL: www.sri.inf.ethz.ch

On the Complexity of Fair Coin Flipping Iftach Haitner∗† Nikolaos Makriyannis‡‡ Eran Omri§

Source URL: www.cs.tau.ac.il