Gidon Ernst

SECCSL: Security concurrent separation logic

2019 · Lecture notes in computer science

© The Author(s) 2019. We present SecCSL, a concurrent separation logic for proving expressive, data-dependent information flow security properties of low-level programs. SecCSL is considerably more expressive, while being simpler, than recent compositional information flow …