Using model checking tools to triage the severity of security bugs in the Xen hypervisor

Authors
Publication date
1 January 2020
Publisher
Wien
Doi

    Abstract

    185193

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Supporting member

      Queen Mary Research Online

      redirect
      oaioai:qmro.qmul.ac.uk:123456789/...
      Last time updated on 12/02/2021

      reposiTUm

      redirect
      oaioai:repositum.tuwien.at:20.500...
      Last time updated on 07/04/2021