Hybrid Information Flow Control for Low-Level Code

Eduardo Geraldo, José Fragoso Santos, João Costa Seco,

URL	https://link.springer.com/chapter/10.1007/978-3-030-92124-8_9
Book title	International Conference on Software Engineering and Formal Methods (SEFM 2021)

Publication