Shlomi Dolev Wilhelmus J. Geerts Dan E. Tamir Peter J. Wilson