MPI-SWS faculty member Elissa Redmiles, along with collaborators Samuel Dooley and Professor John Dickerson from the University of Maryland as well as Professor Dana Turjeman from Reichman University, helped the Louisiana Department of Health advertise their COVID19 contact tracing app. As part of this work, the researchers conducted a randomized,…
Research by MPI-SWS faculty member Elissa Redmiles---along with collaborators Allison McDonald (University of Michigan), Catherine Barwulor (Clemson University), Michelle Mazurek (University of Maryland), and Florian Schaub (University of Michigan)---has received a Distinguished Paper Award at the 2021 USENIX Security Symposium. The paper investigates threats to the digital safety of European sex…
Ralf Jung, Doktorand der Universität des Saarlandes und Forscher am Max-Planck-Institut für Softwaresysteme in Saarbrücken, hat einen maßgeblichen Beitrag zur Sicherheit der Programmiersprache ‚Rust‘ geleistet. Die neue und zunehmend beliebte Programmiersprache wird sowohl von kleinen Startups als auch von den größten Technologie-Konzernen der Welt für die Entwicklung von Betriebssystemen, Webbrowsern…
Arpan Gujarati's thesis, entitled Towards “Ultra-Reliable" CPS: Reliability Analysis of Distributed Real-Time Systems, has been recognized with the 2021 ACM SIGBED Paul Caspi Memorial Dissertation Award. The award, first given in 2013, recognizes outstanding doctoral dissertations that significantly advance the state of the art in the science of embedded systems, in the…
Joël Ouaknine, along with his co-authors James Worrell and Florian Luca, has received a Distinguished Paper award at the 2021 ACM/IEEE 36th Annual Symposium on Logic in Computer Science (LICS 2021) for his paper Universal Skolem Sets. Distinguished Paper awards are given to about 10% of papers at LICS. These are papers that,…
