NDLI: Cheri: a research platform deconflating hardware virtualization and protection.

Please wait, while we are loading the content...

Cheri: a research platform deconflating hardware virtualization and protection.

Content Provider	CiteSeerX
Author	Watson, Robert N. M. Neumann, Peter G. Woodruff, Jonathan Anderson, Jonathan Anderson, Ross Dave, Nirav Laurie, Ben Moore, Simon W. Murdoch, Steven J. Paeps, Philip Roe, Michael Saidi, Hassen
Abstract	Contemporary CPU architectures conflate virtualization and protection, imposing virtualization-related performance, programmability, and debuggability penalties on software requiring finegrained protection. First observed in micro-kernel research, these problems are increasingly apparent in recent attempts to mitigate software vulnerabilities through application compartmentalisation. Capability Hardware Enhanced RISC Instructions (CHERI) extend RISC ISAs to support greater software compartmentalisation. CHERI’s hybrid capability model provides fine-grained compartmentalisation within address spaces while maintaining software backward compatibility, which will allow the incremental deployment of fine-grained compartmentalisation in both our most trusted and least trustworthy C-language software stacks. We have implemented a 64-bit MIPS research soft core, BERI, as well as a capability coprocessor, and begun adapting commodity software packages (FreeBSD and Chromium) to execute on the platform. 1.
File Format	PDF
Access Restriction	Open
Subject Keyword	Hardware Virtualization Research Platform Fine-grained Compartmentalisation Recent Attempt Software Vulnerability Commodity Software Package Software Compartmentalisation Cheri Hybrid Capability Model Contemporary Cpu Architecture Risc Isas Micro-kernel Research Virtualization-related Performance Capability Coprocessor 64-bit Mips Research Soft Core Debuggability Penalty Incremental Deployment Application Compartmentalisation Trustworthy C-language Software Stack Capability Hardware Enhanced Risc Instruction Software Backward Compatibility Address Space
Content Type	Text

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in