CHERI C Converter

奇瑞C转换器

• 批准号: 10068075
• 金额: $ 6.37万
• 依托单位: PROTECTBOX LTD
• 依托单位国家: 英国
• 项目类别: Collaborative R&D
• 财政年份: 2023
• 资助国家: 英国
• 起止时间: 2023 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=10068075
• 关键词: CHERI; Converter

70% of operating system vulnerabilities are due to memory safety issues _(Microsoft_ _2019)_ because the popular 50-year old programming languages C/C++ offer low-level memory access. Plus features such as pointers, increase risk of mistakes causing bugs/vulnerabilities, resulting in cyberattack (_Google Blog_ _2021)._ Half of memory safety issues are _use-after-free_ bugs (_Google's_ _Chromium,2022)._ Legacy of code reuse means that many major operating systems/applications are in these languages.By introducing _memory protection_ and _compartmentalisation_ Digital Security by Design (DSbD) technologies address the above challenges _(US National Security Agency (NSA), 2022)_Comparison website and marketplace ProtectBox quickly and smartly (using AI) assesses a buyer's cybersecurity risk position online then lets the buyer improve it, using personalised, discounted bundles of solutions risk-fitted to their office/home. Along with sustainability ratings and offsetting/removing carbon impact of security purchased that go beyond just treeplanting. Voice recognition, compatibility with Braille, hearing aids, Alexa etc being added in next (Inclusive Innovation) Grant starting in April 2023.Presenting an opportunity to adapt ProtectBox's decision-making AI/ML (a Knowledge Representation & Reasoning (KRR) system built around neural networks) to convert legacy C code to CHERI C with little to no manual modifications directly to the code by the developer. Catching Morello-specific exceptions a normal C-compiler wouldn't be able to get, making our AI/ML more trustworthy.Societal impacts include carbon savings (by halving 3.7% of global GHG emissions, saving 1% of UK GDP/year _(Accenture/Microsoft)_); route to NetZero for software providers, achieving government targets (UK government's National AI Strategy & Government Innovation Strategy (Pillar 4); COVID Recovery Strategy and Ten Point Plan for a Green Industrial Revolution; EU Horizon challenges; UK's Industrial Strategy Challenge Fund (ISCF) challenges and 5 UN Sustainable Development Goals (SDGs)) and increased (88% _(Impact Reporting 2021)_) business opportunities/revenues for clients.Winner of 12 Awards, incl SmallBiz100 2022; CogX 2020's Best AI in Cybersecurity; 2022-2018's Most Influential Women in UK Technology longlists & 2017 Wired Security's Start-Up showcase.Finalist in 40+ other Awards including a nomination for the prestigious Earthshot Prize (launched by the Prince and Princess of Wales) and picked as a UK government \#TogetherForOurPlanet Business Climate Leader and members of The Climate Pledge/UN's Race to Zero, TechZero taskforce and UK government's SME Climate Commitment. Showcased as Northern Ireland case study for the Department for International Trade's CPTPP and UK-India Free Trade Agreement (FTA) negotiations.

70％的操作系统漏洞是由于内存安全问题_（Microsoft_ _2019）_ _，因为流行的50年历史的编程语言C/C ++提供了低级内存访问。加上诸如指数之类的功能，增加导致错误/脆弱性的错误的风险，导致网络攻击（_google blog _ _2021）。__一半的记忆安全问题是_使用_- google's _ google's _ _ _ _ _ chromium，2022）。 _compartmentAlisation_设计（DSBD）技术的数字安全性解决了上述挑战_（美国国家安全局（NSA），2022年）_CompareSonal网站和市场保护箱快速，智能（使用AI）评估买方的网络安全风险位置，然后在线使用个性化的投资者，可以在线使用个性化的固定性，折扣价为折扣金额。除了可持续性评级和抵消/消除购买安全性的碳影响力外，这不仅仅是缩水。从2022年4月开始，在下一步（包容性创新）赠款中添加语音识别，与盲文，助听器，Alexa等的兼容性。展示了一个机会，以适应Protectbox的决策AI/ML（知识代表与推理（KRR）系统围绕神经网络构建的知识表示与推理（KRR），以将遗产C代码转换为无需将遗产的codes转换为无需手动模式的代码。捕获普通的C型补充商无法获得的莫雷洛（Morello）特异性例外，使我们的AI/ML更具值得信赖的影响包括碳储蓄（通过将3.7％的全球温室气体排放量减半，节省了英国GDP/年的1％（Accenture/Microsoft/Microsoft/Microsoft）_）_）；达到Netzero的软件提供商的途径，实现政府目标（英国政府的国家AI战略与政府创新策略（Pillar 4）； Covid恢复策略和绿色工业革命的十点计划； EU Horizo​​n挑战；英国工业战略挑战基金（ISCF）挑战（ISCF）挑战和5个不可持续发展目标（SDGS），并提高了2021 _（88％_> 20211）（88％_（效果）_（88％_）客户。获得12个奖项的Winner，包括Smallbiz100 2022； COGX 2020的网络安全最佳AI； 2022-2018's Most Influential Women in UK Technology longlists & 2017 Wired Security's Start-Up showcase.Finalist in 40+ other Awards including a nomination for the prestigious Earthshot Prize (launched by the Prince and Princess of Wales) and picked as a UK government \#TogetherForOurPlanet Business Climate Leader and members of The Climate Pledge/UN's Race to Zero, TechZero taskforce and UK government's SME气候承诺。作为国际贸易部CPTPP和英国 - 印度自由贸易协定（FTA）谈判的北爱尔兰案例研究。