Constructing Security Protocol Specifications for Web Services. - Béla Genge; Piroska Haller; Ovidiu Ratoi (IDC, 2008)

Informal specification-based performance evaluation of security protocols - Béla Genge; Piroska Haller; Iosif Ignat; Ovidiu Ratoi (CoRR, 2009)

Component based platform for multimedia applications - Ovidiu Ratoi; Piroska Haller; Ioan Salomie; Béla Genge (CoRR, 2009)

Term-based composition of security protocols - Béla Genge; Piroska Haller; Ovidiu Ratoi; Iosif Ignat (CoRR, 2009)