End-to-end verification of information-flow security for C and assembly programs
Keyword(s):
2016 ◽
Vol 22
(6)
◽
pp. 735-749
Keyword(s):
2011 ◽
Vol 39
(3)
◽
pp. 189-200
◽
Keyword(s):