课题基金 / 基金详情

Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)

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

项目摘要

项目成果

Brijesh Dongol的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(2)
专著(0)
科研奖励(0)
会议论文
Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
验证、模型检查和摘要解释 - 第 25 届国际会议，VMCAI 2024，英国伦敦，2024 年 1 月 15-16 日，会议记录，第二部分
DOI： 10.1007/978-3-031-50521-8_2
发表时间： 2024
期刊：
影响因子： --
作者： [Bodenmüller S]
通讯作者： Bodenmüller S
Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
软件工程和形式化方法 - 第 21 届国际会议，SEFM 2023，荷兰埃因霍温，2023 年 11 月 6-10 日，会议记录
DOI： 10.1007/978-3-031-47115-5_17
发表时间： 2023
期刊：
影响因子： --
作者： [Semenyuk M]
通讯作者： Semenyuk M
SACRED-MA: Safe And seCure REmote Direct Memory Access
  • 批准号：
    EP/X037142/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $59.44万
  • 财政年份：
    2023
  • 负责人：
    Brijesh Dongol
  • 依托单位：
    University of Surrey
Verifiably Correct Swarm Attestation
  • 批准号：
    EP/V038915/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $65.51万
  • 财政年份：
    2021
  • 负责人：
    Brijesh Dongol
  • 依托单位：
    University of Surrey
Verifiably Correct Transactional Memory
  • 批准号：
    EP/R032556/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $50.67万
  • 财政年份：
    2018
  • 负责人：
    Brijesh Dongol
  • 依托单位：
    University of Surrey
Verifiably correct concurrency abstractions
  • 批准号：
    EP/R019045/2
  • 项目类别：
    Research Grant
  • 资助金额：
    $1.15万
  • 财政年份：
    2018
  • 负责人：
    Brijesh Dongol
  • 依托单位：
    University of Surrey
国内基金
海外基金
面向MANET的密钥管理关键技术研究
  • 批准号：
    61173188
  • 项目类别：
    面上项目
  • 资助金额：
    52.0万元
  • 批准年份：
    2011
  • 负责人：
    仲红
  • 依托单位：
    安徽大学
混沌保密通信若干基础问题研究
  • 批准号：
    61073187
  • 项目类别：
    面上项目
  • 资助金额：
    11.0万元
  • 批准年份：
    2010
  • 负责人：
    朱从旭
  • 依托单位：
    中南大学
基于安全多方计算的抗强制电子选举协议研究
  • 批准号：
    60773114
  • 项目类别：
    面上项目
  • 资助金额：
    28.0万元
  • 批准年份：
    2007
  • 负责人：
    仲红
  • 依托单位：
    安徽大学