关注
Grant Jurgensen
Grant Jurgensen
Computer Scientist, Kestrel Institute
在 kestrel.edu 的电子邮件经过验证
标题
引用次数
引用次数
年份
Design and formal verification of a copland-based attestation protocol
A Petz, G Jurgensen, P Alexander
Proceedings of the 19th ACM-IEEE International Conference on Formal Methods …, 2021
92021
A Verified Achitecture for Trustworthy Remote Attestation
G Jurgensen
University of Kansas, 2022
12022
An seL4-based architecture for layered attestation
G Jurgensen, M Neises, P Alexander
Proceedings of the 7th Symposium on Hot Topics in the Science of Security, 1-2, 2020
12020
系统目前无法执行此操作，请稍后再试。
文章 1–3