Secure untrusted binaries - Provably!

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3866 LNCS, Issue , 2006, Pages 171-186

  Winwood, Simon ^a,b   Chakravarty, Manuel M T ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b CSIRO   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CODE REWRITING; HARDWARE-BASED MEMORY PROTECTION; PROOF-CARRYING CODES; REWRITTEN BINARIES; UNTRUSTED CODE;

CODES (SYMBOLS); COMPUTER HARDWARE; COMPUTER SYSTEMS; DATA STORAGE EQUIPMENT; INFORMATION RETRIEVAL; INTERACTIVE COMPUTER SYSTEMS;

SECURITY OF DATA;

EID: 33745649226     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11679219_13     Document Type: Conference Paper

References (13)

1. Wahbe, R., Lucco, S., Anderson, T.E., Graham, S.L.: Efficient software-based fault isolation. ACM SIGOPS Operating Systems Review 27 (1993) 203-216
2. Small, C., Seltzer, M.I.: MiSFIT: Constructing safe extensible systems. IEEE Concurrency 6 (1998) 34-41
3. Úlfar Erlingsson, Schneider, F.B.: SASI enforcement of security policies: A retrospective. In: New Security Paradigms Workshop, Caledon Hills, Ontario, Canada, ACM SIGSAC, ACM Press (1999) 87-95
4. Prasad, M., cker Chiueh, T.: A binary rewriting defense against stack based buffer overflow attacks. In: USENIX Annual Technical Conference, General Track. (2003) 211-224
5. McCamant, S., Morrisett, G.: Efficient, verifiable binary sandboxing for a CISC architecture. Technical report, MIT LCS (2005)
6. Necula, G.C., Lee, P.: Safe, untrusted agents using proof-carrying code. In Vigna, G., ed.: Mobile Agents and Security. Volume 1419 of Lecture Notes in Computer Science., Springer-Verlag, Berlin Germany (1998) 61-91
7. Sites, R.L., Witek, R.L.: Alpha architecture reference manual. Digital Press. Third edn. (1998)
8. Schneider, F.B.: Enforceable security policies. Information and System Security 3 (2000) 30-50
9. Liedtke, J., Elphinstone, K., Schönberg, S., Härtig, H., Heiser, G., Islam, N., Jaeger, T.: Achieved IPC performance (still the foundation for extensibility). In: Proc. 6th HotOS, Cape Cod, MA, USA (1997) 28-31
10. Evans, D., Twyman, A.: Flexible policy-directed code safety. In: Proceedings of the IEEE Symposium on Research in Security and Privacy, Oakland, CA, IEEE Computer Society, Technical Committee on Security and Privacy, IEEE Computer Society Press (1999) 32-45
11. Abadi, M., Budiu, M., Úlfar Erlingsson, Ligatti, J.: Control-flow integrity. Technical Report MSR-TR-05-18, Microsoft Research (2005)
12. Abadi, M., Budiu, M., Úlfar Erlingsson, Ligatti, J.: A theory of secure control flow. Technical Report MSR-TR-05-17, Microsoft Research (2005)
13. Srivastava, A., Edwards, A., Vo, H.: Vulcan: Binary transformation in a distributed environment. Technical Report MSR-TR-2001-50, Microsoft Research (2001)