Now showing items 1-1 of 1

    • CoSMed: A Confidentiality-Verified Social Media Platform 

      Bauereiß, Thomas Daniel; Pesenti Gritti, Armando; Popescu, Andrei; Raimondi, Franco (Springer Nature, 2018-06)
      This paper describes progress with our agenda of formal verification of information flow security for realistic systems. We present CoSMed, a social media platform with verified document confidentiality. The system’s kernel ...