Search Results - Pernsteiner, Stuart A

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Observationally Cooperative Multithreading

    Observationally Cooperative Multithreading by Stone, Christopher A, O'Neill, Melissa E, Bohr, Sonja A, Cozzette, Adam M, DeBlasio, M Joe, Matsieva, Julia, Pernsteiner, Stuart A, Schumer, Ari D

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities

    Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities by Cuéllar, Santiago, Harris, Bill, Parker, James, Pernsteiner, Stuart, Tromer, Eran

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Crux, a Precise Verifier for Rust and Other Languages

    Crux, a Precise Verifier for Rust and Other Languages by Pernsteiner, Stuart, Diatchki, Iavor S, Dockins, Robert, Dodds, Mike, Hendrix, Joe, Ravich, Tristan, Redmond, Patrick, Ryan, Scott, Tomb, Aaron

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: