课题基金 / 基金详情

Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)

Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)
安全可靠的高级架构并发编程 (COVERT)
批准号：
EP/X015076/1
负责人：
Mark Batty
金额：
$47.74万
依托单位：
University of Kent
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2023
资助国家：
英国
项目状态：
未结题
起止时间：
2023 至 --
来源：
https://gtr.ukri.org/projects?ref=EP%2FX015076%2F1
关键词：
SafesecureCOncurrentprogrammingadVancEd

项目摘要

项目成果

Mark Batty的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Transparent pointer safety: Rust to Lua to OS Components
  • 批准号：
    EP/X021173/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $63.04万
  • 财政年份：
    2022
  • 负责人：
    Mark Batty
  • 依托单位：
    University of Kent
CapC: Capability C semantics, tools and reasoning
  • 批准号：
    EP/V000470/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $61.82万
  • 财政年份：
    2020
  • 负责人：
    Mark Batty
  • 依托单位：
    University of Kent
Compositional, dependency-aware C++ concurrency
  • 批准号：
    EP/R020566/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $12.59万
  • 财政年份：
    2018
  • 负责人：
    Mark Batty
  • 依托单位：
    University of Kent
国内基金
海外基金
面向MANET的密钥管理关键技术研究
  • 批准号：
    61173188
  • 项目类别：
    面上项目
  • 资助金额：
    52.0万元
  • 批准年份：
    2011
  • 负责人：
    仲红
  • 依托单位：
    安徽大学
混沌保密通信若干基础问题研究
  • 批准号：
    61073187
  • 项目类别：
    面上项目
  • 资助金额：
    11.0万元
  • 批准年份：
    2010
  • 负责人：
    朱从旭
  • 依托单位：
    中南大学
基于安全多方计算的抗强制电子选举协议研究
  • 批准号：
    60773114
  • 项目类别：
    面上项目
  • 资助金额：
    28.0万元
  • 批准年份：
    2007
  • 负责人：
    仲红
  • 依托单位：
    安徽大学