HPMPC
High Performance Implementation of several Secure Multiparty Computation Protocols. 
Projects
Check out some selected projects I have worked on below. For other projects, please refer to my Github.
Verification of Outsourced Object Detection
Let an IoT device send an image stream to a third-party edge server and receive real-time object detection results. A verifier confirms the correctness of the edge server’s responses. 
Menual
Android app that lets users scan a restaurant menu and receive nutrition scores for each detected item based on the German Nutrition Society’s (DGE) standards. 