zksk (Zero-knowledge Swiss Knife) is a library for easily defining and computing zero-knowledge proofs. Developers define proofs using a simple yet powerful Python DSL that resembles Camenisch-Stadler notation that is often used in academic publications. Moreover, zksk defines higher level zero-knowledge building blocks such as range proofs, and proofs of signatures.
Code: https://github.com/spring-epfl/zksk/
Documentation: https://zksk.readthedocs.io
Lightnion is a Javascript anonymous communication library that provides anonymous communication for web applications, providing seamless anonymity for users. It uses the existing Tor network. The library provides a convenient interface to make anonymous GET/POST requests to facilitate easy integration.
Lightnion consists of a browser-side Javascript Tor client and a proxy that facilitates communication between browsers and the Tor network.
Code: https://github.com/spring-epfl/lightnion/
While I was a PhD student in Nijmegen, The Netherlands, I worked extensively on IRMA. A system designed to provide easy-to-use attribute-based credentials to users and organizations. I helped develop and design large parts of the initial IRMA Android smartphone application and frontend and backend. Since then, the team has continue to improve the application, including supporting iOS and moving to a different cryptographic backend. See here for the latest work.
At the University of Waterloo I worked on speeding up information-theoretic private information retrieval. When the server processes queries in batches, it can do faster than if it were to processes the queries one by one. We integrated these improvements into the Percy++ library