POSTER: Finding Vulnerabilities in P4 Programs with Assertion-based Verification. - Lucas Freire; Miguel C. Neves; Alberto E. Schaeffer Filho; Marinho P. Barcellos (CCS, 2017)

Verification of P4 programs in feasible time using assertions. - Miguel C. Neves; Lucas Freire; Alberto E. Schaeffer Filho; Marinho P. Barcellos (CoNEXT, 2018)

Uncovering Bugs in P4 Programs with Assertion-based Verification. - Lucas Freire; Miguel C. Neves; Lucas Leal; Kirill Levchenko; Alberto E. Schaeffer Filho; Marinho P. Barcellos (SOSR, 2018)