Beyond isolation: OS verification as a foundation for correct applications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matthias Brun 0002, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada. Beyond isolation: OS verification as a foundation for correct applications. In Malte Schwarzkopf, Andrew Baumann, Natacha Crooks, editors, Proceedings of the 19th Workshop on Hot Topics in Operating Systems, HOTOS 2023, Providence, RI, USA, June 22-24, 2023. pages 158-165, ACM, 2023. [doi]

This author has not been identified. Look up 'Matthias Brun 0002' in GoogleThis author has not been identified. Look up 'Reto Achermann' in GoogleThis author has not been identified. Look up 'Tej Chajed' in GoogleThis author has not been identified. Look up 'Jon Howell' in GoogleThis author has not been identified. Look up 'Gerd Zellweger' in GoogleThis author has not been identified. Look up 'Andrea Lattuada' in Google

runs on WebDSL