The document summarizes Matteo Avalle's annual oral presentation for his Ph.D evaluation. It discusses his main research topic of regexp-based packet processing using non-deterministic finite automata (NFAs) and his development of faster multi-stride and multi-map multi-stride algorithms to further increase processing throughput. It also covers his secondary topic of designing security protocols using the JavaSPI framework and results including developing a case study on the SSL 3.0 handshake protocol and surveys on applying formal methods to security protocols. Future work discussed finishing papers in progress and implementing new GPU optimizations.