Efficient packet classification algorithm based on entropy. - Michal Kajan; Jan Korenek (ANCS, 2010)

Hardware architecture for packet classification with prefix coloring. - Viktor Pus; Michal Kajan; Jan Korenek (DDECS, 2011)

HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware. - Marcela Simková; Ondrej Lengál; Michal Kajan (Haifa Verification Conference, 2011)

Detecting IP Spoofing by Modelling History of IP Address Entry Points. - Michal Kovácik; Michal Kajan; Martin Zádník (AIMS, 2013)