Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- short-paperOctober 2023
Dynamic Library Compartmentalization
SPLASH 2023: Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for HumanityOctober 2023, Pages 51–52https://doi.org/10.1145/3618305.3623604Software is composed of different parts with different goals, each with different needs. Security-wise, this means not all necessarily need the same permissions: it can be beneficial to isolate some code such that it has limited control over the ...
- research-articleAugust 2023
Quantifying the Security Profile of Linux Applications
APSys '23: Proceedings of the 14th ACM SIGOPS Asia-Pacific Workshop on SystemsAugust 2023, Pages 80–86https://doi.org/10.1145/3609510.3609814There is an increasing interest to quantify and improve the isolation provided by containers to competing applications on multitenant hosts. As a first step to address this need, we introduce several metrics that quantify the exposure of the ...
ISA-Grid: Architecture of Fine-grained Privilege Control for Instructions and Registers
ISCA '23: Proceedings of the 50th Annual International Symposium on Computer ArchitectureJune 2023, Article No.: 15, Pages 1–15https://doi.org/10.1145/3579371.3589050Isolation is a critical mechanism for enhancing the security of computer systems. By controlling the access privileges of software and hardware resources, isolation mechanisms can decouple software into multiple isolated components and enforce the ...
- research-articleFebruary 2024
FreePart: Hardening Data Processing Software via Framework-based Partitioning and Isolation
ASPLOS '23: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 4March 2023, Pages 169–188https://doi.org/10.1145/3623278.3624760Data processing oriented software, especially machine learning applications, are heavily dependent on standard frameworks/libraries such as TensorFlow and OpenCV. As those frameworks have gained significant popularity, the exploitation of vulnerabilities ...
- invited-talkNovember 2017
Secure Hardware and Cryptography: Contrasts, Synergies and Challenges
ASHES '17: Proceedings of the 2017 Workshop on Attacks and Solutions in Hardware SecurityNovember 2017, Page 1https://doi.org/10.1145/3139324.3139325Numerous cryptographic protocols and mechanisms have been developed to solve computer security challenges, and these techniques vary considerably with respect to security assumptions, performance tradeoffs, and applicability to problems. Secure hardware ...