Verifying Secure Speculation in Isabelle/HOL
Verifying Secure Speculation in Isabelle/HOL
复制标题
验证 Isabelle/HOL 中的安全推测
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Brijesh Dongol
中科院分区：
文献类型：
--
作者：
Mattison Griffin;Brijesh Dongol
影响因子：
--
作者：
Marco Vassena;Craig Disselkoen;K. V. Gleissenthall;Sunjay Cauligi;Rami Gökhan Kici;Ranjit Jhala;D. Tullsen;D. Stefan
通讯作者：
Marco Vassena;Craig Disselkoen;K. V. Gleissenthall;Sunjay Cauligi;Rami Gökhan Kici;Ranjit Jhala;D. Tullsen;D. Stefan
DOI：
10.1145/3385412.3385970
发表时间：
2019-10
期刊：
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Sunjay Cauligi;Craig Disselkoen;K. V. Gleissenthall;D. Tullsen;D. Stefan;Tamara Rezk;G. Barthe
通讯作者：
Sunjay Cauligi;Craig Disselkoen;K. V. Gleissenthall;D. Tullsen;D. Stefan;Tamara Rezk;G. Barthe