The Rutgers Computer Science Department is proud to announce Professor Srinivas Narayana and Professor Santosh Nagarakatte are the recipients of the NSF’s FMITF Track II Award.

This project's key impact is the development of a provably sound eBPF verifier, with the potential to make widely deployed eBPF software and the Linux kernel much more secure and reliable. This project will educate and train graduate and undergraduate students on formal methods and networking, through the development of curricular materials and research projects.

Total funding for this award is $150,000 for the duration of two years from October 1, 2024 to September 30, 2026.

To learn more: