![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Wednesday 03 September 2014, 13:00-14:00
Hypervisor Verification in the PROSPER and HASPOC projects
- đ¤ Speaker: Christoph Baumann, KTH
- đ Date & Time: Wednesday 03 September 2014, 13:00 - 14:00
- đ Venue: FW11
Questions? Contact
Peter Sewell
Abstract
Christoph Baumann from KTH talking about their new hypervisor project, targeting high assurance security products on COTS platforms.
Series This talk is part of the REMS lunch series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Department of Computer Science and Technology talks and seminars
- FW11
- Interested Talks
- School of Technology
- Trust & Technology Initiative - interesting events
- yk449
Note: Ex-directory lists are not shown.