Merge branch 'attacks', remote-tracking branch 'origin/attacks' into attacks
eclipse: slight bug fixed
binom attack