When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise

We propose a new formal criterion for evaluating secure compartmentalization schemes for unsafe languages like C and C++, expressing end-to-end security guarantees for software components that may become compromised after encountering undefined behavior---for example, by accessing an array out of bounds. Read More ›


Secure Software Engineering

  • Security and Privacy by design
  • Empirical methods for security
  • Network Security


    Our two Campuses

    Chalmers has two large campuses in Gothenburg, campus Johanneberg and Lindholmen.

    Software Security