Verifying computations with state Benjamin Braun, Ariel J. Feldman⋆ , Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin ⋆ University of Pennsylvania Abstract When

Source URL: www.pepper-project.org

• Cryptography
• Distributed computing architecture
• Parallel computing
• MapReduce
• Certificate
• IP
• NP
• Commitment scheme
• PP
• Computational complexity theory

1 Introduction to Computational Social Choice Felix Brandta , Vincent Conitzerb , Ulle Endrissc , J´erˆ ome Langd , and Ariel D. Procacciae

Source URL: users.cs.duke.edu

• Social choice theory
• Voting theory
• Voting
• Economics
• Group decision-making
• Arrow's impossibility theorem
• Independence of irrelevant alternatives
• Condorcet paradox
• Computational social choice
• Social welfare function
• Condorcet criterion
• Preference

SoK: Cryptographically Protected Database Search Benjamin Fuller∗ , Mayank Varia† , Arkady Yerukhimovich‡ , Emily Shen‡ , Ariel Hamlin‡ , Vijay Gadepally‡ , Richard Shay‡ , John Darby Mitchell‡ , and Robe

Source URL: www.ieee-security.org

• Data management
• Computing
• Data
• Relational database management systems
• Database theory
• NoSQL
• Structured storage
• Database
• NewSQL
• Relational database
• ODB
• Conjunctive query

A Framework for Constructing Fast MPC over Arithmetic Circuits with Malicious Adversaries and an Honest-Majority∗ Yehuda Lindell Ariel Nof

Source URL: eprint.iacr.org

National Weather Association, Electronic Journal of Operational Meteorology, 2010-EJ6 Indices of Violent Tornado Environments ARIEL E. COHEN National Weather Service, Jackson, Mississippi (Manuscript received 7 July 201

Source URL: nwafiles.nwas.org

Twenty (simple) questions Yuval Dagan, Yuval Filmus, Ariel Gabizon, and Shay Moran April 20, 2017 Abstract A basic combinatorial interpretation of Shannon’s entropy function is via the “20 questions”

Source URL: www.cs.toronto.edu

EMBARGOED FOR RELEASE UNTIL JANUARY 16, 2014, 12PM EST CONTACT: Ariel EngelmanRI Medical Reserve Corps Receives a $20,000 MRC Challenge Award for Public Health Initiatives to Bene

Source URL: noperi.org

Marjorie Heins, Christina Cho and Ariel Feldman Internet Filters A

Source URL: ncac.org

• Content-control software
• Internet censorship
• Web browsers
• Digital rights
• Censorship
• Internet safety
• World Wide Web
• Secure Web SmartFilter EDU
• Peacefire
• Internet pornography
• Free Expression Policy Project
• SurfWatch

2016 IEEE International Conference on Software Science, Technology and Engineering Identifying Attack Propagation Patterns in Honeypots using Markov Chains Modeling and Complex Networks Analysis Ariel Bar, Bracha Shapi

Source URL: cyber.bgu.ac.il

Intelligent Transportation System Joint Program Office (ITS JPO) ITS Public Research Data Update Ariel Gold, Data Program Manager, USDOT James O’Hara, ITS Analyst, Noblis

Source URL: www.its.dot.gov