Author:
Petz Adam,Alexander Perry
Publisher
Springer International Publishing
Reference49 articles.
1. Aydemir, B., Charguéraud, A., Pierce, B.C., Pollack, R., Weirich, S.: Engineering formal metatheory. In: Proceedings of the 35th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, pp. 3–15. ACM, New York (2008). https://doi.org/10.1145/1328438.1328443
2. Berger, S., Caceres, R., Goldman, K., Perez, R., Sailer, R., van Doorn, L.: vTPM: Virtualizing the Trusted Platform Module. iBM T. J. Watson Research Center, Hawthorne (2006). http://www.kiskeya.net/ramon/work/pubs/security06.pdf
3. Brasser, F., El Mahjoub, B., Sadeghi, A.R., Wachsmann, C., Koeberl, P.: Tytan: tiny trust anchor for tiny devices. In: Proceedings of the 52nd Annual Design Automation Conference. DAC 2015. Association for Computing Machinery, New York (2015). https://doi.org/10.1145/2744769.2744922
4. Carpent, X., Rattanavipanon, N., Tsudik, G.: ERASMUS: efficient remote attestation via self- measurement for unattended settings. CoRR abs/1707.09043 (2017). http://arxiv.org/abs/1707.09043
5. Challener, D., Yoder, K., Catherman, R.: A Practical Guide to Trusted Computing. IBM Press, Indianapolis (2008)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synthesizing verified components for cyber assured systems engineering;Software and Systems Modeling;2023-03-21
2. A Framework for Policy Based Negotiation;Lecture Notes in Computer Science;2023
3. A case for remote attestation in programmable dataplanes;Proceedings of the 21st ACM Workshop on Hot Topics in Networks;2022-11-14
4. Flexible Mechanisms for Remote Attestation;ACM Transactions on Privacy and Security;2021-11-30
5. Design and formal verification of a copland-based attestation protocol;Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design;2021-11-20