Barrier slicing for remote software trusting

SCAM 2007 - Proceedings 7th IEEE International Working Conference on Source Code Analysis and Manipulation

Volumn , Issue , 2007, Pages 27-36

  Ceccato, Mariano ^a   Preda, Mila Dalla ^b   Nagra, Jasvir ^b   Collberg, Christian ^c   Tonella, Paolo ^a  

^a ITC IRST   (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

^c UNIVERSITY OF ARIZONA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BACKWARD SLICES; CASE STUDIES; CLIENT CODES; FORMAL DEFINITIONS; NETWORK CONNECTIONS;

EID: 47749090850     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCAM.2007.27     Document Type: Conference Paper

References (13)

1. A. Carroll, M. Juarez, J. Polk, and T. Leininger. Microsoft "Palladium": A Business Overview. Microsoft Content Security Business Unit, August, 2002.
2. R. Kennell and L. H. Jamieson. Establishing the genuinity of remote computer systems. In Proceedings of 12th USENIX Security Symposium, 2003.
3. J. Krinke. Barrier slicing and chopping. In Proceedings Third IEEE International Workshop on Source Code Analysis and Manipulation, pages 81-87, 2003.
4. J. Krinke. Slicing, chopping, and path conditions with barriers. Software Quality Journal, 12(4):339-360, dec 2004.
5. B. Lampson, M. Abadi, M. Burrows, and E. Wobber. Authentication in distributed systems: theory and practice. ACM Trans. Comput. Syst., 10(4):265-310, 1992.
6. D. of Defense. Trusted computer security evaluation criteria. Washington D.C., December 1985. DOD 5200.28-STD.
7. R. Sailer, X. Zhang, T. Jaeger, and L. van Doorn. Design and Implementation of a TCG-based Integrity Measurement Architecture. pages 223-238, 2004.
8. A. Seshadri, M. Luk, E. Shi, A. Perrig, L. van Doorn, and P. K. Khosla. Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems. In Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP), Brighton, UK, October 23-2-6, pages 1-16, 2005.
9. A. Seshadri, A. Perrig, L. van Doorn, and P. K. Khosla. Swatt: Software-based attestation for embedded devices. In IEEE Symposium on Security and Privacy, pages 272-283, 2004.
10. M. C. Umesh Shankar and J. D. Tygar. Side effects are not sufficient to authenticate software. Technical Report UCB/CSD-04-1363, EECS Department, University of California, Berkeley, 2004.
11. P. van Oorschot, A. Somayaji, and G. Wurster. Hardware-assisted circumvention of self-hashing software tamper resistance. IEEE Transactions on Dependable and Secure Computing, 2(2):82-92, April-June 2005.
12. M. D. Weiser. Program Slices: Formal, Psychological, and Practical Investigations of an Automatic Program Abstraction Method. PhD dissertation, The University of Michigan, Ann Arbor, 1979.
13. X. Zhang and R. Gupta. Hiding program slices for software security. In CGO '03: Proceedings of the international symposium on Code generation and optimization, pages 325-336, Washington, DC, USA, 2003. IEEE Computer Society.