Projects
Data Confidentialty and Integrity
August 2014 to May 2017
Memory corruption errors in C/C++ are a never-ending source of security vulnerabilities. DCI is designed to prevent attacks that leak information or change important variables without changing the program’s normal control flow.
CCBot
February 2014 to November 2016
CCBot (short for CodeContractsBot) is a tool for automatically inferring, inserting, and checking CodeContracts in C# code. It was developed during my first internship at Micrsoft Research Redmond under the supervision of my mentor Francesco Logozzo. The code is now open source on Github.
Robust Distributed Wind Power Engineering
August 2012 to July 2014
We aim to develop an integrated wind farm control infrastructure optimizing for safety, longetivity, and performance.