Grant number: N62909-18-1-2049 | Funding period: 2017 - 2020
Completed
G Ernst, T Murray
2019-01-01
© The Author(s) 2019. We present SecCSL, a concurrent separation logic for proving expressive, data-dependent information flow sec..