Academic Centre of Excellence in Cyber Security Research - University of Edinburgh

网络安全研究卓越学术中心 - 爱丁堡大学

基本信息

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

项目摘要

The University of Edinburgh (UoE) has a uniquely diverse set of academics contributing to research in Cyber Security and Privacy, reflecting the breadth of the field. Our work ranges from theoretical concepts of classical and quantum cryptography, logical foundations and verified implementations, through to applied networking technologies and socio-technical security spanning user behaviour and design, law, policy and governance. Our current themes include:1. Cryptography and Distributed Ledger2. Quantum-enhanced Security3. Protocol and Program Verification4. Socio-technical Security5. Secure Future Networks6. Device Security7. Data Science TechniquesThe aims of our Centre of Excellence in Cyber Security Research are:- To provide a Edinburgh University-level hub for the horizontal theme of cyber security and privacy, supporting multidisciplinary investigation- To encourage outreach to end users and public sector and industry, and translational research on new solutions.- To support and disseminate our research among academic channels, and in particular, by connecting and collaborating with other UK Universities.
爱丁堡大学(UOE)拥有一套独特的学者,为网络安全和隐私研究做出了贡献,反映了该领域的广度。我们的工作范围从经典和量子密码学的理论概念,逻辑基础和经过验证的实现到应用的网络技术以及跨越用户行为和设计,法律,政策和治理的社会技术安全性。我们当前的主题包括:1。加密和分布式LEDGER2。量子增强安全性3。协议和程序验证4。社会技术安全5。保护未来网络6。设备安全7。数据科学技术的网络安全研究中心的目标是: - 为爱丁堡大学级别的枢纽提供网络安全和隐私的水平主题,支持多学科研究 - 以鼓励最终用户,公共部门,公共部门和行业,以及在新解决方案上进行新的研究。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

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

{{ 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
Towards Formal Proof Script Refactoring
走向形式化证明脚本重构
  • DOI:
  • 发表时间:
    2011
  • 期刊:
  • 影响因子:
    0
  • 作者:
    I. Whiteside;David Aspinall;L. Dixon;G. Grov
  • 通讯作者:
    G. Grov

David Aspinall的其他文献

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

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

AISEC: AI Secure and Explainable by Construction
AISEC:人工智能通过构建变得安全且可解释
  • 批准号:
    EP/T027037/1
  • 财政年份:
    2020
  • 资助金额:
    $ 10.41万
  • 项目类别:
    Research Grant
Robustness-as-evolvability: building a dynamic control plane with Software-Defined Networking
鲁棒性即进化性:使用软件定义网络构建动态控制平面
  • 批准号:
    EP/L02277X/1
  • 财政年份:
    2015
  • 资助金额:
    $ 10.41万
  • 项目类别:
    Research Grant
App Guarden: Resilient Application Stores
App Guarden:有弹性的应用程序商店
  • 批准号:
    EP/K032666/1
  • 财政年份:
    2013
  • 资助金额:
    $ 10.41万
  • 项目类别:
    Research Grant
Resource Static Analysis
资源静态分析
  • 批准号:
    EP/G006032/1
  • 财政年份:
    2009
  • 资助金额:
    $ 10.41万
  • 项目类别:
    Research Grant
Knowledge-Based Authentication: Evaluating and Improving
基于知识的认证:评估和改进
  • 批准号:
    EP/G020760/1
  • 财政年份:
    2008
  • 资助金额:
    $ 10.41万
  • 项目类别:
    Research Grant

相似国自然基金

Sox9/eIF6通过调控EndMT促进衰老过程中心肌纤维化的机制研究
  • 批准号:
    82301781
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
室温钠硫电池用氮氧化钛载体的d带中心调控与电催化机理研究
  • 批准号:
    52307239
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
可见光驱动铜催化磷、硫中心手性化合物的合成
  • 批准号:
    22371237
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
通往人类智能增强:医疗场景中以人为中心的人智交互设计及其效果研究
  • 批准号:
    72301279
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
中心体蛋白Ccdc159缺失所致无头精子综合症的发病机制研究
  • 批准号:
    82371614
  • 批准年份:
    2023
  • 资助金额:
    49 万元
  • 项目类别:
    面上项目

相似海外基金

Academic Centre of Excellence in Cyber Security Research - De Montfort University
网络安全研究卓越学术中心 - 德蒙福特大学
  • 批准号:
    EP/T009241/1
  • 财政年份:
    2019
  • 资助金额:
    $ 10.41万
  • 项目类别:
    Research Grant
Academic Centre of Excellence in Cyber Security Research - University of Northumbria at Newcastle
网络安全研究卓越学术中心 - 诺森比亚大学纽卡斯尔分校
  • 批准号:
    EP/T009543/1
  • 财政年份:
    2019
  • 资助金额:
    $ 10.41万
  • 项目类别:
    Research Grant
Academic Centre of Excellence in Cyber Security Research - King's College London
网络安全研究卓越学术中心 - 伦敦国王学院
  • 批准号:
    EP/S018972/1
  • 财政年份:
    2018
  • 资助金额:
    $ 10.41万
  • 项目类别:
    Research Grant
Academic Centre of Excellence in Cyber Security Research - University of Kent
网络安全研究卓越学术中心 - 肯特大学
  • 批准号:
    EP/S018964/1
  • 财政年份:
    2018
  • 资助金额:
    $ 10.41万
  • 项目类别:
    Research Grant
Academic Centre of Excellence in Cyber Security Research - Cardiff University
网络安全研究卓越学术中心 - 卡迪夫大学
  • 批准号:
    EP/S018263/1
  • 财政年份:
    2018
  • 资助金额:
    $ 10.41万
  • 项目类别:
    Research Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了