AISEC: AI Secure and Explainable by Construction

AISEC:人工智能通过构建变得安全且可解释

基本信息

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

项目摘要

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目前尚未用于所有资助研究的摘要。这通常是因为提交提案时不需要摘要,但可能是因为它包含了敏感信息,例如个人详细信息。

项目成果

期刊论文数量(9)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Computer Security - ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part III
计算机安全 - ESORICS 2023 - 第 28 届欧洲计算机安全研究研讨会,荷兰海牙,2023 年 9 月 25-29 日,会议记录,第三部分
  • DOI:
    10.1007/978-3-031-51479-1_23
  • 发表时间:
    2024
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Arnaboldi L
  • 通讯作者:
    Arnaboldi L
Examining traffic microstructures to improve model development
CBAM: A Contextual Model for Network Anomaly Detection
  • DOI:
    10.3390/computers10060079
  • 发表时间:
    2021-06
  • 期刊:
  • 影响因子:
    0
  • 作者:
    H. Clausen;G. Grov;David Aspinall
  • 通讯作者:
    H. Clausen;G. Grov;David Aspinall
Checking Contact Tracing App Implementations
检查接触者追踪应用程序的实施情况
  • DOI:
    10.5220/0010237201330144
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Aspinall D
  • 通讯作者:
    Aspinall D
Security and Privacy in Communication Networks - 17th EAI International Conference, SecureComm 2021, Virtual Event, September 6-9, 2021, Proceedings, Part I
通信网络中的安全和隐私 - 第 17 届 EAI 国际会议,SecureComm 2021,虚拟活动,2021 年 9 月 6-9 日,会议记录,第一部分
  • DOI:
    10.1007/978-3-030-90019-9_23
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Clausen H
  • 通讯作者:
    Clausen H
{{ 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 }}

David Aspinall其他文献

Subtyping dependent types
子类型化依赖类型
Privacy and Identity Management. Time for a Revolution?
隐私和身份管理。
  • DOI:
    10.1007/978-3-319-41763-9
  • 发表时间:
    2016
  • 期刊:
  • 影响因子:
    0
  • 作者:
    David Aspinall;J. Camenisch;M. Hansen;S. Fischer;C. Raab
  • 通讯作者:
    C. Raab
Querying Proofs
查询证明
Formalising oblivious transfer in the semi-honest and malicious model in CryptHOL
在 CryptHOL 中形式化半诚实和恶意模型中的不经意传输
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    D. Butler;David Aspinall;Adrià Gascón
  • 通讯作者:
    Adrià Gascón
Capturing Hiproofs in HOL Light
在 HOL Light 中捕捉 Hiproofs
  • DOI:
  • 发表时间:
    2013
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Steven Obua;Mark Adams;David Aspinall
  • 通讯作者:
    David Aspinall

David Aspinall的其他文献

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

{{ truncateString('David Aspinall', 18)}}的其他基金

Academic Centre of Excellence in Cyber Security Research - University of Edinburgh
网络安全研究卓越学术中心 - 爱丁堡大学
  • 批准号:
    EP/R007144/1
  • 财政年份:
    2017
  • 资助金额:
    $ 85.46万
  • 项目类别:
    Research Grant
Robustness-as-evolvability: building a dynamic control plane with Software-Defined Networking
鲁棒性即进化性:使用软件定义网络构建动态控制平面
  • 批准号:
    EP/L02277X/1
  • 财政年份:
    2015
  • 资助金额:
    $ 85.46万
  • 项目类别:
    Research Grant
App Guarden: Resilient Application Stores
App Guarden:有弹性的应用程序商店
  • 批准号:
    EP/K032666/1
  • 财政年份:
    2013
  • 资助金额:
    $ 85.46万
  • 项目类别:
    Research Grant
Resource Static Analysis
资源静态分析
  • 批准号:
    EP/G006032/1
  • 财政年份:
    2009
  • 资助金额:
    $ 85.46万
  • 项目类别:
    Research Grant
Knowledge-Based Authentication: Evaluating and Improving
基于知识的认证:评估和改进
  • 批准号:
    EP/G020760/1
  • 财政年份:
    2008
  • 资助金额:
    $ 85.46万
  • 项目类别:
    Research Grant

相似国自然基金

基于人工智能和多源大数据聚合的食品安全风险评估预警新技术
  • 批准号:
    22374149
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
面向智能电网用户侧的智能优化调度和人工智能算法安全研究
  • 批准号:
    62373297
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
工作替代还是工作转型?人工智能背景下的技术型工作不安全感研究
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
工作替代还是工作转型?人工智能背景下的技术型工作不安全感研究
  • 批准号:
    72202083
  • 批准年份:
    2022
  • 资助金额:
    30.00 万元
  • 项目类别:
    青年科学基金项目
基于人工智能算法的复杂电网广域安全分析及深度应用研究
  • 批准号:
    52177106
  • 批准年份:
    2021
  • 资助金额:
    58.00 万元
  • 项目类别:
    面上项目

相似海外基金

倫理的で安全な対話型生成AIの活用に向けた看護実践ガイドラインの提案
关于使用道德和安全的交互式生成人工智能的护理实践指南的提案
  • 批准号:
    24K13605
  • 财政年份:
    2024
  • 资助金额:
    $ 85.46万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
AI-Based Real-Time Fraudulent and Suspicious Activity Detection on Secure Software-Defined Wireless Networks
安全软件定义无线网络上基于人工智能的实时欺诈和可疑活动检测
  • 批准号:
    10076403
  • 财政年份:
    2023
  • 资助金额:
    $ 85.46万
  • 项目类别:
    Grant for R&D
Education DCL: EAGER: Advancing Secure Coding Education: Empowering Students to Safely Utilize AI-powered Coding Assistant Tools
教育 DCL:EAGER:推进安全编码教育:使学生能够安全地利用人工智能驱动的编码辅助工具
  • 批准号:
    2335798
  • 财政年份:
    2023
  • 资助金额:
    $ 85.46万
  • 项目类别:
    Standard Grant
CRII: CNS: Secure Decentralized AI in Heterogeneous IoT Networks: Foundation and Application
CRII:CNS:异构物联网网络中的安全去中心化人工智能:基础与应用
  • 批准号:
    2245933
  • 财政年份:
    2023
  • 资助金额:
    $ 85.46万
  • 项目类别:
    Standard Grant
EAGER: SaTC: Sweaty Digits: Bridging Chemistry and AI-Empowered Imaging for Secure and Trustworthy Human Identity Verification
EAGER:SaTC:汗水数字:桥接化学和人工智能成像,实现安全可信的人类身份验证
  • 批准号:
    2330240
  • 财政年份:
    2023
  • 资助金额:
    $ 85.46万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了