Publisher
Springer Nature Switzerland
Reference23 articles.
1. Baez, F.E.V.: Evaluating SGX’s remote attestation security through the analysis of Copland phrases (2022)
2. Barclay, T.: Proof-producing synthesis of cakeml from coq. PhD Proposal (2022)
3. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions. Springer Science & Business Media, Berlin, Heidelberg (2013). https://doi.org/10.1007/978-3-662-07964-5
4. Carrel, D., Harkins, D.: The Internet Key Exchange (IKE). RFC 2409, November 1998. https://www.rfc-editor.org/info/rfc2409
5. Coker, G., et al.: Principles of remote attestation. Int. J. Inf. Secur. 10(2), 63–81 (2011)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Evidence Tampering and Chain of Custody in Layered Attestations;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09