Strategy to design formally verified hardware/software implementation of network protocols on reconfigurable hardware. - Pabudi T. Abeyrathne; S. Devapriya Dewasurendra; Dhammika Elkaduwa (ICIIS, 2015)

Offloading specific performance-related kernel functions into an FPGA. - Pabudi T. Abeyrathne; S. Devapriya Dewasurendra; Dhammika Elkaduwa (ISIE, 2021)