Formally sound implementations of security protocols with JavaSPI.
Formal Aspects Comput., 2018
Scalable Algorithms for NFA Multi-Striding and NFA-Based Deep Packet Inspection on GPUs.
IEEE/ACM Trans. Netw., 2016
New Techniques to Improve Network Security.
PhD thesis, 2014
Formal verification of security protocol implementations: a survey.
Formal Aspects Comput., 2014
Efficient multistriding of large non-deterministic finite state automata for deep packet inspection.
Proceedings of IEEE International Conference on Communications, 2012
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