The Pennsylvania State University
CSE 544 — System Security
24 documents • ranked by quality and engagement.
No description provided
Web-Based Security
CSE 544 · The Pennsylvania State University
Reference Validation for Device Driver Safety
CSE 544 · The Pennsylvania State University
Device Drivers Isolating Faults
CSE 544 · The Pennsylvania State University
Controlling Information Flow in Programs
CSE 544 · The Pennsylvania State University
OS Kernel Formal Verification
CSE 544 · The Pennsylvania State University
SE Linux (Security Enhanced)
CSE 544 · The Pennsylvania State University
Enforcement of Types
CSE 544 · The Pennsylvania State University
Systems of Virtual Machines
CSE 544 · The Pennsylvania State University
Disks Resistant to Rootkits
CSE 544 · The Pennsylvania State University
Scomp System
CSE 544 · The Pennsylvania State University
Linux Security Modules in Advanced Systems
CSE 544 · The Pennsylvania State University
Verifying Integrity
CSE 544 · The Pennsylvania State University
Guiding Principles
CSE 544 · The Pennsylvania State University
Advanced Topics in Security
CSE 544 · The Pennsylvania State University
IT Security
CSE 544 · The Pennsylvania State University
Untrusted OSes and VMs
CSE 544 · The Pennsylvania State University
Storage Resistant to Rootkits
CSE 544 · The Pennsylvania State University
Standard OS Abstractions Information Flow Control
CSE 544 · The Pennsylvania State University
Linux Kernel General Security Support
CSE 544 · The Pennsylvania State University
Overflow of Buffers
CSE 544 · The Pennsylvania State University
Security for Advanced Systems
CSE 544 · The Pennsylvania State University
Commercial System Security
CSE 544 · The Pennsylvania State University
TCG Design and Implementation
CSE 544 · The Pennsylvania State University
System Security Advanced Topics
CSE 544 · The Pennsylvania State University