Citation Impact
Citing Papers
Self-paging in the Nemesis operating system
1999
TaintDroid: an information-flow tracking system for realtime privacy monitoring on smartphones
2010 Standout
Interface and execution models in the Fluke kernel
1999
Permission re-delegation: attacks and defenses
2011 Standout
A Verified Shared Capability Model
2009
The nesC language
2014 Standout
Labels and event processes in the Asbestos operating system
2007
seL4
2009 Standout
Terra
2003
Think: A Software Framework for Component-based Operating System Kernels
2002
Proposed NIST standard for role-based access control
2001 Standout
Labels and event processes in the asbestos operating system
2005
Vehicular Networking: A Survey and Tutorial on Requirements, Architectures, Challenges, Standards and Solutions
2011 Standout
Xen and the art of virtualization
2003 Standout
TaintDroid
2014 Standout
TRBAC
2001
Formal Verification of C Systems Code
2009
Operating system verification—An overview
2009
Works of Jochen Liedtke being referenced
On micro-kernel construction
1995
Toward real microkernels
1996
A persistent system in real use-experiences of the first 13 years
2002
Achieved IPC performance (still the foundation for extensibility)
2002
Flexible control of downloaded executable content
1999
Improving IPC by kernel design
1993
On micro-kernel construction
1995
A short note a small virtually-addressed control blocks
1995