Conference Proceedings

Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference

Toby Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah

2016 IEEE 29th Computer Security Foundations Symposium (CSF) | IEEE | Published : 2016