arrow
返回
J

Jon Howell

Microsoft

27H指数
85论文数
4.9K被引数
收录论文 2
发表时间
IronFleet: Proving Safety and Liveness of Practical Distributed Systems
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
err2016-01-25
err92
PREAI
errParno, Bryan; Howell, Jon; Gentry, Craig; Raykova, Mariana
err分享
err收藏