Digital Security by Design (DSbD)

Last Friday, the Wikipedia article on #CHERI was published! https://lnkd.in/drtFDTnh

📢 UKRI's Challenge Director of the Digital Security by Design (DSbD) Programme, Professor John Goodacre is presenting at the HiPEAC 2025 Conference in Barcelona, Spain and sharing an update on the impact and evidenced benefits of how the #CHERI Software Architecture is helping create a more secure and resilient digital future. The HiPEAC 2025 conference provides the opportunity to network with key global decision makers and experts at the forefront of computing systems research and fellow industry specialists. #DSbD are also exhibiting and showcasing if you are in attendance do please call by Stand 13 in the BCN Congress for an introduction or catchup via https://bit.ly/3Cw5gaK for further information on how #CHERI is transforming technology to create a more resilient and secure foundation or learn how to play your part in shaping a safer digital future for businesses and society alike. #HiPEAC2025 #MemorySafety #CyberSecurity #HardwareSecurity https://lnkd.in/dT43w3TS UK Research and Innovation Innovate UK Department for Science, Innovation and Technology Department for Business and Trade Arm Google AMD University of Cambridge Department of Computer Science and Technology lowRISC CIC Codasip National Cyber Security Centre CHERI Alliance SCI Semiconductor

Exciting Opportunity: Applications Open for CyberASAP Cohort 9! https://zurl.co/7QKhL UK academics can now apply for a share of up to £800,000 to join the Cyber Security Academic Startup Accelerator Programme (CyberASAP). This prestigious program supports innovative cyber security research and commercialisation. Please share this opportunity with: 📌 Academics working in cyber security at UK universities 📌 University commercialisation offices 📌 Your broader cyber security network Key Details: 🔹 Applications open: Monday, 20th January 🔹 Deadline: Wednesday, 12th February at 11:00 🔹 Mandatory Online Briefing: Tuesday, 21st January at 14:30 (via Zoom) Don’t miss the chance to learn more! Registration for the briefing is required via the Dates tab on the competition page. https://zurl.co/rJOcY For questions, contact the CyberASAP team at Innovate UK Business Connect: cyberasap@iukbc.org.uk #CyberSecurity #Innovation #CyberASAP #ResearchFunding #UKAcademics

📢 If you are attending the forthcoming State of Open Conference 2025 on the 4th & 5th February in London, you can hear Nuala Kilmartin, from UKRI's Digital Security by Design (DSbD) update on the Programme impact and evidenced benefits of the #CHERI Software Architecture and share more on the celebratory #DSbD Showcase on the 11th February and also open Innovate UK opportunities across the Digital and Technology Domain. Attending the State of Open Conference 2025 (SOOCon25) offers a unique opportunity to immerse yourself in the forefront of open technology. You can avail of the opportunity to engage with global experts and world-class speakers from various open tech disciplines, including open source software, hardware, data, standards, and AI. You can engage in discussions that intersect engineering, business, law, policy, and community. #Stateofopencon #SOOCON25 UK Research and Innovation Innovate UK University of Cambridge Department of Computer Science and Technology OpenUK Google Microsoft lowRISC CIC Digital Catapult National Cyber Security Centre Department for Science, Innovation and Technology

⏳ We are excited to announce that general registration is now open for the “UK’s Digital Security by Design Showcase 2025” ! At the Digital Security by Design Showcase, you can explore cutting-edge cyber security solutions from innovative businesses that are transforming the landscape of digital security and delivering strategies to reduce the economic impact of cyber breaches. This showcase offers an unparalleled opportunity to engage with organisations at the heart of the UK Government’s Digital Security by Design Programme, discover ground breaking technologies such as CHERI, and be part of shaping a safer digital future for businesses and society alike. This showcase will be held on Tuesday 11th February in Westminster, London.    The exhibition hall will open for showcase exhibitors from 2pm and for delegates from 4pm, with a Ministerial Address and other addresses starting at 5.00pm, followed by drinks and canapés with continued networking and exhibits until 7.00pm.   UK Research and Innovation and the supporters of this showcase encourage you to register your interest to attend this in person event via https://bit.ly/3PuRyrH Please note, delegate places are limited, so you are advised to register asap to secure your place.   This event is delivered by the UKRI Digital Security by Design programme and ecosystem :- UK Research and Innovation Innovate UK ESRC: Economic and Social Research Council EPSRC Discribe Hub Digital Security by Design (DSbD) and in partnership with:- AESIN, Arm, BT Group, CHERI Alliance, Digital Catapult, Ericsson Telecommunications Inc., GE Aerospace, Google Research, HP, IoT Security Foundation, Microsoft, Rolls-Royce, TechWorks THG, Thales, Department for Science, Innovation and Technology, Dstl, National Cyber Security Centre   🔈 To note, this showcase is open to senior stakeholders with an interest in protecting the integrity and resilience of more secure digital products and services, therefore if you wish to forward this invitation, please do so.

