NIAS-KNAW

Ga direct naar de inhoud
Ga direct naar de site navigatie
Ga direct naar zoeken

Ditmarsch, H.P.

Pagina-navigatie:

Hans van Ditmarsch

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)

UNCONDITIONALLY SECURE PROTOCOLS

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.



Ga terug naar de bovenkant van deze pagina
Ga terug naar de inhoud
Ga terug naar de site navigatie
Ga terug naar zoeken