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

Keyword and Optional Arguments in PLT Scheme Matthew Flatt Eli Barzilay University of Utah and PLT

Source URL: www.cs.utah.edu

• Software engineering
• Computer programming
• Computing
• Programming languages
• Object-oriented programming languages
• Functional programming
• Procedural programming languages
• Subroutines
• Scheme
• Parameter
• Lisp
• Anonymous function

Scribble: Closing the Book on Ad Hoc Documentation Tools Matthew Flatt Eli Barzilay Robert Bruce Findler

Source URL: www.cs.utah.edu

• Software engineering
• Computing
• Computer programming
• Object-oriented programming languages
• Functional languages
• Programming languages
• Lisp
• Cross-platform software
• Racket
• Scheme
• Literate programming
• Anonymous function

Fast Reductions from RAMs to Delegatable Succinct Constraint Satisfaction Problems∗ Eli Ben-Sasson† Alessandro Chiesa†

Source URL: web.eecs.umich.edu

• Computational complexity theory
• Complexity classes
• Theory of computation
• NP
• Probabilistically checkable proof
• IP
• Proof of knowledge
• Reduction
• NC
• Craig interpolation
• EXPTIME
• Combinatory logic

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

PDF Document

Source URL: www.eli.ufl.edu

PDF Document

Source URL: www.eli-np.ro

PDF Document

Source URL: eps2018.eli-beams.eu

PDF Document

Source URL: www.eli-np.ro

PDF Document

Source URL: eli-laser.eu