2008

1. Formal verification of the Secure Sockets Layer protocol

   ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems

2. Modelling secure wireless sensor networks routing protocols with timed automata

   PM2HW2N'08 - Proceedings of the 3rd ACM International Workshop on Performance Monitoring, Measurement, and Evaluation of Heterogeneous Wireless and Wired Networks