Static Analysis for Software Protection
Software tampering continues to be a major threat to software vendors
and consumers: Billions of dollars are lost every year to piracy;
tampered software, appearing legitimate to untrained consumers, also
threatens their financial security and privacy. As the main
countermeasure, the software industry has invested heavily in
Tamper-Resistant Software (TRS) with varying degree of success.
This project aims to employ static-analysis techniques to inject
tamper-resistant code into software that is to be protected,
at well-chosen locations, and with delayed and controlled effects.
Publications
Last updated: Aug. 2007