Flux Research Group / School of Computing

projects

Deker: Decomposing Kernels for Verification Deker: Decomposing Kernels for Verification
Zvonimir Rakamaric

Zvonimir Rakamaric

Other
areas of interest security, software testing
email zvonimir at cs.utah.edu
web www.zvonimir.info
office 3424 MEB