Now showing items 5-6 of 6

    • Sound And Practical Methods For Full-System Timing Channel Control 

      Zhang, Danfeng (2015-08-17)
      Building systems with rigorous security guarantees is difficult, because most programming languages lack support for reasoning about security. This situation is amplified by emerging timing attacks, which reveal secrets ...
    • Toward General Diagnosis of Static Errors: Technical Report 

      Zhang, Danfeng; Myers, Andrew (2013-08-22)
      We introduce a general way to locate program errors that are detected by type systems and other program analyses. The program analysis is expressed in a constraint language in which program errors manifest as unsatisfiable ...