Steve Kremer

MathSciNet


Ph.D. Université Libre de Bruxelles 2003 Belgium
Dissertation: Formal Analysis of Optimistic Fair Exchange Protocols
Mathematics Subject Classification: 68—Computer science

Advisor 1: Yves Roggeman
Advisor 2: Jean-François Raskin

Student:

NameSchoolYearDescendants
Ciobâcă, ŞtefanÉcole Normale Supérieure de Cachan2011

According to our current on-line database, Steve Kremer has 1 student and 1 descendant.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 146077 for the advisor ID.