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

Virgile Prévosto

Universite Paris Saclay

12H指数
84论文数
1.4K被引数
收录论文 2
发表时间
logo
Formal Verification of PKCS#1 Signature Parser Using Frama-C使用Frama-C对PKCS#1签名解析器进行形式验证
errINTEGRATED FORMAL METHODS, IFM 2025
IF0
err2026-01-01
err0
PREAI
errHana, Martin; Kosmatov, Nikolai; Prevosto, Virgile; Signoles, Julien
err分享
err收藏
The Dogged Pursuit of Bug-Free C Programs: The Frama-C Software Analysis Platform
errCOMMUNICATIONS OF THE ACM
IF12.2
err2021-07-26
err32
errOAAI
errBaudin, Patrick; Bobot, Francois; Buhler, David; Correnson, Loic; Kirchner, Florent; Kosmatov, Nikolai; Maroneze, Andre; Perrelle, Valentin; Prevosto, Virgile; Signoles, Julien; Williams, Nicky
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
N
Nikolaï Kosmatov
H 指数: 20 · 论文数: 164
J
Julien Signoles
H 指数: 15 · 论文数: 81
F
François Bobot
H 指数: 11 · 论文数: 47
N
Nicky Williams
H 指数: 10 · 论文数: 37
L
Loïc Correnson
H 指数: 9 · 论文数: 33
查看更多