Knowledge-Based Security of Dynamic Secrets for Reactive Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

McKenna McCall, Hengrun Zhang, Limin Jia. Knowledge-Based Security of Dynamic Secrets for Reactive Programs. In 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018. pages 175-188, IEEE Computer Society, 2018. [doi]

This author has not been identified. Look up 'McKenna McCall' in GoogleThis author has not been identified. Look up 'Hengrun Zhang' in GoogleThis author has not been identified. Look up 'Limin Jia' in Google

runs on WebDSL