Export Citations
2 Results
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,779,951 records)|Limit your search to The ACM Full-Text Collection (764,892 records)
Showing 1 - 2of2 Results
Select All
- research-articleMay 2023
Expressive Authorization Policies using Computation Principals
SACMAT '23: Proceedings of the 28th ACM Symposium on Access Control Models and TechnologiesPages 107–119https://doi.org/10.1145/3589608.3593834In authorization logics, it is natural to treat computations as principals, since systems need to decide how much authority to give computations when they execute. But unlike other kinds of principals, the authority that we want to give to computations ...
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
- Alexandra E. Michael,
- Anitha Gollamudi,
- Jay Bosamiya,
- Evan Johnson,
- Aidan Denlinger,
- Craig Disselkoen,
- Conrad Watt,
- Bryan Parno,
- Marco Patrignani,
- Marco Vassena,
- Deian Stefan
Proceedings of the ACM on Programming Languages (PACMPL), Volume 7, Issue POPLArticle No.: 15, Pages 425–454https://doi.org/10.1145/3571208Most programs compiled to WebAssembly (Wasm) today are written in unsafe languages like C and C++. Unfortunately, memory-unsafe C code remains unsafe when compiled to Wasm—and attackers can exploit buffer overflows and use-after-frees in Wasm almost as ...