• Kernel Data Integrity Protection via Memory Access Control 

      Srivastava, Abhinav; Erete, Ikpeme; Giffin, Jonathon (Georgia Institute of Technology, 2009)
      Operating system kernels isolate applications from other malicious software via protected memory created by virtual memory management. Even though modern kernels aggregate core kernel code with driver and module components ...
    • Operating System Interface Obfuscation and the Revealing of Hidden Operations 

      Srivastava, Abhinav; Lanzi, Andrea; Giffin, Jonathon (Georgia Institute of Technology, 2008)
      Many software security solutions—including malware analyzers, information flow tracking systems, auditing utilities, and host-based intrusion detectors—rely on knowledge of standard system call interfaces to reason about ...
    • Secure Observation of Kernel Behavior 

      Srivastava, Abhinav; Singh, Kapil; Giffin, Jonathon (Georgia Institute of Technology, 2008)
      Operating system kernels are difficult to understand and monitor. Hardware virtualization provides a layer where security tools can observe a kernel, but the gap between operating system abstractions and hardware accesses ...
    • Virtualization Services: Accelerated I/O Support in Multi-Core Systems 

      Raj, Himanshu; Schwan, Karsten (Georgia Institute of Technology, 2010)
      Virtualization services permit I/O subsystems and peripheral devices to be virtualized by placing select functionality on specialized cores and/or on cores situated ‘closer’ to devices. The approach is used to implement ...