Publications
2023
-
Dynamic Linkers Are the Narrow Waist of Operating SystemsIn Proceedings of the 12th Workshop on Programming Languages and Operating Systems, PLOS 2023, Koblenz, Germany, 23 October 2023, 2023
-
Creating Trust by Abolishing HierarchiesIn Proceedings of the 19th Workshop on Hot Topics in Operating Systems, HOTOS 2023, Providence, RI, USA, June 22-24, 2023, 2023
2021
-
-
Enclosure: language-based restriction of untrusted librariesIn ASPLOS ’21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Virtual Event, USA, April 19-23, 2021, 2021
2019
-
Secured Routines: Language-based Construction of Trusted Execution EnvironmentsIn 2019 USENIX Annual Technical Conference, USENIX ATC 2019, Renton, WA, USA, July 10-12, 2019, 2019
-
R2P2: Making RPCs first-class datacenter citizensIn 2019 USENIX Annual Technical Conference, USENIX ATC 2019, Renton, WA, USA, July 10-12, 2019, 2019