41 citations · 60 across the 5 of their papers we have counts for
5 papers
Exploring the Environmental Benefits of In-Process Isolation for Software Resilience
Merve Gülmez, Thomas Nyman, Christoph Baumann +1
Memory-related errors remain an important cause of software vulnerabilities. While mitigation techniques such as using memory-safe languages are promising solutions, these do not a…
Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust
Merve Gülmez, Thomas Nyman, Christoph Baumann +1
Rust is a popular memory-safe systems programming language. In order to interact with hardware or call into non-Rust libraries, Rust provides \emph{unsafe} language features that s…
End-to-End Security for Distributed Event-Driven Enclave Applications on Heterogeneous TEEs
Gianluca Scopelliti, Sepideh Pouyanrad, Job Noorman +4
This paper presents an approach to provide strong assurance of the secure execution of distributed event-driven applications on shared infrastructures, while relying on a small Tru…
Unlimited Lives: Secure In-Process Rollback with Isolated Domains
Merve Gülmez, Thomas Nyman, Christoph Baumann +1
The use of unsafe programming languages still remains one of the major root causes of software vulnerabilities. Although well-known defenses that detect and mitigate memory-safety…
Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck
Christoph Baumann, Bernhard Beckert, Holger Blasum +1
Software verification tools have become a lot more powerful in recent years. Even verification of large, complex systems is feasible, as demonstrated in the L4.verified and Verisof…