Observational Determinism for Concurrent Program Security

Steve Zdancewic, Andrew C. Myers. Observational Determinism for Concurrent Program Security. In 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June - 2 July 2003, Pacific Grove, CA, USA. pages 29, IEEE Computer Society, 2003. [doi]

Authors

Steve Zdancewic

This author has not been identified. Look up 'Steve Zdancewic' in Google

Andrew C. Myers

This author has not been identified. Look up 'Andrew C. Myers' in Google