Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic. - Véronique Bruyère; Emmanuel Dall'Olio; Jean-François Raskin (STACS, 2003)

Voting with Designated Verifier Signature-Like Protocol. - Emmanuel Dall'Olio; Olivier Markowitch (ICWI, 2004)

A New Key-Insulated Signature Scheme. - Nicolás González-Deleito; Olivier Markowitch; Emmanuel Dall'Olio (ICICS, 2004)

Durations and parametric model-checking in timed automata. - Véronique Bruyère; Emmanuel Dall'Olio; Jean-François Raskin (ACM Trans. Comput. Log., 2008)