Search
 
   

3 results for "domain:cse.psu.edu"

  1. 6
    Verification of a Practical Hardware Security Architecture via Static Information Flow Analysis ☶ pdf hardware plt programming security cse.psu.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  2. 1
    Lessons from the VAX/SVS for High-Assurance, VMM Systems (2012) pdf historical practices programming security cse.psu.edu
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 1 comment
  3. 1
    Dare - Dalvik Retargeting to .class assembly compsci java reversing siis.cse.psu.edu
    animatronic avatar via animatronic 4 years ago | cached | no comments