SecWasm: Information Flow Control for WebAssembly
No abstract available.
Related papers
- Modular Abstract Definitional Interpreters for WebAssembly ECOOP 2023
- Beyond Relooper: recursive translation of unstructured control flow to structured control flow (functional pearl) ICFP 2022
- Continuing WebAssembly with Effect Handlers OOPSLA 2023
- End-to-end Multilevel Hybrid Information Flow Control APLAS 2012
- Paragon for Practical Programming with Information-Flow Control APLAS 2013
- Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets) TACAS 2016
- Laminar: practical fine-grained decentralized information flow control PLDI 2009
- Paralocks: role-based information flow control and beyond POPL 2010