A core calculus for secure hardware: its formal semantics and proof system - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas N. Reynolds, Adam M. Procter, William L. Harrison, Gerard Allwein. A core calculus for secure hardware: its formal semantics and proof system. In Jean-Pierre Talpin, Patricia Derler, Klaus Schneider 0001, editors, Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017. pages 122-131, ACM, 2017. [doi]

This author has not been identified. Look up 'Thomas N. Reynolds' in GoogleThis author has not been identified. Look up 'Adam M. Procter' in GoogleThis author has not been identified. Look up 'William L. Harrison' in GoogleThis author has not been identified. Look up 'Gerard Allwein' in Google

runs on WebDSL