Code Obfuscation Against Abstract Model Checking Attacks

DOI10.1007/978-3-319-73721-8_5zbMath1446.68028OpenAlexW2780799849MaRDI QIDQ3296324

Roberto Bruni, Roberto Giacobazzi, Roberta Gori

Publication date: 7 July 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11568/888739

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Code obfuscation against abstraction refinement attacks

This page was built for publication: Code Obfuscation Against Abstract Model Checking Attacks