Cited By
View all- Geraldo E(2022)SNITCH: A Platform for Information Flow ControlIntegrated Formal Methods10.1007/978-3-031-07727-2_24(365-368)Online publication date: 1-Jun-2022
- Yan PMurray T(2021)SecRSL: security separation logic for C11 release-acquire concurrencyProceedings of the ACM on Programming Languages10.1145/34854765:OOPSLA(1-26)Online publication date: 20-Oct-2021
- Geraldo ESantos JSeco J(2021)Hybrid Information Flow Control for Low-Level CodeSoftware Engineering and Formal Methods10.1007/978-3-030-92124-8_9(141-159)Online publication date: 3-Dec-2021
- Show More Cited By