The TOROS project, kindly supported by an ERC starting grant, is looking to fill several open PhD and Postdoc positions. Candidates with prior experience in the Rust programming language, the Coq proof assistant, operating system construction, and/or probabilistic schedulability analysis are particularly welcome. Check out the project page for details.
The paper "ERIM: Secure, Efficient, In-process Isolation with Memory Protection Keys (MPK)" received a Distinguished Paper Award at the 2019 Usenix Security Symposium. It was selected as one of 6 distinguished papers out of 113 papers that appeared in the conference proceedings. The work was also selected as the recipient…
Last week MPI-SWS hosted the 3rd annual Cornell, Maryland, Max Planck Pre-doctoral Research School (CMMRS). This one-week school is designed to give undergraduate and Masters students from around the world a quick taste of what it is like to be a computer scientist! The school provides in-depth lectures on selected,…
MPI-SWS researchers, in collaboration with colleagues at TU Delft, the CISTER Research Centre at Polytechnic Institute of Porto, University of Saarland, Bosch Corporate Research, and Scuola Superiore Sant’Anna in Pisa, Italy, are proud to present three papers at this year's Euromicro Conference on Real-Time Systems (ECRTS) in Stuttgart, Germany. ECRTS…
MPI-SWS faculty member Deepak Garg, along with his external collaborators Carmine Abate, Roberto Blanco, Catalin Hritcu, Marco Patrignani and Jérémy Thibault, has been awarded a Distinguished Paper Award at the 2019 IEEE Computer Security Foundations Symposium (CSF 2019). Their paper is titled "Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation".
