Dynamic Data Segment Attestation

Recently reviewing papers

[1] Alan Shieh, Dan Williams, Emin G. Sirer, Fred Schneider. Nexus: A New Operating System for Trustworthy Computing. Symposium on
Operating Systems Principles WIP Session, Brighton, United Kingdom, October 2005.
[2] George C. Necula. Proof-Carrying Code. The 24th symposium on Principles of Programming Languages (POPL’97). Paris, France,Jan 1997.
[3] George C. Necula and Peter Lee. Safe, Untrusted Agents Using Proof-Carrying Code. Mobile Agents and Security, Giovanni Vigna (Ed.),
Lecture Notes in Computer Science, Vol. 1419, Springer-Verlag, Berlin, ISBN 3-540-64792-9, 1998.
[4] Justin Sheehy et al. Attestation: Evidence and Trust.MITRE,Mar 2007.
[5] J. Garay and L. Huelsbergen. Software Integrity Protection Using Timed Executable Agents. In Proc. ACM Symposium on Information,
Computer and Communications Security (ASIACCS’06), pp. 189-200, Taiwan, March 2006.
[6] Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, and Arvind Seshadri. Minimal TCB Code Execution (Extended Abstract).
IEEE Symposium on Security and Privacy, May 2007.
[7] Liqun Chen et al. A protocol for property-based attestation. In Proceedings of the First AMCWorkshop on Scalable Trusted Computing (STC
06) held in conjunction with the 13th ACM Conference on Computer and Communications Security (CCS 2006), ACM Press, November,
2006.
[8] Yasuharu Katsuno, Yuji Watanabe, Sachiko Yoshihama, Takuya Mishina, Michiharu Kudo: Layering Negotiations for Flexible
Attestation. In Proceedings of the First AMC Workshop on Scalable Trusted Computing (STC 06) held in conjunction
with the 13th ACM Conference on Computer and Communications Security (CCS 2006), ACM Press, November, 2006.
[9] George C. Necula, Peter Lee. The Design and Implementation of a Certifying Compiler. PLDI, June 1998.
[10] George C. Necula. A Scalable Architecture for Proof-Carrying Code. Fifth International Symposium on Functional and Logic Programming,
Tokyo, March 2001.
[11] R. Sekar, V.N. Venkatakrishnan, Samik Basu, Sandeep Bhatkar and Dan DuVarney. Model-Carrying Code: A Practical Approach for Safe Execution of Untrusted Applications,
19th ACM Symposium on Operating Systems Principles (SOSP), New York, October 2003.

[12] Trent Jaeger and Reiner Sailer and Umesh Shankar.PRIMA: policy-reduced integrity measurement architecture. SACMAT '06: Proceedings of the eleventh ACM symposium on Access control models and technologies, June 2006.

Purely HW-based approaches

• Trusted Computing Group(TCG). Embedded Systems and Trusted Computing Security, Sep 2005.
• TCG TPM Specification Version 1.2 Revision 94
• Milenkovic, M., Milenkovic, A., and Jovanov, E. Hardware support for code integrity in embedded processors. In Proceedings of the 2005 international Conference on Compilers, Architectures and Synthesis For Embedded Systems (San Francisco, California, USA, September 24 - 27, 2005). CASES '05. ACM Press, New York, NY, 55-65.
• Reiner Sailer, Xiaolan Zhang, Trent Jaeger, Leendert van Doorn. Design and Implementation of a TCG-based Integrity Measurement Architecture. 13th Usenix Security Symposium, San Diego, California, August 2004.

Purely SW-based approaches

• Garay, J. A. and Huelsbergen, L. 2006. Software integrity protection using timed executable agents. In Proceedings of the 2006 ACM Symposium on information, Computer and Communications Security (Taipei, Taiwan, March 21 - 24, 2006). ASIACCS '06. ACM Press, New York, NY, 189-200.
• Taejoon Park and Kang G. Shin., Soft Tamper-Proofing via Program Integrity Verification in Wireless Sensor Networks. IEEE Transactions on Mobile Computing 4, 3 (May. 2005), 297-309.
• Arvind Seshadri and Mark Luk and Elaine Shi and Adrian Perrig and Leendert van Doorn and Pradeep Khosla., Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems, SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles, 2005
• M. Shaneck, K. Mahadevan, V. Kher, and Y. Kim. Remote Software-based Attestation for Wireless Sensors. In Proceedings of the 2nd European Workshop on Security and Privacy in Ad Hoc and Sensor Networks, July 2005.
• Seshadri, A., Perrig, A., van Doorn, L., Khosla, P., SWATT: SoftWare-based ATTestation for Embedded Devices, Proc. of the IEEE Security & Privacy Conference, IEEE, Oakland, CA, May 2004

Hybrid approaches

• Shi, E. Perrig, A. Van Doorn, L. BIND: a fine-grained attestation service for secure distributed systems. Security and Privacy, 2005 IEEE Symposium on. May 2005.
• Haldar, V., Chandra, D., Franz, M., Semantic Remote Attestation - A Virtual Machine directed approach to Trusted Computing, the 3rd Virtual Machine Research and Technology Symposium, May 2004.
• Sadeghi, A. and Stuble, C. Property-based attestation for computing platforms: caring about properties, not mechanisms. In Proceedings of the 2004 Workshop on New Security Paradigms (Nova Scotia, Canada, September 20 - 23, 2004). NSPW '04. ACM Press, New York, NY, 67-77.
• Garfinkel, T., Pfaff, B., Chow, J., Rosenblum, M., and Boneh, D. 2003. Terra: a virtual machine-based platform for trusted computing. In Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles (Bolton Landing, NY, USA, October 19 - 22, 2003). SOSP '03. ACM Press, New York, NY, 193-206.

*Dynamic Monitoring Execution Path*

• Tao Zhang and Xiaotong Zhuang and Santosh Pande and Wenke Lee., Anomalous path detection with hardware support, CASES '05: Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems, 2005, San Francisco, California, USA
• Feng, H. H., Kolesnikov, O. M., Fogla, P., Lee, W., and Gong, W. Anomaly Detection Using Call Stack Information. In Proceedings of the 2003 IEEE Symposium on Security and Privacy (May 11 - 14, 2003).