Skip to main content
Science of Security Virtual Organization

Header Menu

  • Research
    • Virtual Institutes
    • Lablets
    • Projects
    • Publications
  • HotSoS
  • Competitions
    • Cybersecurity Paper Competition
    • ISEF
  • Conferences
    • HCSS
    • HotSoS
    • C3E
Not a member? Forgot your password?

Hamburger Menu

  • Home
  • Projects
  • News
  • Events
High Confidence Software and Systems Conference
May 12-14, 2025 | Annapolis, Maryland

Register

  • Agenda
  • Venue
  • Call for Presentations
  • Past Events
  • Register

Breadcrumb

  • Home /
  • /
  • Using The Cambridge ARM Model To Verify The Concrete Machine Code of SeL4

Using the Cambridge ARM Model to Verify the Concrete Machine Code of seL4

Download

Presented as part of the 2011 HCSS conference.

Tags:
    University of Cambridge
    National HCSS Conference 2011
    Academia
    Presentation
    HCSS '11
    Evidence (HCSS'11)
License: CC-2.5
Submitted by Timothy Thimmesch on Tue, 05/10/2011 - 08:13
© 2025 Science of Security Virtual Organization

Footer

  • Terms
  • Follow Us on X