Chaki - PDFSEARCH.IO - Document Search Engine

Chaki
Results: 27

#	Item
11	Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework* Amit Vasudevan∗, Sagar Chaki† , Limin Jia∗ , Jonathan McCune‡ , James Newsome§ and Anupam Datta∗ ∗ CyLab, Carnegie M Add to Reading List Source URL: www.netsec.ethz.ch Language: English - Date: 2015-06-01 09:06:14 Computing Software System software Hardware virtualization Hypervisor X86 virtualization Hyper-V Xen Protection ring VMware Virtualization Direct memory access
12	Parametric Verification of Address Space Separation Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan Carnegie Mellon University Abstract. The address translation subsystem of operating system Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-02-12 12:31:57
13	Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size Jason Franklin, Sagar Chaki, Anupam Datta Carnegie Mellon University Pittsburgh, PA Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-02-12 12:31:57
14	Parametric Verification of Address Space Separation Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan Carnegie Mellon University Abstract. The address translation subsystem of operating system Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-02-12 12:31:56
15	ASPIER: An Automated Framework for Verifying Security Protocol Implementations Sagar Chaki Software Engineering Institute Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-02-12 12:31:57
16	Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework* Amit Vasudevan∗, Sagar Chaki† , Limin Jia∗ , Jonathan McCune‡ , James Newsome§ and Anupam Datta∗ ∗ CyLab, Carnegie M Add to Reading List Source URL: hypcode.org Language: English - Date: 2013-04-12 11:33:10
17	Provenance-Aware Sensor Data Storage Jonathan Ledlie, Chaki Ng, David A. Holland, Kiran-Kumar Muniswamy-Reddy, Uri Braun, Margo Seltzer Division of Engineering and Applied Science Harvard University, Cambridge, MA pass@e Add to Reading List Source URL: infolab.usc.edu Language: English - Date: 2009-11-05 01:09:57
18	2013 IEEE Symposium on Security and Privacy Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework* Amit Vasudevan∗, Sagar Chaki† , Limin Jia∗ , Jonathan McCune‡ , James Newsom Add to Reading List Source URL: www.ieee-security.org - Date: 2013-04-05 19:56:45
19	2013 IEEE Symposium on Security and Privacy Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework* Amit Vasudevan∗, Sagar Chaki† , Limin Jia∗ , Jonathan McCune‡ , James Newsom Add to Reading List Source URL: ieee-security.org Language: English - Date: 2013-04-05 19:56:45
20	Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework* Amit Vasudevan∗, Sagar Chaki† , Limin Jia∗ , Jonathan McCune‡ , James Newsome§ and Anupam Datta∗ ∗ CyLab, Carnegie M Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-04-22 06:08:46 Hardware virtualization Hypervisor X86 virtualization Hyper-V Ring Hardware-assisted virtualization VMware Direct memory access Xen System software Software Virtual machines

UPDATE