SSEL Security Specification Language

[October 2021] Paper on SSEL Security Specification Language, coauthored by Kshitij Raj, Arrush Hegde, and Atul Prasad Deb Nath, has been accepted at AsianHOST 2021. Congratulations All!