课题基金 / 基金详情

Safer Smart Contracts: Using Formal Verification and Programming Languages Techniques to Audit Smart Contracts.

Safer Smart Contracts: Using Formal Verification and Programming Languages Techniques to Audit Smart Contracts.
更安全的智能合约：使用形式验证和编程语言技术来审计智能合约。
批准号：
568065-2022
负责人：
Beillahi, SidiMohamedBSM
金额：
$3.28万
依托单位：
University of Toronto
依托单位国家：
加拿大
项目类别：
Postdoctoral Fellowships
财政年份：
2022
资助国家：
加拿大
项目状态：
已结题
起止时间：
2022-01-01 至 2023-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=749972
关键词：
SaferSmartContractsUsingFormal

项目摘要

项目成果

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Formal Verification, Programming Languages, Program Synthesis, Software Engineering, Distributed Systems, Smart Contracts, Blockchain, Program Analysis, Concurrency, Formal Methods
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
国内基金
海外基金
基于SMART技术的鳄梨叶中诱导肿瘤细胞铁死亡的先导化合物的定 向挖掘
基于“活性-代谢组-基因组-SMART”整合策略发掘老鼠簕内生放线菌新型先导化合物
  • 批准号：
    82360696
  • 项目类别：
    地区科学基金项目
  • 资助金额：
    32万元
  • 批准年份：
    2023
  • 负责人：
    卢覃培
  • 依托单位：
    广西医科大学
特定微环境激活的mRNA翻译(SMART)系统的设计及其免疫治疗应用研究
基于ANDSystem与多组学的水稻和小麦胁迫响应分子调控网络及智能作物平台（Smart Crop）的构建
  • 批准号：
    --
  • 项目类别：
    --
  • 资助金额：
    105万元
  • 批准年份：
    2022
  • 负责人：
    陈铭
  • 依托单位：
    浙江大学