Lucas Freire

According to our database, Lucas Freire authored at least 3 papers between 2017 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

Proceedings of the Symposium on SDN Research, 2018

Verification of P4 programs in feasible time using assertions.

Miguel C. Neves, Lucas Freire, Alberto E. Schaeffer Filho, Marinho P. Barcellos

Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies, 2018

2017

POSTER: Finding Vulnerabilities in P4 Programs with Assertion-based Verification.

Lucas Freire, Miguel C. Neves, Alberto E. Schaeffer Filho, Marinho P. Barcellos

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017