logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
M

Michele Pasqua

university of verona

11H指数
44论文数
339被引数
收录论文 5
发表时间
logo
Abstract Interpretation-based Verification for Confidentiality: Information Hiding and Code Protection by Abstract Interpretation基于抽象解释的保密性验证：通过抽象解释实现信息隐藏和代码保护
errACM Transactions on Privacy and Security
IF2.8
err2026-02-01
err0
PREAI
errMastroeni, Isabella; Pasqua, Michele
err分享
err收藏
An Ontology of Defects for Ethereum and its Smart Contracts以太坊及其智能合约的缺陷本体论
errBlockchain: Research and Applications
IF0
err2025-12-10
err0
errOAAI
errMichele Pasqua; Sofia Mari; Ferdinando Santoro; Mariano Ceccato
err分享
err收藏
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode通过计算以太坊字节码的精确控制流图来增强以太坊智能合约静态分析
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2023-06-01
err13
errOAAI
errPasqua, Michele; Benini, Andrea; Contro, Filippo; Crosara, Marco; Dalla Preda, Mila; Ceccato, Mariano
err分享
err收藏
The AbU Language: IoT Distributed Programming Made Easy
errIEEE ACCESS
IF3.6
err2022-01-01
err3
errOAAI
errPasqua, Michele; Comuzzo, Massimo; Miculan, Marino
err分享
err收藏
Friendly Fire: Cross-app Interactions in IoT Platforms
errACM TRANSACTIONS ON PRIVACY AND SECURITY
IF2.8
err2021-04-01
err6
errOAAI
errBalliu, Musard; Merro, Massimo; Pasqua, Michele; Shcherbakov, Mikhail
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Mariano Ceccato
H 指数: 27 · 论文数: 145
M
Massimo Merro
H 指数: 23 · 论文数: 93
M
Mila Dalla Preda
H 指数: 20 · 论文数: 82
M
Marino Miculan
H 指数: 17 · 论文数: 133
I
Isabella Mastroeni
H 指数: 17 · 论文数: 104
查看更多