Search Results - SPECTOR-ZABUSKY, ANTAL

  • Showing 1 - 9 results of 9
Refine Results
  1. 1
    Testing noninterference, quickly

    Testing noninterference, quickly by HRIŢCU, CĂTĂLIN, LAMPROPOULOS, LEONIDAS, SPECTOR-ZABUSKY, ANTAL, AZEVEDO DE AMORIM, ARTHUR, DÉNÈS, MAXIME, HUGHES, JOHN, PIERCE, BENJAMIN C., VYTINIOTIS, DIMITRIOS

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code

    Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code by BREITNER, JOACHIM, SPECTOR-ZABUSKY, ANTAL, LI, YAO, RIZKALLAH, CHRISTINE, WIEGLEY, JOHN, COHEN, JOSHUA, WEIRICH, STEPHANIE

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report)

    Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report) by Breitner, Joachim, Spector-Zabusky, Antal, Li, Yao, Rizkallah, Christine, Wiegley, John, Weirich, Stephanie

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Micro-Policies: Formally Verified, Tag-Based Security Monitors

    Micro-Policies: Formally Verified, Tag-Based Security Monitors by de Amorim, Arthur Azevedo, Denes, Maxime, Giannarakis, Nick, Hritcu, Catalin, Pierce, Benjamin C., Spector-Zabusky, Antal, Tolmach, Andrew

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Total Haskell is Reasonable Coq

    Total Haskell is Reasonable Coq by Spector-Zabusky, Antal, Breitner, Joachim, Rizkallah, Christine, Weirich, Stephanie

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Embracing a mechanized formalization gap

    Embracing a mechanized formalization gap by Spector-Zabusky, Antal, Breitner, Joachim, Yao, Li, Weirich, Stephanie

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code

    Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code by Breitner, Joachim, Spector-Zabusky, Antal, Yao, Li, Rizkallah, Christine, Wiegley, John, Weirich, Stephanie

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Testing Noninterference, Quickly

    Testing Noninterference, Quickly by Hritcu, Catalin, Lampropoulos, Leonidas, Spector-Zabusky, Antal, Azevedo de Amorim, Arthur, Dénès, Maxime, Hughes, John, Pierce, Benjamin C, Vytiniotis, Dimitrios

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components

    Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components by Juglaret, Yannis, Hritcu, Catalin, Azevedo de Amorim, Arthur, Pierce, Benjamin C, Spector-Zabusky, Antal, Tolmach, Andrew

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

Search Tools: