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
- DOI:10.1109/spw53761.2021.00011
- 发表时间:2021-05
- 期刊:
- 影响因子:0
- 作者:H. Clausen;David Aspinall
- 通讯作者:H. Clausen;David Aspinall
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
The Cambridge Handbook of Information Technology, Life Sciences and Human Rights
剑桥信息技术、生命科学和人权手册
- DOI:10.1017/9781108775038.018
- 发表时间:2022
- 期刊:
- 影响因子:0
- 作者:Bogani R
- 通讯作者:Bogani R
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops - DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6-9, 2022, Proceedings
计算机安全、可靠性和保密性。
- DOI:10.1007/978-3-031-14862-0_16
- 发表时间:2022
- 期刊:
- 影响因子:0
- 作者:Arnaboldi L
- 通讯作者:Arnaboldi L
{{
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 with Singleton Types
使用单例类型进行子类型化
- DOI:
- 发表时间:
1994 - 期刊:
- 影响因子:0
- 作者:
David Aspinall - 通讯作者:
David Aspinall
POSTER: Weighing in eHealth Security
海报:电子医疗安全的权衡
- DOI:
- 发表时间:
2016 - 期刊:
- 影响因子:0
- 作者:
M. Krämer;David Aspinall;M. Wolters - 通讯作者:
M. Wolters
Towards Formal Proof Script Refactoring
走向形式化证明脚本重构
- DOI:
- 发表时间:
2011 - 期刊:
- 影响因子:0
- 作者:
I. Whiteside;David Aspinall;L. Dixon;G. Grov - 通讯作者:
G. Grov
Capturing Hiproofs in HOL Light
在 HOL Light 中捕捉 Hiproofs
- DOI:
- 发表时间:
2013 - 期刊:
- 影响因子:0
- 作者:
Steven Obua;Mark Adams;David Aspinall - 通讯作者:
David Aspinall
Querying Proofs
查询证明
- DOI:
- 发表时间:
2012 - 期刊:
- 影响因子:0
- 作者:
David Aspinall;E. Denney;Christoph Lüth - 通讯作者:
Christoph Lüth
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
Knowledge-Based Authentication: Evaluating and Improving
基于知识的认证:评估和改进
- 批准号:
EP/G020760/1 - 财政年份:2008
- 资助金额:
$ 85.46万 - 项目类别:
Research Grant
相似国自然基金
联邦学习驱动下成渝地区职业教育AI产教协同的跨区域数据共享机制与培养方案优化要素机理研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
AI驱动药物研发的技术发展趋势及重庆技术创新路径选择战略研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
AI赋能职业教育:“智慧职教”平台教学视频核心知识抽取研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于AI 技术的高校网络舆情监测与治理路径研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
患者安全视角下医疗AI技术对医务人员风险感知的双刃剑机制研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于可穿戴设备与AI动态优化的阿尔茨海默病早期生活方式干预系统研发及效应研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
成渝交通一体化背景下的高速公路智慧管控系统:大数据驱动、AI预警与数智决策
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于AI的光谱-色度耦合动态调控系统技术研究及其在城乡建筑光环境优化中的应用
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
多模态下AI技术融合在教育创新中的应用与关键技术研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于职业教育和产学研协同的低成本专用大模型AI系统研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
相似海外基金
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
AI-powered eVolution towards opEn and secuRe edGe architEctures
人工智能驱动的向开放和安全边缘架构的演进
- 批准号:
10071211 - 财政年份:2023
- 资助金额:
$ 85.46万 - 项目类别:
EU-Funded
Self Hosted LLMs for secure, trustworthy and multilingual customer service AI
自托管法学硕士,提供安全、值得信赖和多语言的客户服务人工智能
- 批准号:
10076992 - 财政年份:2023
- 资助金额:
$ 85.46万 - 项目类别:
Collaborative R&D
VERGE: AI-powered eVolution towards opEn and secuRe edGe architEctures
边缘:人工智能驱动的向开放和安全边缘架构的演进
- 批准号:
10061781 - 财政年份:2023
- 资助金额:
$ 85.46万 - 项目类别:
EU-Funded
TRAMS-Construct - Trustworthy, Responsible AI and ML for construction using aggregated and Secure site data.
TRAMS-Construct - 使用聚合且安全的站点数据进行构建的值得信赖、负责任的 AI 和 ML。
- 批准号:
10067960 - 财政年份:2023
- 资助金额:
$ 85.46万 - 项目类别:
Collaborative R&D
CyberTraining: Implementation: Small: Promoting AI Readiness for Machine-Assisted Secure Data Analysis (PAIR4MASDA)
网络培训:实施:小型:促进人工智能为机器辅助安全数据分析做好准备 (PAIR4MASDA)
- 批准号:
2320951 - 财政年份:2023
- 资助金额:
$ 85.46万 - 项目类别:
Standard Grant
CICI: UCSS: Maximizing Data Utility and Participant Privacy through Usable, Secure Data Workflows for Human-Centered AI Research
CICI:UCSS:通过可用、安全的数据工作流程实现以人为本的人工智能研究,最大限度地提高数据效用和参与者隐私
- 批准号:
2232690 - 财政年份:2023
- 资助金额:
$ 85.46万 - 项目类别:
Standard Grant














{{item.name}}会员




