刷新
Safer Smart Contracts: Using Formal Verification and Programming Languages Techniques to Audit Smart Contracts.
更安全的智能合约：使用形式验证和编程语言技术来审计智能合约。
基本信息
- 批准号：568065-2022
- 负责人：
- 金额：$ 3.28万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Postdoctoral Fellowships
- 财政年份：2022
- 资助国家：加拿大
- 起止时间：2022-01-01 至 2023-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Formal Verification, Programming Languages, Program Synthesis, Software Engineering, Distributed Systems, Smart Contracts, Blockchain, Program Analysis, Concurrency, Formal Methods
正式验证，编程语言，程序合成，软件工程，分布式系统，智能合约，区块链，程序分析，并发，正式方法
项目成果
期刊论文数量（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 }}
Beillahi, SidiMohamedBSM其他文献
Beillahi, SidiMohamedBSM的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似国自然基金
基于“活性-代谢组-基因组-SMART”整合策略发掘老鼠簕内生放线菌新型先导化合物
- 批准号：82360696
- 批准年份：2023
- 资助金额：32 万元
- 项目类别：地区科学基金项目
特定微环境激活的mRNA翻译(SMART)系统的设计及其免疫治疗应用研究
- 批准号：22307121
- 批准年份：2023
- 资助金额：30.00 万元
- 项目类别：青年科学基金项目
基于ANDSystem与多组学的水稻和小麦胁迫响应分子调控网络及智能作物平台（Smart Crop）的构建
- 批准号：
- 批准年份：2022
- 资助金额：105 万元
- 项目类别：
基于“溶出-吸收-代谢”介导及“成分—菌群—内源性代谢物”关联网络研究聪明汤治疗阿尔兹海默症的药效物质及配伍机制
- 批准号：82274062
- 批准年份：2022
- 资助金额：52 万元
- 项目类别：面上项目
基于SMART设计建立中医药随机对照试验“随证施治”决策模型的研究
- 批准号：
- 批准年份：2020
- 资助金额：52 万元
- 项目类别：面上项目
相似海外基金
Secure Smart Contracts with Isabelle/Solidity
使用 Isabelle/Solidity 保护智能合约
- 批准号：
EP/X027619/1 - 财政年份：2024
- 资助金额：
$ 3.28万 - 项目类别：
Research Grant
CRII: SaTC: Discerning the Upgradeability of Smart Contracts in Blockchains From a Security Perspective
CRII：SaTC：从安全角度辨别区块链智能合约的可升级性
- 批准号：
2245627 - 财政年份：2023
- 资助金额：
$ 3.28万 - 项目类别：
Standard Grant
An innovative platform to reduce the risk of cyber attacks on smart contracts for all blockchains by minimising human effort and improving the efficacy of security testing.
一个创新平台，通过最大限度地减少人力并提高安全测试的效率，降低所有区块链智能合约遭受网络攻击的风险。
- 批准号：
10047308 - 财政年份：2023
- 资助金额：
$ 3.28万 - 项目类别：
Collaborative R&D
Remote sensing and smart contracts for biodiversity data
生物多样性数据的遥感和智能合约
- 批准号：
10030674 - 财政年份：2023
- 资助金额：
$ 3.28万 - 项目类别：
Collaborative R&D
Distributed Optimization in Residential Power Grids for Real-Time Energy Management Using Blockchain Based Smart Contracts
使用基于区块链的智能合约对住宅电网进行分布式优化，实现实时能源管理
- 批准号：
RGPIN-2019-04632 - 财政年份：2022
- 资助金额：
$ 3.28万 - 项目类别：
Discovery Grants Program - Individual