DMCA

Coherent Minimisation: Towards efficient tamper-proof compilation

by Dan R. Ghica , Zaid Al-zobaidi