Challenges in Analysing Virtualisation Stacks - Dr Michael Tautschnig

Explore the complexities of analyzing virtualization stacks in this 29-minute seminar by Dr. Michael Tautschnig from the Alan Turing Institute. Delve into the shared-responsibility model, virtualization stack and environment, and Software-Defined Networking (SDN). Examine past work on open-source software analysis, focusing on the per-package workflow in Debian set-up and reported bugs. Gain insights into the overall analysis status on Debian and understand the commonalities and differences between various domains. Address challenges such as the absence of specifications and limited knowledge of formal methods. Learn strategies for coping with large amounts of code and the trade-offs involved in selecting analysis priorities.

Intro
Shared-responsibility model
Virtualisation Stack and Environment, SDN
Past work: Open-Source Software Analysis
Per-package Work Flow in Debian Set-up
Bugs Reported
Overall Analysis Status on Debian
Commonalities of these Efforts
Differences between the Domains
Absence of Specifications
Limited knowledge and Trust in Formal Methods
Caveats: Pick at most 2 (of 3)
Coping with Large Amounts of Code