What are you looking for?

Ditmarsch, H.P.

Ditmarsch, H.P.

Hans van Ditmarsch, born in Eindhoven, the Netherlands, in 1959. Ph.D. from the University of Groningen. Honorary Senior Lecturer of Computer Science at the University of Otago, Dunedin, and researcher at IRIT, Toulouse.

Lorentz Fellow (1 February 2008 – 30 June 2008)


My stay at NIAS resulted in two publications crucial to my research on unconditionally secure protocols. In “Group Announcement Logic” I explore a logic to explicitly refer to postconditions of protocols of arbitrarily finite length. In “Secret communication of local states in multi-agent systems”, I present concrete finite-length protocols involving card deals, that cannot be reduced to length two. The setting is more general than just card deals, in that it involves exchanges of local states.