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

Nikolaï Kosmatov

CEA

20H指数
164论文数
1.9K被引数
收录论文 3
发表时间
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收藏
Towards Formal Verification of a TPM Software Stack: Achievements and OpportunitiesTPM软件栈的形式化验证：成就与机遇
errFORMAL ASPECTS OF COMPUTING
IF1.4
err2025-12-01
err0
PREAI
errZiani, Yani; Bernier, Teo; Kosmatov, Nikolai; Loulergue, Frederic; Perez, Daniel Gracia
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收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
F
Frédéric Loulergue
H 指数: 15 · 论文数: 189
J
Julien Signoles
H 指数: 15 · 论文数: 81
V
Virgile Prévosto
H 指数: 12 · 论文数: 84
F
François Bobot
H 指数: 11 · 论文数: 47
N
Nicky Williams
H 指数: 10 · 论文数: 37
查看更多