共 37 条
[1]
Abadi M, 1998, LECT NOTES COMPUT SC, V1443, P868, DOI 10.1007/BFb0055109
[2]
Agten P., 2014, 676 CW KU LEUV
[3]
Secure Compilation to Modern Processors
[J].
2012 IEEE 25TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF),
2012,
:171-185
[4]
[Anonymous], 2010, PLTTR20101 INC
[5]
AUSTIN TM, 1994, SIGPLAN NOTICES, V29, P290, DOI 10.1145/773473.178446
[7]
Berdine J, 2006, LECT NOTES COMPUT SC, V4111, P115
[9]
Calcagno C, 2009, LECT NOTES COMPUT SC, V5904, P259, DOI 10.1007/978-3-642-10672-9_19