Now showing items 1-1 of 1

    • CoSMed: A Confidentiality-Verified Social Media Platform 

      Bauereiss, Thomas Daniel; Pesenti Gritti, Armando; Popescu, Andrei; Raimondi, Franco
      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 ...