Slashdot Mirror
SRI/Cambridge Opens CHERI Secure Processor Design
An anonymous reader writes with some exciting news from the world of processor design: Robert Watson at Cambridge (author of Capsicum) has written a blog post on SRI/Cambridge's recent open sourcing of the hardware and software for the DARPA-sponsored CHERI processor — including laser cutting directions for an FPGA-based tablet! Described in their paper The CHERI Capability Model: Reducing Risk in an age of RISC, CHERI is a 64-bit RISC processor able to boot and run FreeBSD and open-source applications, but has a Clang/LLVM-managed fine-grained, capability-based memory protection model within each UNIX process. Drawing on ideas from Capsicum, they also support fine-grained in-process sandboxing using capabilities. The conference talk was presented on a CHERI tablet running CheriBSD, with a video of the talk by student Jonathan Woodruff (slides).
Although based on the 64-bit MIPS ISA, the authors suggest that it would also be usable with other RISC ISAs such as RISC-V and ARMv8. The paper compares the approach with several other research approaches and Intel's forthcoming Memory Protection eXtensions (MPX) with favorable performance and stronger protection properties. The processor "source code" (written in Bluespec Verilog) is available under a variant of the Apache license (modified for application to hardware). Update: 07/16 20:53 GMT by U L : If you have any questions about the project, regular Slashdot contributor TheRaven64 is one of the authors of the paper, and is answering questions.
Although based on the 64-bit MIPS ISA, the authors suggest that it would also be usable with other RISC ISAs such as RISC-V and ARMv8. The paper compares the approach with several other research approaches and Intel's forthcoming Memory Protection eXtensions (MPX) with favorable performance and stronger protection properties. The processor "source code" (written in Bluespec Verilog) is available under a variant of the Apache license (modified for application to hardware). Update: 07/16 20:53 GMT by U L : If you have any questions about the project, regular Slashdot contributor TheRaven64 is one of the authors of the paper, and is answering questions.
Dear Members, We are always thinking about buying high quality, established internet businesses and websites. We pay in cash between $50,000 - $5,000,000 (After proper Due Diligence) Fogged headlights we’re looking for: 1. Established Websites We’re looking to buy established websites, not “turnkey” sites. We are looking for an userbase and/or some reputation in the site’s niche. 2. Significant Traffic We have been looking for websites with significant traffic in their sector. GEO USA, UK, Europe, Russia and Australia 3. We like to Websites With premium keyword domains, home-based, relocatable, 100% automatic, E-Commerce, Drop Shipping, Ad Sales, AdSense, Advertising, Affiliate, Amazon, App Sales, ClickBank, Commission Junction, CPA, Dropship, In-App Sales, Infolinks, Sales, Services, Subscription, Logo Maker, PDF Creator, etc. 4. We Are Not Looking to Buy. - Internet sites with no organic search traffic - Grown-up sites “Me too” sites: proxies, arcades, etc. Contact us for additional information and for a free valuation of your business! BizBroker24.com Website Broker and E-Business Mergers & Acquisitions Phone: +1 (786) 350 1560