Provably-Safe Multilingual Software Sandboxing using WebAssembly.
Jay BosamiyaWen Shih LimBryan ParnoPublished in: USENIX Security Symposium (2022)
Keyphrases
- software tools
- software design
- commercial software
- software development
- computer systems
- software systems
- software package
- software platform
- digital libraries
- worst case
- source code
- test cases
- software architecture
- software developers
- development process
- modeling language
- hardware design
- cross language
- information access
- software components
- social networks
- operating system
- user interface
- multi agent systems