Search results for "hypervisors"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
185	T. Mitchem, R. Lu, R. O'Brian	Using Kernel Hypervisors to Secure Applications.	ACSAC	1997	DBLP DOI BibTeX RDF	kernel hypervisors, secure applications, selective control, loadable module, unbypassable security wrappers, application specific security requirements, client kernel hypervisors, application specific policies, loadable modules, user systems, malicious active content, wrapping servers, firewall services, Web browser, operating system kernels, Linux kernel, COTS components, replication services
96	Paul A. Karger	Multi-Level Security Requirements for Hypervisors.	ACSAC	2005	DBLP DOI BibTeX RDF
73	Yosuke Chubachi, Takahiro Shinagawa, Kazuhiko Kato	Hypervisor-based prevention of persistent rootkits.	SAC	2010	DBLP DOI BibTeX RDF	persistent rootkit, security, file system, hypervisor
63	Takahiro Shinagawa, Hideki Eiraku, Kouichi Tanimoto, Kazumasa Omote, Shoichi Hasegawa, Takashi Horie, Manabu Hirano, Kenichi Kourai, Yoshihiro Oyama, Eiji Kawai, Kenji Kono, Shigeru Chiba, Yasushi Shinjo, Kazuhiko Kato	BitVisor: a thin hypervisor for enforcing i/o device security.	VEE	2009	DBLP DOI BibTeX RDF	parapass-through, shadow dma descriptor, virtual machine monitors, hypervisors, trusted computing base
60	Johan Fornaeus	Device hypervisors.	DAC	2010	DBLP DOI BibTeX RDF	real-time, separation, real-time operating system, hypervisor, embedded devices, consolidation, general purpose operating system
60	Stephen Soltesz, Herbert Pötzl, Marc E. Fiuczynski, Andy C. Bavier, Larry L. Peterson	Container-based operating system virtualization: a scalable, high-performance alternative to hypervisors.	EuroSys	2007	DBLP DOI BibTeX RDF	Linux-VServer, virtualization, system, operating, container, Xen, hypervisor, alternative
55	Jisoo Yang, Kang G. Shin	Using hypervisor to provide data secrecy for user applications on a per-page basis.	VEE	2008	DBLP DOI BibTeX RDF	application protection, virtualization, data privacy, hypervisor
49	Gernot Heiser, Ben Leslie	The OKL4 microvisor: convergence point of microkernels and hypervisors.	ApSys	2010	DBLP DOI BibTeX RDF	real-time systems, embedded systems, virtual machines, hypervisors, microkernels
45	Paul A. Karger	Performance and security lessons learned from virtualizing the alpha processor.	ISCA	2007	DBLP DOI BibTeX RDF	virtualizability, security, virtual machine monitors, hypervisors
41	Vahid Kazempour, Ali Kamali, Alexandra Fedorova	AASH: an asymmetry-aware scheduler for hypervisors.	VEE	2010	DBLP DOI BibTeX RDF	heterogeneous, scheduling algorithms, multicore processors, virtual machine monitor, hypervisor, asymmetric
37	Alex Landau, David Hadas, Muli Ben-Yehuda	Plugging the hypervisor abstraction leaks caused by virtual networking.	SYSTOR	2010	DBLP DOI BibTeX RDF	I/O virtualization, network abstraction, network virtualization
37	Xinyu Feng 0001, Zhong Shao, Yu Guo, Yuan Dong	Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Operating system verification, Hardware interrupts, Preemptive threads, Thread libraries, Modularity, Separation logic, Synchronization primitives
37	Xinyu Feng 0001, Zhong Shao, Yuan Dong, Yu Guo	Certifying low-level programs with hardware interrupts and preemptive threads.	PLDI	2008	DBLP DOI BibTeX RDF	certified system software, hardware interrupts, preemptive threads, concurrency, separation logic
37	Ahmad-Reza Sadeghi, Christian Stüble, Marcel Winandy	Property-Based TPM Virtualization.	ISC	2008	DBLP DOI BibTeX RDF
26	Paul A. Karger	Securing virtual machine monitors: what is needed?	AsiaCCS	2009	DBLP DOI BibTeX RDF	virtual machine monitors, hypervisors, security kernels
26	Xiaoxin Chen, Tal Garfinkel, E. Christopher Lewis, Pratap Subrahmanyam, Carl A. Waldspurger, Dan Boneh, Jeffrey S. Dwoskin, Dan R. K. Ports	Overshadow: a virtualization-based approach to retrofitting protection in commodity operating systems.	ASPLOS	2008	DBLP DOI BibTeX RDF	cloaking, multi-shadowing, operating systems, virtual machine monitors, hypervisors, memory protection, VMM
26	Paul Barham 0001, Boris Dragovic, Keir Fraser, Steven Hand 0001, Tim Harris 0001, Alex Ho, Rolf Neugebauer, Ian Pratt 0001, Andrew Warfield	Xen and the art of virtualization.	SOSP	2003	DBLP DOI BibTeX RDF	paravirtualization, virtual machine monitors, hypervisors
23	Santiago Lozano, Tamara Lugo, Jesús Carretero 0001	A Comprehensive Survey on the Use of Hypervisors in Safety-Critical Systems.	IEEE Access	2023	DBLP DOI BibTeX RDF
23	Rui Queiroz, Tiago Cruz 0001, Paulo Simões 0001	Testing the limits of general-purpose hypervisors for real-time control systems.	Microprocess. Microsystems	2023	DBLP DOI BibTeX RDF
23	José Martins, Sandro Pinto 0001	Shedding Light on Static Partitioning Hypervisors for Arm-based Mixed-Criticality Systems.	CoRR	2023	DBLP DOI BibTeX RDF
23	Long Wen, Markus Rickert 0001, Fengjunjie Pan, Jianjie Lin, Alois Knoll	Bare-Metal vs. Hypervisors and Containers: Performance Evaluation of Virtualization Technologies for Software-Defined Vehicles.	IV	2023	DBLP DOI BibTeX RDF
23	Irene Bicchierai, Enrico Schiavone, Massimiliano Leone Itria, Andrea Bondavalli, Lorenzo Falai	A Methodology for the Qualification of Operating Systems and Hypervisors for the Deployment in IoT Devices.	SAFECOMP Workshops	2023	DBLP DOI BibTeX RDF
23	Deborsi Basu, Uttam Ghosh, Raja Datta	Dynamic Joint Deployment of SDN Controllers and Hypervisors for Softwarized 5G and Beyond - The Indian Perspective.	ICDCN	2023	DBLP DOI BibTeX RDF
23	José Martins, Sandro Pinto 0001	Shedding Light on Static Partitioning Hypervisors for Arm-based Mixed-Criticality Systems.	RTAS	2023	DBLP DOI BibTeX RDF
23	Henry Hui, Kieran McLaughlin, Fahad Siddiqui 0001, Sakir Sezer, Sena Yengec Tasdemir, Balmukund Sonigara	A Runtime Security Monitoring Architecture for Embedded Hypervisors.	SOCC	2023	DBLP DOI BibTeX RDF
23	Jean-Baptiste Decourcelle, Tu Dinh Ngoc, Boris Teabe, Daniel Hagimont	Fast VM Replication on Heterogeneous Hypervisors for Robust Fault Tolerance.	Middleware	2023	DBLP DOI BibTeX RDF
23	Taehoon Kim, Kwangwon Koh, Changdae Kim, Eunji Pak, Yeonjeong Jeong, Sang-Hoon Kim	DEHype: Retrofitting Hypervisors for a Resource-Disaggregated Environment.	CLUSTER	2023	DBLP DOI BibTeX RDF
23	Andrea Segalini, Dino Lopez Pacheco, Guillaume Urvoy-Keller, Fabien Hermenier, Quentin Jacquemart	Hy-FiX: Fast In-Place Upgrades of KVM Hypervisors.	IEEE Trans. Cloud Comput.	2022	DBLP DOI BibTeX RDF
23	Akhilesh S. Thyagaturu, Prateek Shantharama, Ahmed Nasrallah, Martin Reisslein	Operating Systems and Hypervisors for Network Functions: A Survey of Enabling Technologies and Research Studies.	IEEE Access	2022	DBLP DOI BibTeX RDF
23	Carmine Cesarano, Domenico Cotroneo, Luigi De Simone	Towards Assessing Isolation Properties in Partitioning Hypervisors.	CoRR	2022	DBLP DOI BibTeX RDF
23	Marco Barletta, Marcello Cinque, Luigi De Simone, Raffaele Della Corte, Giorgio Farina, Daniele Ottaviano	RunPHI: Enabling Mixed-criticality Containers via Partitioning Hypervisors in Industry 4.0.	CoRR	2022	DBLP DOI BibTeX RDF
23	Rui Queiroz, Tiago Cruz 0001, Paulo Simões 0001	Real-time task latency in general-purpose hypervisors - testing the limits.		2022	DOI RDF
23	Carmine Cesarano, Domenico Cotroneo, Luigi De Simone	Towards Assessing Isolation Properties in Partitioning Hypervisors.	ISSRE Workshops	2022	DBLP DOI BibTeX RDF
23	Marco Barletta, Marcello Cinque, Luigi De Simone, Raffaele Della Corte, Giorgio Farina, Daniele Ottaviano	RunPHI: Enabling Mixed-criticality Containers via Partitioning Hypervisors in Industry 4.0.	ISSRE Workshops	2022	DBLP DOI BibTeX RDF
23	Ethan Johnson, Colin Pronovost, John Criswell	Hardening Hypervisors with Ombro.	USENIX Annual Technical Conference	2022	DBLP BibTeX RDF
23	Son Duc Nguyen, Mamoru Mimura, Hidema Tanaka	SPEChecker: Checking the feasibility of Slow-port-exhaustion attack on various hypervisors.	Internet Things	2021	DBLP DOI BibTeX RDF
23	Guoqing Li, Keichi Takahashi, Kohei Ichikawa, Hajimu Iida, Pree Thiengburanathum, Passakorn Phannachitta	Comparative Performance Study of Lightweight Hypervisors Used in Container Environment.	CLOSER	2021	DBLP DOI BibTeX RDF
23	Naga Seshu Kumar Anumukonda, Rajesh Kumar Yadav, N. S. Raghava 0001	A Painstaking Analysis of Attacks on Hypervisors in Cloud Environment.	ICMLT	2021	DBLP DOI BibTeX RDF
23	Zhengjun Zhang, Yanqiang Liu, Jiangtao Chen, Zhengwei Qi, Yifeng Zhang, Huai Liu	Performance Analysis of Open-Source Hypervisors for Automotive Systems.	ICPADS	2021	DBLP DOI BibTeX RDF
23	Christopher Norine, Alan Shaffer, Gurminder Singh	Artifact Mitigation in High-Fidelity Hypervisors.	HICSS	2021	DBLP BibTeX RDF
23	Kenta Ishiguro, Kenji Kono	Instruction Filters for Mitigating Attacks on Instruction Emulation in Hypervisors.	IEICE Trans. Inf. Syst.	2020	DBLP DOI BibTeX RDF
23	Luca Abeni, Dario Faggioli	Using Xen and KVM as real-time hypervisors.	J. Syst. Archit.	2020	DBLP DOI BibTeX RDF
23	Tjerk Bijlsma, Andrii Buriachevskyi, Alessandro Frigerio, Yuting Fu, Kees Goossens, Ali Osman Örs, Pieter J. van der Perk, Andrei Sergeevich Terechko, Bart Vermeulen	A Distributed Safety Mechanism using Middleware and Hypervisors for Autonomous Vehicles.	DATE	2020	DBLP DOI BibTeX RDF
23	Congfeng Jiang, Yumei Wang, Dongyang Ou, Youhuizi Li, Jilin Zhang, Jian Wan 0001, Bing Luo, Weisong Shi	Energy efficiency comparison of hypervisors.	Sustain. Comput. Informatics Syst.	2019	DBLP DOI BibTeX RDF
23	Vittoriano Muttillo, Luca Tiberi, Luigi Pomante, Paolo Serri	Benchmarking Analysis and Characterization of Hypervisors for Space Multicore Systems.	J. Aerosp. Inf. Syst.	2019	DBLP DOI BibTeX RDF
23	Andrea Segalini, Dino Lopez Pacheco, Guillaume Urvoy-Keller, Fabien Hermenier, Quentin Jacquemart	Hy-FiX: Fast In-place upgrade of KVM hypervisors.	SoCC	2019	DBLP DOI BibTeX RDF
23	Sultan Abdullah Algarni, Mohammad Rafi Ikbal, Roobaea Alroobaea, Ahmed S. Ghiduk, Farrukh Nadeem	Performance Evaluation of Xen, KVM, and Proxmox Hypervisors.	Int. J. Open Source Softw. Process.	2018	DBLP DOI BibTeX RDF
23	Bala Prakasa Rao Killi, Seela Veerabhadreswara Rao 0001	On Placement of Hypervisors and Controllers in Virtualized Software Defined Network.	IEEE Trans. Netw. Serv. Manag.	2018	DBLP DOI BibTeX RDF
23	John Patrick Barrowclough, Rameez Asif	Securing Cloud Hypervisors: A Survey of the Threats, Vulnerabilities, and Countermeasures.	Secur. Commun. Networks	2018	DBLP DOI BibTeX RDF
23	Ashijeet Acharya, Jeremy Fanguede, Michele Paolino, Daniel Raho	A Performance Benchmarking Analysis of Hypervisors Containers and Unikernels on ARMv8 and x86 CPUs.	EuCNC	2018	DBLP DOI BibTeX RDF
23	Ognjen Dobrijevic, Carlos Natalino, Marija Furdek, Haris Hodzic, Matija Dzanko, Lena Wosinska	Another Price to Pay: An Availability Analysis for SDN Virtualization with Network Hypervisors.	RNDM	2018	DBLP DOI BibTeX RDF
23	Hafiz ur Rahman, Guojun Wang 0001, Jianer Chen, Hai Jiang 0003	Performance Evaluation of Hypervisors and the Effect of Virtual CPU on Performance.	SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI	2018	DBLP DOI BibTeX RDF
23	Maxim Polenov, Vyacheslav Guzik, Vladislav Lukyanov	Hypervisors Comparison and Their Performance Testing.	CSOS (1)	2018	DBLP DOI BibTeX RDF
23	Nemanja Deric, Amir Varasteh, Arsany Basta, Andreas Blenk, Wolfgang Kellerer	SDN Hypervisors: How Much Does Topology Abstraction Matter?	CNSM	2018	DBLP BibTeX RDF
23	Pedro Fonseca 0001, Xi Wang 0005, Arvind Krishnamurthy	MultiNyx: a multi-level abstraction framework for systematic analysis of hypervisors.	EuroSys	2018	DBLP DOI BibTeX RDF
23	Kenta Ishiguro, Kenji Kono	Hardening Hypervisors against Vulnerabilities in Instruction Emulators.	EuroSec@EuroSys	2018	DBLP DOI BibTeX RDF
23	Yu Zhang 0051	Performance improvement of hypervisors for HPC workload.		2018	RDF
23	Abid Shahzad	A Systematic Review of Vulnerabilities in Hypervisors and Their Detection.	AMCIS	2017	DBLP BibTeX RDF
23	Hardik Bagdi, Rohith Kugve, Kartik Gopalan	HyperFresh: Live Refresh of Hypervisors Using Nested Virtualization.	APSys	2017	DBLP DOI BibTeX RDF
23	Huibai Huang, Shengru Li, Kai Han 0003, Quanying Sun, Daoyun Hu, Zuqing Zhu	Embedding virtual software-defined networks over distributed hypervisors for vDC formulation.	ICC	2017	DBLP DOI BibTeX RDF
23	Pezhman Sheinidashtegol, Michael Galloway	Performance Impact of DDoS Attacks on Three Virtual Machine Hypervisors.	IC2E	2017	DBLP DOI BibTeX RDF
23	Berihun Fekade, Taras Maksymyuk, Minho Jo 0001	Clustering hypervisors to minimize failures in mobile cloud computing.	Wirel. Commun. Mob. Comput.	2016	DBLP DOI BibTeX RDF
23	Andreas Blenk, Arsany Basta, Johannes Zerwas, Martin Reisslein, Wolfgang Kellerer	Control Plane Latency With SDN Network Hypervisors: The Cost of Virtualization.	IEEE Trans. Netw. Serv. Manag.	2016	DBLP DOI BibTeX RDF
23	Andreas Blenk, Arsany Basta, Martin Reisslein, Wolfgang Kellerer	Survey on Network Virtualization Hypervisors for Software Defined Networking.	IEEE Commun. Surv. Tutorials	2016	DBLP DOI BibTeX RDF
23	P. Vijaya Vardhan Reddy, K. Shyamala	New scoring formula to rank hypervisors' performance complementing with statistical analysis using DOE.	Future Gener. Comput. Syst.	2016	DBLP DOI BibTeX RDF
23	Christian Sieber, Arsany Basta, Andreas Blenk, Wolfgang Kellerer	Online resource mapping for SDN network hypervisors using machine learning.	NetSoft	2016	DBLP DOI BibTeX RDF
23	Sebouh Toumassian, Rico Werner, Axel Sikora	Performance measurements for hypervisors on embedded ARM processors.	ICACCI	2016	DBLP DOI BibTeX RDF
23	Asraa Abdulrazak Ali Mardan, Kenji Kono	Containers or Hypervisors: Which Is Better for Database Consolidation?	CloudCom	2016	DBLP DOI BibTeX RDF
23	Congfeng Jiang, Dongyang Ou, Yumei Wang, Xindong You, Jilin Zhang, Jian Wan 0001, Bing Luo, Weisong Shi	Energy efficiency comparison of hypervisors.	IGSC	2016	DBLP DOI BibTeX RDF
23	Enrico Budianto, Richard Chow, Jonathan Ding, Michael McCool	Language-Based Hypervisors.	CANS	2016	DBLP DOI BibTeX RDF
23	Raymond A. Hansen, Benjamin Peterson, Timothy Becker	Investigating the Security of Nexus 1000V Virtual Switches in VMware ESXi Hypervisors.	RIIT	2016	DBLP DOI BibTeX RDF
23	Andreas Blenk, Arsany Basta, Martin Reisslein, Wolfgang Kellerer	Survey on Network Virtualization Hypervisors for Software Defined Networking.	CoRR	2015	DBLP BibTeX RDF
23	Igor Korkin	Two Challenges of Stealthy Hypervisors Detection: Time Cheating and Data Fluctuations.	CoRR	2015	DBLP BibTeX RDF
23	Igor Korkin	Two Challenges of Stealthy Hypervisors Detection: Time Cheating and Data Fluctuations.	J. Digit. Forensics Secur. Law	2015	DBLP DOI BibTeX RDF
23	P. Vijaya Vardhan Reddy, Lakshmi Rajamani	Recommendation of Hypervisors for System Resources Intensive Application Workloads based on their Performance in the Private Cloud.	Int. J. Next Gener. Comput.	2015	DBLP BibTeX RDF
23	David Beserra, Felipe Oliveira, Jean Araujo 0001, Felipe Fernandes, Alberto Araujo, Patricia Takako Endo, Paulo Romero Martins Maciel, Edward David Moreno	Performance Evaluation of Hypervisors for HPC Applications.	SMC	2015	DBLP DOI BibTeX RDF
23	Roberto Morabito, Jimmy Kjällman, Miika Komu	Hypervisors vs. Lightweight Virtualization: A Performance Comparison.	IC2E	2015	DBLP DOI BibTeX RDF
23	Andrew R. Riddle, Soon M. Chung	A Survey on the Security of Hypervisors in Cloud Computing.	ICDCS Workshops	2015	DBLP DOI BibTeX RDF
23	Hyunchan Park, Cheol-Ho Hong, Younghyun Kim, Seehwan Yoo, Chuck Yoo	Improving I/O performance of Xen hypervisors for solid state drives.	ICCE	2015	DBLP DOI BibTeX RDF
23	Mateusz Guzek, Sébastien Varrette, Valentin Plugaru, Johnatan E. Pecero, Pascal Bouvry	A holistic model of the performance and the energy efficiency of hypervisors in a high-performance computing environment.	Concurr. Comput. Pract. Exp.	2014	DBLP DOI BibTeX RDF
23	Shufeng Huang, James Griffioen, Kenneth L. Calvert	Network Hypervisors: Enhancing SDN Infrastructure.	Comput. Commun.	2014	DBLP DOI BibTeX RDF
23	Ferdinand Brasser, Mihai Bucicoiu, Ahmad-Reza Sadeghi	Swap and Play: Live Updating Hypervisors and Its Application to Xen.	CCSW	2014	DBLP DOI BibTeX RDF
23	Marian Turowski, Alexander Lenk	Vertical Scaling Capability of OpenStack - Survey of Guest Operating Systems, Hypervisors, and the Cloud Management Platform.	ICSOC Workshops	2014	DBLP DOI BibTeX RDF
23	Valentina Timcenko, Borislav Djordjevic, Slavica V. Bostjancic Rakas, Nikola Davidovic	Performance examination of type-2 hypervisors: case of particular database application in a virtual environment.	ISDOC	2014	DBLP DOI BibTeX RDF
23	Mustafa Aydin, Jeremy Jacob	Extending Hypervisor Architecture to Allow One Way Data Transfers from VMs to Hypervisors.	CLOSER	2014	DBLP DOI BibTeX RDF
23	Le Guan, Fengjun Li, Jiwu Jing, Jing Wang, Ziqiang Ma	virtio-ct: A Secure Cryptographic Token Service in Hypervisors.	SecureComm (2)	2014	DBLP DOI BibTeX RDF
23	Rekha Kashyap, Deo Prakash Vidyarthi	Security-Aware Real-Time Scheduling for Hypervisors.	CSE	2014	DBLP DOI BibTeX RDF
23	Bekim Cilku, Bernhard Frömel, Peter P. Puschner	A dual-layer bus arbiter for mixed-criticality systems with hypervisors.	INDIN	2014	DBLP DOI BibTeX RDF
23	Jinho Hwang, Sai Zeng, Frederick Wu, Timothy Wood 0001	A component-based performance comparison of four hypervisors.	IM	2013	DBLP BibTeX RDF
23	Nills Franssens, Jan Broeckhove, Peter Hellinckx	Taxonomy of Real-Time Hypervisors.	3PGCIC	2013	DBLP DOI BibTeX RDF
23	Chiachih Wu, Zhi Wang 0004, Xuxian Jiang	Taming Hosted Hypervisors with (Mostly) Deprivileged Execution.	NDSS	2013	DBLP BibTeX RDF
23	Gordon W. Romney, Bhaskar Raj Sinha, Pradip Peter Dey, Mohammad N. Amin	The agility, flexibility and efficiency of hypervisors in engineering education.	ITHET	2013	DBLP DOI BibTeX RDF
23	Jack Li 0001, Qingyang Wang 0001, Deepal Jayasinghe, Junhee Park, Tao Zhu, Calton Pu	Performance Overhead among Three Hypervisors: An Experimental Study Using Hadoop Benchmarks.	BigData Congress	2013	DBLP DOI BibTeX RDF
23	Shufeng Huang, James Griffioen	Network Hypervisors: Managing the Emerging SDN Chaos.	ICCCN	2013	DBLP DOI BibTeX RDF
23	Manabu Hirano, David W. Chadwick, Suguru Yamaguchi	Use of Role Based Access Control for Security-Purpose Hypervisors.	TrustCom/ISPA/IUCC	2013	DBLP DOI BibTeX RDF
23	Sébastien Varrette, Mateusz Guzek, Valentin Plugaru, Xavier Besseron, Pascal Bouvry	HPC Performance and Energy-Efficiency of Xen, KVM and VMware Hypervisors.	SBAC-PAD	2013	DBLP DOI BibTeX RDF
23	Mateusz Guzek, Sébastien Varrette, Valentin Plugaru, Johnatan E. Pecero, Pascal Bouvry	A Holistic Model of the Performance and the Energy-Efficiency of Hypervisors in an HPC Environment.	EE-LSDS	2013	DBLP DOI BibTeX RDF
23	Yuchao She, Hui Li 0006, Hui Zhu 0001	UVHM: Model Checking Based Formal Analysis Scheme for Hypervisors.	ICT-EurAsia	2013	DBLP DOI BibTeX RDF
23	Sabine Schmaltz	Towards the pervasive formal verification of multi-core operating systems and hypervisors implemented in C.		2013	RDF
23	Sanjay P. Ahuja, Suganya Sridharan	Performance Evaluation of Hypervisors for Cloud Computing.	Int. J. Cloud Appl. Comput.	2012	DBLP DOI BibTeX RDF