Pr. Olivier Bonaventure

Address: Department of Computing Science and Engineering
Place Sainte Barbe, 2
B-1348 Louvain-la-Neuve, Belgium
Office: a.027
Phone: +32 (0)10 479012
E-Mail: Olivier.Bonaventure (at) uclouvain.be

Position: Head of the group

Website: Personal website

Publications

1999

G. Leduc, O. Bonaventure, E. Koerner, L. Léonard and C. Pecheur. Model-Based Verification of a Security Protocol for the Conditional Access to Services. Formal Methods in System Design, 14(2), March 1999.