Login / Signup
Lucas Freire
Publication Activity (10 Years)
Years Active: 2017-2018
Publications (10 Years): 3
Top Topics
Hardware Designs
Root Cause
Asynchronous Circuits
Countermeasures
Top Venues
CCS
CoNEXT
SOSR
</>
Publications
</>
Lucas Freire
,
Miguel C. Neves
,
Lucas Leal
,
Kirill Levchenko
,
Alberto E. Schaeffer Filho
,
Marinho P. Barcellos
Uncovering Bugs in P4 Programs with Assertion-based Verification.
SOSR
(2018)
Miguel C. Neves
,
Lucas Freire
,
Alberto E. Schaeffer Filho
,
Marinho P. Barcellos
Verification of P4 programs in feasible time using assertions.
CoNEXT
(2018)
Lucas Freire
,
Miguel C. Neves
,
Alberto E. Schaeffer Filho
,
Marinho P. Barcellos
POSTER: Finding Vulnerabilities in P4 Programs with Assertion-based Verification.
CCS
(2017)