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

Bryan Parno

Carnegie Mellon University

39H指数
154论文数
9.1K被引数
收录论文 5
发表时间
logo
Scaling Instruction-Selection Verification against Authoritative ISA Semantics基于权威ISA语义的指令选择验证缩放
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errMcLoughlin, Michael; Sheng, Ashley; Fallin, Chris; Parno, Bryan; Brown, Fraser; Vanhattum, Alexa
err分享
err收藏
IronFleet: Proving Safety and Liveness of Practical Distributed Systems
errCOMMUNICATIONS OF THE ACM
IF12.2
err2017-06-26
err44
PREAI
errHawblitzel, Chris; Howell, Jon; Kapritsos, Manos; Lorch, Jacob R.; Parno, Bryan; Roberts, Michael L.; Setty, Srinath; Zill, Brian
err分享
err收藏
Pinocchio: Nearly Practical Verifiable Computation
errCOMMUNICATIONS OF THE ACM
IF12.2
err2016-01-25
err92
PREAI
errParno, Bryan; Howell, Jon; Gentry, Craig; Raykova, Mariana
err分享
err收藏
Trust Extension for Commodity Computers
errCOMMUNICATIONS OF THE ACM
IF12.2
err2012-06-01
err2
PREAI
errParno, Bryan
err分享
err收藏
Defending a P2P digital preservation system
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2004-10-01
err0
PREAI
errParno, B; Roussopoulos, M
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
C
Craig Gentry
H 指数: 60 · 论文数: 179
M
Mariana Raykova
H 指数: 37 · 论文数: 119
J
Jacob R. Lorch
H 指数: 32 · 论文数: 63
C
Chris Hawblitzel
H 指数: 27 · 论文数: 80
J
Jon Howell
H 指数: 27 · 论文数: 85
查看更多