Now showing items 1-1 of 1

    • Secure Programming Via Game-Based Synthesis 

      Harris, William (2015-01-16)
      Interactive security systems provide powerful security primitives (i.e., security-oriented system calls) that an application can invoke at various moments during execution to control accesses to its sensitive information. ...