Programming languages and software engineering
Tool
Checked C clang compiler
The Checked C extension to C is being implemented in a fork of the clang compiler. You can download the latest version of the Checked C compiler for Windows from this GitHub link.…
Project
EzPC (Easy Secure Multi-party Computation)
Consider the following scenario: Two hospitals, each having sensitive patient data, must compute statistical information about their joint data. Or, one of the hospitals has a pre-trained ML model based on sensitive patient data and…
Project
Sankie
Project Sankie infuses data-driven techniques into engineering processes, development environments, and software lifecycles of large services.
Microsoft Research Blog
SPACER and Z3: Accessible, reliable model checking as theorem proving
“How can one check a routine in the sense of making sure that it is right?” asked Alan Turing in 1949, foreshadowing the science of program proving decades before it became a formally accepted field…
Video
Multiparty Computation Research @ TU Eindhoven: Secure Linear Algebra over the Rationals, and MPyC: Rapid-Prototyping MPC Computations in Python
In this talk I will cover two topics. I will present MPyC, an open-source Python framework for rapid prototyping of MPC protocols, which is being developed at TU Eindhoven. Also, I will present a new…
Publication
Checked C: Making C Safe by Extension
Publication