Search Results - KLIGER, ALEKSEY

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    A monadic analysis of information flow security with mutable state

    A monadic analysis of information flow security with mutable state by CRARY, KARL, KLIGER, ALEKSEY, PFENNING, FRANK

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    SAFE: A clean-slate architecture for secure systems

    SAFE: A clean-slate architecture for secure systems by Chiricescu, Silviu, DeHon, Andre, Demange, Delphine, Iyer, Suraj, Kliger, Aleksey, Morrisett, Greg, Pierce, Benjamin C., Reubenstein, Howard, Smith, Jonathan M., Sullivan, Gregory T., Thomas, Arun, Tov, Jesse, White, Christopher M., Wittenberg, David

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: