KIT: Testing OS-Level Virtualization for Functional Interference Bugs-Reference-Cited by-同舟云学术

KIT: Testing OS-Level Virtualization for Functional Interference Bugs

Published:2023-01-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2
language:
Short-container-title:

Author:

Liu Congyu¹,Gong Sishuai¹,Fonseca Pedro¹

Affiliation:

1. Purdue University, USA

Funder

Google

NSF

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3575693.3575731

Reference88 articles.

1. Adil Ahmad , Juhee Kim , Jaebaek Seo , Insik Shin , Pedro Fonseca , and Byoungyoung Lee . 2021 . CHANCEL: Efficient Multi-client Isolation Under Adversarial Programs. In 28th Annual Network and Distributed System Security Symposium (NDSS ’21) . The Internet Society. https://www.ndss-symposium.org/ndss-paper/chancel-efficient-multi-client-isolation-under-adversarial-programs/ Adil Ahmad, Juhee Kim, Jaebaek Seo, Insik Shin, Pedro Fonseca, and Byoungyoung Lee. 2021. CHANCEL: Efficient Multi-client Isolation Under Adversarial Programs. In 28th Annual Network and Distributed System Security Symposium (NDSS ’21). The Internet Society. https://www.ndss-symposium.org/ndss-paper/chancel-efficient-multi-client-isolation-under-adversarial-programs/

2. Kard: lightweight data race detection with per-thread memory protection

3. Linux Kernel Archives. 2022. Linux Kernel Selftests. https://www.kernel.org/doc/Documentation/kselftest.txt Linux Kernel Archives. 2022. Linux Kernel Selftests. https://www.kernel.org/doc/Documentation/kselftest.txt

4. Sergei Arnautov , Bohdan Trach , Franz Gregor , Thomas Knauth , Andre Martin , Christian Priebe , Joshua Lind , Divya Muthukumaran , Dan O’ Keeffe , Mark L. Stillwell , David Goltzsche , Dave Eyers , Rüdiger Kapitza , Peter Pietzuch , and Christof Fetzer . 2016 . SCONE: Secure Linux Containers with Intel SGX. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’16) . USENIX Association, Savannah, GA. 689–703. isbn:978-1-93 1971-33-1 https://www.usenix.org/conference/osdi16/technical-sessions/presentation/arnautov Sergei Arnautov, Bohdan Trach, Franz Gregor, Thomas Knauth, Andre Martin, Christian Priebe, Joshua Lind, Divya Muthukumaran, Dan O’ Keeffe, Mark L. Stillwell, David Goltzsche, Dave Eyers, Rüdiger Kapitza, Peter Pietzuch, and Christof Fetzer. 2016. SCONE: Secure Linux Containers with Intel SGX. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’16). USENIX Association, Savannah, GA. 689–703. isbn:978-1-931971-33-1 https://www.usenix.org/conference/osdi16/technical-sessions/presentation/arnautov

5. Fabrice Bellard. 2022. Documentation/QMP. https://wiki.qemu.org/Documentation/QMP Fabrice Bellard. 2022. Documentation/QMP. https://wiki.qemu.org/Documentation/QMP

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Kaleidoscope: Precise Invariant-Guided Pointer Analysis;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3;2024-04-27

2. Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor;Proceedings of the 29th Symposium on Operating Systems Principles;2023-10-23

3. Toward Developing High-Performance RISC-V Processors Using Agile Methodology;IEEE Micro;2023-07

4. μSwitch: Fast Kernel Context Isolation with Implicit Context Switches;2023 IEEE Symposium on Security and Privacy (SP);2023-05

5. Veil: A Protected Services Framework for Confidential Virtual Machines;Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 4;2023-03-25