Updating test script for journal version of compromising adversaries paper.
Removing obsolete design files.
Updated TISSEC tests.