Towards a Verified Reference Implementation of a Trusted Platform Module
2013 ◽
pp. 82-86
2007 ◽
Vol 31
(5)
◽
pp. 357-361
◽
2022 ◽
Vol 15
(1)
◽
pp. 1-26
2012 ◽
Vol 7
(7)
◽
pp. 148-156
2020 ◽
Vol 9
(3)
◽
pp. 1-11