2 papers
cs.CR2018
On the Effectiveness of Type-based Control Flow Integrity
Reza Mirzazade Farkhani, Saman Jafari, Sajjad Arshad +3
Control flow integrity (CFI) has received significant attention in the community to combat control hijacking attacks in the presence of memory corruption vulnerabilities. The chall…
cs.DC2018
TabulaROSA: Tabular Operating System Architecture for Massively Parallel Heterogeneous Compute Engines
Jeremy Kepner, Ron Brightwell, Alan Edelman +10
The rise in computing hardware choices is driving a reevaluation of operating systems. The traditional role of an operating system controlling the execution of its own hardware is…