关注
Xaver Fabian
Xaver Fabian
PhD Student
在 cispa.de 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Automatic detection of speculative execution combinations
X Fabian, M Guarnieri, M Patrignani
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022
222022
Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks
X Fabian, M Patrignani, M Guarnieri, M Backes
arXiv preprint arXiv:2405.10089, 2024
2024
Formal Verification of Spectres Combination
X Fabian, K Chan, M Patrignani
CISPA, 2021
2021
Formal Verification of Combined Spectre Attacks
X Fabian, K Chan, M Guarnieri, M Patrignani
系统目前无法执行此操作，请稍后再试。
文章 1–4
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交