TY  - RPRT
TI  - Coherent Minimisation: Towards efficient tamper-proof compilation
AU  - Dan R. Ghica
AU  - Zaid Al-Zobaidi
PY  - 2012
DO  - 10.4204/eptcs.104.8
UR  - https://arxiv.org/abs/1212.3878
ID  - 1212.3878
ER  -