Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)

安全可靠的高级架构并发编程 (COVERT)

基本信息

  • 批准号:
    EP/X015149/1
  • 负责人:
  • 金额:
    $ 53.13万
  • 依托单位:
  • 依托单位国家:
    英国
  • 项目类别:
    Research Grant
  • 财政年份:
    2023
  • 资助国家:
    英国
  • 起止时间:
    2023 至 无数据
  • 项目状态:
    未结题

项目摘要

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.
目前GtR中并没有所有资助研究的摘要。这通常是因为在提交提案时不需要摘要,但也可能是因为摘要中包含个人详细信息等敏感信息。

项目成果

期刊论文数量(2)
专著数量(0)
科研奖励数量(0)
会议论文数量(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
  • 期刊:
  • 影响因子:
    0
  • 作者:
    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
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Semenyuk M
  • 通讯作者:
    Semenyuk M
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Brijesh Dongol其他文献

What Cannot Be Implemented on Weak Memory?
什么不能在弱内存上实现?
  • DOI:
  • 发表时间:
    2024
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Armando Castaneda;Gregory Chockler;Brijesh Dongol;O. Lahav
  • 通讯作者:
    O. Lahav
Deriving real-time action systems in a sampling logic
在采样逻辑中导出实时动作系统
Progress-based verification and derivation of concurrent programs
基于进度的并发程序验证和推导
  • DOI:
  • 发表时间:
    2009
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Brijesh Dongol
  • 通讯作者:
    Brijesh Dongol
Decidability and complexity for quiescent consistency and its variations
静态一致性及其变化的可判定性和复杂性
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    1
  • 作者:
    Brijesh Dongol;R. Hierons
  • 通讯作者:
    R. Hierons
Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation
强化安全性和进度属性:并发程序推导的方法

Brijesh Dongol的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Brijesh Dongol', 18)}}的其他基金

SACRED-MA: Safe And seCure REmote Direct Memory Access
SACRED-MA:安全可靠的远程直接内存访问
  • 批准号:
    EP/X037142/1
  • 财政年份:
    2023
  • 资助金额:
    $ 53.13万
  • 项目类别:
    Research Grant
Verifiably Correct Swarm Attestation
可验证正确的群体证明
  • 批准号:
    EP/V038915/1
  • 财政年份:
    2021
  • 资助金额:
    $ 53.13万
  • 项目类别:
    Research Grant
Verifiably Correct Transactional Memory
可验证正确的事务内存
  • 批准号:
    EP/R032556/1
  • 财政年份:
    2018
  • 资助金额:
    $ 53.13万
  • 项目类别:
    Research Grant
Verifiably correct concurrency abstractions
可验证正确的并发抽象
  • 批准号:
    EP/R019045/2
  • 财政年份:
    2018
  • 资助金额:
    $ 53.13万
  • 项目类别:
    Research Grant
Verifiably correct concurrency abstractions
可验证正确的并发抽象
  • 批准号:
    EP/R019045/1
  • 财政年份:
    2017
  • 资助金额:
    $ 53.13万
  • 项目类别:
    Research Grant
Verifiably correct high-performance concurrency libraries for multi-core computing systems
可验证正确的多核计算系统高性能并发库
  • 批准号:
    EP/N016661/1
  • 财政年份:
    2016
  • 资助金额:
    $ 53.13万
  • 项目类别:
    Research Grant

相似国自然基金

面向MANET的密钥管理关键技术研究
  • 批准号:
    61173188
  • 批准年份:
    2011
  • 资助金额:
    52.0 万元
  • 项目类别:
    面上项目
混沌保密通信若干基础问题研究
  • 批准号:
    61073187
  • 批准年份:
    2010
  • 资助金额:
    11.0 万元
  • 项目类别:
    面上项目
基于安全多方计算的抗强制电子选举协议研究
  • 批准号:
    60773114
  • 批准年份:
    2007
  • 资助金额:
    28.0 万元
  • 项目类别:
    面上项目

相似海外基金

SAFER - Secure Foundations: Verified Systems Software Above Full-Scale Integrated Semantics
SAFER - 安全基础:高于全面集成语义的经过验证的系统软件
  • 批准号:
    EP/Y035976/1
  • 财政年份:
    2024
  • 资助金额:
    $ 53.13万
  • 项目类别:
    Research Grant
CAREER: Secure Miniaturized Bio-Electronic Sensors for Real-Time In-Body Monitoring
职业:用于实时体内监测的安全微型生物电子传感器
  • 批准号:
    2338792
  • 财政年份:
    2024
  • 资助金额:
    $ 53.13万
  • 项目类别:
    Continuing Grant
Collaborative Research: Learning for Safe and Secure Operation of Grid-Edge Resources
协作研究:学习电网边缘资源的安全可靠运行
  • 批准号:
    2330154
  • 财政年份:
    2024
  • 资助金额:
    $ 53.13万
  • 项目类别:
    Standard Grant
Collaborative Research: Conference: 2024 Aspiring PIs in Secure and Trustworthy Cyberspace
协作研究:会议:2024 年安全可信网络空间中的有抱负的 PI
  • 批准号:
    2404952
  • 财政年份:
    2024
  • 资助金额:
    $ 53.13万
  • 项目类别:
    Standard Grant
CAREER: Understanding and Ensuring Secure-by-design Microarchitecture in Modern Era of Computing
职业:理解并确保现代计算时代的安全设计微架构
  • 批准号:
    2340777
  • 财政年份:
    2024
  • 资助金额:
    $ 53.13万
  • 项目类别:
    Continuing Grant
I-Corps: Translation Potential of a Secure Data Platform Empowering Artificial Intelligence Assisted Digital Pathology
I-Corps:安全数据平台的翻译潜力,赋能人工智能辅助数字病理学
  • 批准号:
    2409130
  • 财政年份:
    2024
  • 资助金额:
    $ 53.13万
  • 项目类别:
    Standard Grant
REU Site: Embracing Blockchain for a Secure and Trustworthy Tomorrow
REU 网站:拥抱区块链,打造安全可信的明天
  • 批准号:
    2349042
  • 财政年份:
    2024
  • 资助金额:
    $ 53.13万
  • 项目类别:
    Standard Grant
Secure Cloud Computing from Cryptography:The Rise of Pragmatic Cryptography
从密码学中保护云计算:实用密码学的兴起
  • 批准号:
    FL230100033
  • 财政年份:
    2024
  • 资助金额:
    $ 53.13万
  • 项目类别:
    Australian Laureate Fellowships
Hardware Security Module for secure delegated Quantum Cloud Computing
用于安全委托量子云计算的硬件安全模块
  • 批准号:
    EP/Z000564/1
  • 财政年份:
    2024
  • 资助金额:
    $ 53.13万
  • 项目类别:
    Research Grant
Secure Management of Internet of Things Data for Critical Surveillance
关键监控物联网数据的安全管理
  • 批准号:
    LP230100276
  • 财政年份:
    2024
  • 资助金额:
    $ 53.13万
  • 项目类别:
    Linkage Projects
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了