2018
Formally sound implementations of security protocols with JavaSPI.
Formal Aspects Comput., 2018

2016
Scalable Algorithms for NFA Multi-Striding and NFA-Based Deep Packet Inspection on GPUs.
IEEE/ACM Trans. Netw., 2016

2014
New Techniques to Improve Network Security.
PhD thesis, 2014

Formal verification of security protocol implementations: a survey.
Formal Aspects Comput., 2014

2012
Efficient multistriding of large non-deterministic finite state automata for deep packet inspection.
Proceedings of IEEE International Conference on Communications, 2012

2011
JavaSPI: A Framework for Security Protocol Implementation.
Int. J. Secur. Softw. Eng., 2011

The Java SPI Framework for Security Protocol Implementation.
Proceedings of the Sixth International Conference on Availability, 2011