Formally Verified Code Obfuscation in the Coq Proof Assistant
Code obfuscation is a software security technique where transformations are applied to source and/or machine code to make them more difficult to analyze and understand to deter reverse-engineering and tampering. However, in many commercial tools, such as Irdeto's Cloakware product, it is no...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
Université d'Ottawa / University of Ottawa
2019
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10393/39994 http://dx.doi.org/10.20381/ruor-24233 |