Bug bounty programs are a popular way to find security flaws in deployed systems. We are the first to use a bounty program to find flaws in anonymization schemes, namely the anonymization scheme we designed called Diffix. We take an empirical approach to anonymization rather than the more common formal…
Outstanding undergraduate and Masters students are invited to learn about world-class research in security and privacy, social systems, distributed systems, machine learning, programming languages, and verification. Leading researchers will engage with attendees in their areas of expertise: the curriculum will include lectures, projects, and interaction with faculty from participating institutions.…
In 2018, MPI-SWS researchers authored a total of five POPL papers: Parametricity versus the Universal Type. Dominique Devriese, Marco Patrignani, Frank Piessens.Effective Stateless Model Checking for C/C++ Concurrency. Michalis Kokologiannakis, Ori Lahav, Kostis Sagonas, Viktor Vafeiadis.Monadic refinements for relational cost analysis. Ivan Radicek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Florian Zuleger.Why…
Two MPI-SWS faculty members have received 3-year research grants from DFG, the German Research Organization. Eva Darulova has received a single-PI DFG grant entitled "Automated Rigorous Verification and Synthesis of Approximations." Björn Brandenburg has received a DFG grant entitled "RT-Proofs: Formal proofs for real-time systems." This award is for a collaborative…
MPI-SWS PhD student Arpan Gujarati has won the Middleware 2017 Best Student Paper award for his paper "Swayam: Distributed Autoscaling to Meet SLAs of Machine Learning Inference Services with Resource Efficiency.” The paper was co-authored with MPI-SWS faculty member Björn Brandenburg, as well as with Sameh Elnikety, Yuxiong He, and…
