~ / simuw06 / koblitz /