Login / Signup
Jason Portillo
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 2
Top Topics
Finite State Transducers
Modal Logic
Asked Questions
Information Flow
Top Venues
AsianHOST
ASP-DAC
</>
Publications
</>
Travis Meade
,
Jason Portillo
,
Shaojie Zhang
,
Yier Jin
NETA: when IP fails, secrets leak.
ASP-DAC
(2019)
Jason Portillo
,
Travis Meade
,
John Hacker
,
Shaojie Zhang
,
Yier Jin
RERTL: Finite State Transducer Logic Recovery at Register Transfer Level.
AsianHOST
(2019)