In safety-critical systems, memory safety is non-negotiable. Our latest blog by Paul Butcher explores how CHERI (Capability Hardware Enhanced RISC Instructions) enhances safety by design, preventing common memory vulnerabilities at the hardware level. Learn how CHERI integrates with Ada and SPARK to build secure, reliable systems for critical applications. How do you see hardware-enforced memory safety shaping the future of critical systems? Let us know in the comments!

🔊 If you have not already had the chance to read the latest blog from Paul Butcher, UK Programme Manager and Head of Dynamic Analysis at AdaCore; you can catch it here on the Digital Security by Design (DSbD) News Page ! This blog - "Building Safety by Design: CHERI in Critical Systems Development" from Adacore, explores how #CHERI (Capability Hardware Enhanced RISC Instructions) enhances safety-critical system security by preventing memory safety issues and supporting secure exception handling. It discusses integrating CHERI with Ada runtimes to ensure fault tolerance and adherence to high-assurance standards like DO-178C, emphasizing proactive cybersecurity strategies for systems such as aerospace applications. The concept of "Secure by Default" is critical, as emphasized in the article, for ensuring that systems are inherently resilient to vulnerabilities. By integrating security mechanisms like #CHERI into hardware and software from the outset, the risk of memory safety issues and exploitable flaws is significantly reduced. This approach minimizes the reliance on external safeguards, making safety-critical systems, such as those in aerospace, both robust and compliant with rigorous standards. This proactive strategy aligns with modern cybersecurity needs for high-assurance environments. The paper mentioned in this blog, titled "Security by Default - CHERI ISA Extensions Coupled with a Security-Enhanced Ada Runtime" (and published in the ERTS 2024 journal) can be found here: 👉 https://bit.ly/3DpNw19 #MemorySaftety #Resilience #SecureByDesign #SecureByDefault https://lnkd.in/eaqgG-n2 Department for Science, Innovation and Technology University of Cambridge Department of Computer Science and Technology AdaCore techUK Cyber Exchange UK UKC3 - UK Cyber Cluster Collaboration Digital Catapult

We are pleased to inform you that the recordings of all the talks and presentations are now available online from the 'Cybersecurity by design - from research to industry' conference organised by the CHERI Alliance on the12th November 2024. 👉 https://lnkd.in/eVrCXJZg

🔊 We are delighted to see the Digital Security by Design (DSbD) #CHERI messaging broadening and read up on the following two articles showcasing how #CHERI enhances safety-critical systems by catching memory-safety errors early and how CHERI and the #DSbD narrative are driving hardware-level security innovation and the call to prioritize security over cost and convenience. 📢 CHERI Myths: CHERI is incompatible with safety-critical systems by David Chisnall 👉 https://bit.ly/4feATDp 📢 Vulnerable by Design: The Grimshaw vs. Ford Motor Co. Morality Argument for Computing by Sherlock di Schiavi 👉 https://bit.ly/3OPNC4E UK Research and Innovation Innovate UK Department for Science, Innovation and Technology University of Cambridge Department of Computer Science and Technology Arm SCI Semiconductor Digital Catapult UKC3 - UK Cyber Cluster Collaboration techUK Cyber Exchange UK National Cyber Security Centre

The recorded sessions from the ‘Cybersecurity by Design – from Research to Industry’ conference are now available at the CHERI Alliance YouTube channel: https://lnkd.in/dNceT-Qn