Code Obfuscation Against Abstract Model Checking Attacks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roberto Bruni, Roberto Giacobazzi, Roberta Gori. Code Obfuscation Against Abstract Model Checking Attacks. In Isil Dillig, Jens Palsberg, editors, Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings. Volume 10747 of Lecture Notes in Computer Science, pages 94-115, Springer, 2018. [doi]

This author has not been identified. Look up 'Roberto Bruni' in GoogleThis author has not been identified. Look up 'Roberto Giacobazzi' in GoogleThis author has not been identified. Look up 'Roberta Gori' in Google

runs on WebDSL