Author:
Bastys Iulia,Algehed Maximilian,Sjösten Alexander,Sabelfeld Andrei
Publisher
Springer Nature Switzerland
Reference53 articles.
1. Ethereum WebAssembly (ewasm). http://ewasm.readthedocs.io/en/mkdocs
2. WebAssembly Security. http://webassembly.org/docs/security
3. Abadi, M., Budiu, M., Erlingsson, U., Ligatti, J.: Control-flow integrity principles, implementations, and applications. Trans. Inf. Syst. Sec. 13, 1–40 (2009)
4. Askarov, A., Hunt, S., Sabelfeld, A., Sands, D.: Termination-insensitive noninterference leaks more than just a bit. In: ESORICS (2008)
5. Barthe, G., Pichardie, D., Rezk, T.: A certified lightweight non-interference java bytecode verifier. Math. Struct. Comput. Sci. 23(05), 125–140 (2013)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1;2024-04-17
2. Dynamic Slicing of WebAssembly Binaries;2023 IEEE International Conference on Software Maintenance and Evolution (ICSME);2023-10-01