cs.virginia.edu
David Evans Home Page
http://www.cs.virginia.edu/~evans
Professor of Computer Science. S current work focuses mainly on secure computation. And adversarial machine learning. This semester I am teaching cs1120: Introduction to Computing - Explorations in Language, Logic, and Machines. Using a new approach mostly inspired by my three-year-old daughter's Tae Kwon Do classes. Recently, I taught a course on cryptocurrencies. And cs4414: Operating Systems. The first course to use the Rust programming language. Dori-Mic and the Universal Machine! Secret Order of the.
mightbeevil.com
Two Halves Make a Whole
http://www.mightbeevil.com/halfgates
Two Halves Make a Whole. Reducing Data Transfer in Garbled Circuits using Half Gates. Samee Zahur, Mike Rosulek, and David Evans. Conference on the Theory and Applications of Cryptographic Techniques. The source code for our half gates implementation and the benchmarks used in this paper is available under an open source license at. Might Be Evil: Privacy-Preserving Computing. Background image: flickr cc: didbygraham.
mightbeevil.com
Might Be Evil - Secure Computation Framework - Download
http://www.mightbeevil.com/framework/download.html
Our Java-based framework and library enable programmers to build efficient and scalable privacy-preserving applications using Yao's garbled circuit techniques. The code is available from github:. If you would like to receive updates regarding the framework, please enter your email address to join our mailing list:. This paper describes the framework:. Yan Huang, David Evans, Jonathan Katz, and Lior Malka. Faster Secure Two-Party Computation Using Garbled Circuits. 20th USENIX Security Symposium.
mightbeevil.com
Might Be Evil - Secure Computation Framework
http://www.mightbeevil.com/framework
Fast Secure Computation Using Garbled Circuits. Our Java-based framework and library enable programmers to build efficient and scalable privacy-preserving applications using Yao's garbled circuit techniques. Download: Secure Computation Framework. Version 0.1.1, updated 9 August 2011). This software package is made freely available under the MIT license. This paper describes the framework and illustrates our approach with several applications:. Yan Huang, David Evans, Jonathan Katz, and Lior Malka. 6th U...
mightbeevil.com
Might Be Evil
http://www.mightbeevil.com/securedocs
Documents in the Cloud. Document editing and managing tools are going online, as evidenced from Google Docs, Microsoft OfficeLive, and Mozilla Bespin, etc. These services bring tremendous benefits on document reliability and usability. However, these benefits come somehow at the cost of security, since users have to fully trust the cloud service provider with their data. Google Privacy Blunder Shares Your Docs Without Permission. That requires it to turn over a large amount of information. Second Interna...
mightbeevil.com
Interpreter for Garbled Circuits Intermediate Language - Might Be Evil - Secure Computation Framework
http://www.mightbeevil.com/gcparser
Interpreter for Garbled Circuits Intermediate Language. Is an interpreter for a simple, low-level intermediate language for garbled circuits. Using this language you can have a secure computation generated into a single text file describing a circuit, which can then be fed into the 'generator' and 'evaluator' programs (part of the interpreter). See the readme file (PDF). Download: Garbled Circuits IL Interpreter. Version 0.1.1, updated 4 March 2012). Direct GitHub. Background image: flickr cc: didbygraham.
mightbeevil.com
Might Be Evil - Mobile Secure Computation
http://www.mightbeevil.com/mobile
App allows two people to discover that mutual contacts while protecting the rest of their contact list. Since the state space for this application is large (10. For phone numbers and even greater for email addresses) we use an efficient private set intersection scheme that we developed that we have dubbed. SCS) At the end of the protocol, both devices display the matching contacts. To install visit our Android Market page. Or scanning this barcode:. To install, download. Or scan this barcode:. 6th USENIX...
mightbeevil.com
NetList: Library of Circuit Structures
http://www.mightbeevil.com/netlist
NetList: Library of Circuit Structures. Is a library written in Haskell that allows easy generation of circuit descriptions. It is not meant to be used for hardware circuits, but for static-valued circuits instead, where each wire has a constant value. It includes efficient constructions for various simple data structures that are commonly useful in implementing circuits. Currently it can produce circuit descriptions in two different formats:. S input format for executing secure computation. Background i...
