Zaragoza Zaragoza tiene más de dos mil años de historia. Los habitantes más antiguos datan del siglo VII a. de C. al final de la edad del Bronce, eran los iberos. Entre el 24 y el 12 a. de C. los romanos fundaron una

Source URL: blog.deascuola.it

Neuron Article Inhibition-Induced Theta Resonance in Cortical Circuits Eran Stark,1,* Ronny Eichler,1 Lisa Roux,1 Shigeyoshi Fujisawa,1 Horacio G. Rotstein,2 and Gyo¨rgy Buzsa´ki1,*

Source URL: fujisawalab.brain.riken.jp

Computational Two-Party Correlation Iftach Haitner∗ Kobbi Nissim† Eran Omri‡

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

Effective Abstractions for Verification under Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich

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

Automatic Synthesis of Deterministic Concurrency Veselin Raychev (ETH Zurich) Martin Vechev (ETH Zurich) Eran Yahav (Technion)

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

2015 IEEE Symposium on Security and Privacy Secure Sampling of Public Parameters for Succinct Zero Knowledge Proofs Eli Ben-Sasson§ , Alessandro Chiesa∗ , Matthew Green† , Eran Tromer¶ , Madars Virza‡ ∗ ETH

Source URL: www.ieee-security.org

• Computational complexity theory
• Theoretical computer science
• Circuit complexity
• Cryptographic protocols
• Quantum complexity theory
• Garbled circuit
• Secure multi-party computation
• Circuit
• NC
• Boolean circuit
• PP
• Zero-knowledge proof

Inferring Synchronization under Limited Observability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Abstract. This paper addresses the problem of automatically inferring synchronization for c

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

Automatic Inference of Memory Fences Michael Kuperstein Martin Vechev Eran Yahav

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

Alias Analysis for Object-Oriented Programs Manu Sridharan1 , Satish Chandra1 , Julian Dolby1 , Stephen J. Fink1 , and Eran Yahav2 1 IBM T.J. Watson Research Center

Source URL: manu.sridharan.net

2014 IEEE Symposium on Security and Privacy Zerocash: Decentralized Anonymous Payments from Bitcoin Eli Ben-Sasson∗ , Alessandro Chiesa† , Christina Garman‡ , Matthew Green‡ , Ian Miers‡ , Eran Tromer§ , Mada

Source URL: cs.jhu.edu