刷新
{{item.name}}会员
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技术的鳄梨叶中诱导肿瘤细胞铁死亡的先导化合物的定
向挖掘
- 批准号：
- 批准年份：2024
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于“活性-代谢组-基因组-SMART”整合策略发掘老鼠簕内生放线菌新型先导化合物
- 批准号：82360696
- 批准年份：2023
- 资助金额：32 万元
- 项目类别：地区科学基金项目
特定微环境激活的mRNA翻译(SMART)系统的设计及其免疫治疗应用研究
- 批准号：22307121
- 批准年份：2023
- 资助金额：30.00 万元
- 项目类别：青年科学基金项目
基于ANDSystem与多组学的水稻和小麦胁迫响应分子调控网络及智能作物平台（Smart Crop）的构建
- 批准号：
- 批准年份：2022
- 资助金额：105 万元
- 项目类别：
基于SMART设计建立中医药随机对照试验“随证施治”决策模型的研究
- 批准号：
- 批准年份：2020
- 资助金额：52 万元
- 项目类别：面上项目
精神障碍出院患者自杀风险简短联系干预（BCIs）的实施科学研究：基于序列多次分组的随机对照试验（SMART）
- 批准号：72004140
- 批准年份：2020
- 资助金额：24.0 万元
- 项目类别：青年科学基金项目
线上强化失眠认知行为治疗（Smart-CBTI plus）对失眠障碍合并焦虑、抑郁患者的随机对照研究
- 批准号：20Y11906600
- 批准年份：2020
- 资助金额：0.0 万元
- 项目类别：省市级项目
DRiPs致病性T细胞与胰腺CUZD-1蛋白双靶向Smart-DDS诱导免疫耐受治疗1型糖尿病的研究
- 批准号：81970707
- 批准年份：2019
- 资助金额：55.0 万元
- 项目类别：面上项目
基于B-SMART的类风湿关节炎分级诊疗的药物治疗管理模式构建与评价
- 批准号：71804109
- 批准年份：2018
- 资助金额：16.5 万元
- 项目类别：青年科学基金项目
面向Smart Grid基于多反馈路径的安全无线数据收集方法研究
- 批准号：61003309
- 批准年份：2010
- 资助金额：20.0 万元
- 项目类别：青年科学基金项目
相似海外基金
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
STTR Phase I: Blockchain ontology and services for monitoring and performing analytics on smart contracts
STTR 第一阶段：用于监控和执行智能合约分析的区块链本体和服务
- 批准号：
2052118 - 财政年份：2022
- 资助金额：
$ 3.28万 - 项目类别：
Standard Grant
Ethical Perspectives Towards Using Smart Contracts for Patient Consent and Data Protection of Digital Phenotype Data in Machine Learning Environments
在机器学习环境中使用智能合约获得患者同意和数字表型数据数据保护的伦理视角
- 批准号：
10599498 - 财政年份：2022
- 资助金额：
$ 3.28万 - 项目类别：
An innovative voluntary carbon credit marketplace using smart contracts that will save UK-based firms £30m as well as help project developers access pre financing.
使用智能合约的创新型自愿碳信用市场将为英国公司节省 3000 万英镑，并帮助项目开发商获得预融资。
- 批准号：
10035310 - 财政年份：2022
- 资助金额：
$ 3.28万 - 项目类别：
Collaborative R&D
Toward a Fast and Secure Blockchain Framework for Smart Contracts
建立快速、安全的智能合约区块链框架
- 批准号：
RGPIN-2020-05926 - 财政年份：2022
- 资助金额：
$ 3.28万 - 项目类别：
Discovery Grants Program - Individual
Smart Contracts & Productivity Platform for Sheep & Pigs
智能合约
- 批准号：
830255 - 财政年份：2021
- 资助金额：
$ 3.28万 - 项目类别：
Innovation Loans