We are developing techniques and tools to enable useful computation to be done while preserving data privacy.
Obliv-C A simple GCC wrapper that makes it easy to embed secure computation protocols inside regular C programs, which exposing enough about the nature of data-oblivious computation to enable efficient protocols. [ github ] Privacy-Preserving Machine Learning Past Projects Secure Stable Matching Fast Secure Computation Using Garbled Circuits Framework and library for buiding efficient and scalable privacy-preserving applications using garbled circuits. [ Download ]
NetList: Efficient Circuit Structures Circuit structures for efficiently implementing data structures in static circuits. [ Download ]