Showing 1 - 7 results of 7 for search 'McCamant, Stephen', query time: 0.03s Refine Results
  1. 1
    Predicting problems caused by component upgrades

    Predicting problems caused by component upgrades by McCamant, Stephen

    Published 2006
    Get full text
    Thesis
  2. 2
    A Machine-Checked Safety Proof for a CISC-Compatible SFI Technique

    A Machine-Checked Safety Proof for a CISC-Compatible SFI Technique by McCamant, Stephen

    Published 2006
    Get full text
  3. 3
    Quantitative information-flow tracking for real systems

    Quantitative information-flow tracking for real systems by McCamant, Stephen

    Published 2009
    Get full text
    Thesis
  4. 4
    Efficient, Verifiable Binary Sandboxing for a CISC Architecture

    Efficient, Verifiable Binary Sandboxing for a CISC Architecture by McCamant, Stephen, Morrisett, Greg

    Published 2005
    Get full text
  5. 5
    Predicting Problems Caused by Component Upgrades

    Predicting Problems Caused by Component Upgrades by McCamant, Stephen, Ernst, Michael D.

    Published 2005
    Get full text
  6. 6
    Quantitative Information-Flow Tracking for C and Related Languages

    Quantitative Information-Flow Tracking for C and Related Languages by McCamant, Stephen, Ernst, Michael D.

    Published 2006
    Get full text
  7. 7
    Quantitative Information Flow as Network Flow Capacity

    Quantitative Information Flow as Network Flow Capacity by McCamant, Stephen, Ernst, Michael D.

    Published 2007
    Get full text

Search Tools: