Alberto Schaeffer-Filho

Latest

• Verification of P4 programs in feasible time using assertions
• Uncovering Bugs in P4 Programs with Assertion-based Verification
• POSTER: Finding vulnerabilities in P4 programs with assertion-based verification
• ASTORIA: A framework for attack simulation and evaluation in smart grids