Showing 1 - 3 results of 3 for search 'ACM|ACM SIGOPS 29th Symposium on Operating Systems Principles', query time: 0.04s Refine Results
  1. 1
    Private Web Search with Tiptoe

    Private Web Search with Tiptoe by Henzinger, Alexandra, Dauterman, Emma, Corrigan-Gibbs, Henry, Zeldovich, Nickolai

    Published 2023
    “…ACM|ACM SIGOPS 29th Symposium on Operating Systems Principles…”
    Get full text
    Article
  2. 2
    Edna: Disguising and Revealing User Data in Web Applications

    Edna: Disguising and Revealing User Data in Web Applications by Tsai, Lillian, Gross, Hannah, Kohler, Eddie, Kaashoek, Frans, Schwarzkopf, Malte

    Published 2023
    “…ACM|ACM SIGOPS 29th Symposium on Operating Systems Principles…”
    Get full text
    Article
  3. 3
    Grove: a Separation-Logic Library for Verifying Distributed Systems

    Grove: a Separation-Logic Library for Verifying Distributed Systems by Sharma, Upamanyu, Jung, Ralf, Tassarotti, Joseph, Kaashoek, Frans, Zeldovich, Nickolai

    Published 2023
    “…ACM|ACM SIGOPS 29th Symposium on Operating Systems Principles…”
    Get full text
    Article

Search Tools: