Virtual CPU validation-Reference-Cited by-同舟云学术

Virtual CPU validation

Published:2015-10-04 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 25th Symposium on Operating Systems Principles
language:
Short-container-title:

Author:

Amit Nadav¹,Tsafrir Dan¹,Schuster Assaf¹,Ayoub Ahmad²,Shlomo Eran²

Affiliation:

1. Israel Institute of Technology

2. Intel Corporation

Funder

Ministry of Science and Technology, Israel

Israel Science Foundation

Publisher

ACM

Link

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

Reference71 articles.

1. Albertini A. x86 oddities. http://code.google.com/p/corkami/wiki/x86oddities 2011. Albertini A. x86 oddities. http://code.google.com/p/corkami/wiki/x86oddities 2011.

2. Lecture Notes in Computer Science;Alkassar E.,2010

3. Amit N. Increase the number of fixed MTRR regs to 10. http://comments.gmane.org/gmane.linux.kernel/1727771 2014. Amit N. Increase the number of fixed MTRR regs to 10. http://comments.gmane.org/gmane.linux.kernel/1727771 2014.

4. Amit N. Two CPU conformance issues in KVM/x86. http://article.gmane.org/gmane.comp.emulators.kvm.devel/133306 2015. Amit N. Two CPU conformance issues in KVM/x86. http://article.gmane.org/gmane.comp.emulators.kvm.devel/133306 2015.

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

1. Icicle: A Re-designed Emulator for Grey-Box Firmware Fuzzing;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12

2. IRIS: a Record and Replay Framework to Enable Hardware-assisted Virtualization Fuzzing;2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN);2023-06

3. Nioh-PT: Virtual I/O Filtering for Agile Protection against Vulnerability Windows;Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;2023-03-27

4. HyperFuzzer: An Efficient Hybrid Fuzzer for Virtual CPUs;Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security;2021-11-12

5. Evaluating Security Specification Mining for a CISC Architecture;2020 IEEE International Symposium on Hardware Oriented Security and Trust (HOST);2020-12-07