::
front page
››
people
view
publications
::
projects
::
contact
projects
XCap
Deker: Decomposing Kernels for Verification
Scotty Bauer
Alum
,
advised by
Anton Burtsev
now at
Intel Corporation
areas of interest
operating systems
,
software testing
,
security
,
virtualization
email
sbauer at eng.utah.edu
web
www.eng.utah.edu/~sbauer
publications with the flux group
Fip-see: A Low Latency, High Throughput IPC Mechanism
Scotty Bauer
MS Project Report 2016
[
pdf
::
bibtex
]
Lightweight Capability Domains: Towards Decomposing the Linux Kernel
Charles Jacobsen
,
Muktesh Khole
,
Sarah Spall
,
Scotty Bauer
, and
Anton Burtsev
In PLOS 2015
[
pdf
::
bibtex
]