https://www.irif.fr/~doumane/defense.htm