::
front page
››
people
view
publications
::
projects
::
contact
projects
XCap
Deker: Decomposing Kernels for Verification
Abhiram Balasubramanian
Alum
,
advised by
Anton Burtsev
now at
Ubiquiti Networks
areas of interest
operating systems
,
security
email
abhiram at cs.utah.edu
web
www.cs.utah.edu/~abhiram