K9db: Privacy-Compliant Storage For Web Applications By Construction K Dak Albab, I Sharma, J Adam, B Kilimnik, A Jeyaraj, R Paul, A Agvanian, ... 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23), 2023 | 9 | 2023 |
Sesame: Practical End-to-End Privacy Compliance with Policy Containers and Privacy Regions K Dak Albab, A Agvanian, A Aby, C Tiffany, A Portland, S Ridley, ... Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles …, 2024 | 1 | 2024 |
Verifying the Rust Standard Library R Kumar, C Val, F Monteiro, M Tautschnig, Z Hassan, Q Hu, A Palacios, ... | | |