Programming languages and software engineering
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
Simulation Algorithms for Symbolic Automata
Publication
Checked C: Making C Safe by Extension
Publication
Type variables in patterns
Video
DB lunch: Unifying Messaging, Queuing, Streaming & Light Weight Compute with Apache Pulsar
Data processing use cases, from transformation to analytics, perform tasks that require various combinations of queuing, streaming and lightweight processing steps. Until now, supporting all of those needs has required different systems for each task–stream…
