Login / Signup
Akvile Valentukonyte
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Community Structure
Automated Verification
Network Model
Peer To Peer
Top Venues
NSDI
</>
Publications
</>
Solal Pirelli
,
Akvile Valentukonyte
,
Katerina J. Argyraki
,
George Candea
Automated Verification of Network Function Binaries.
NSDI
(2022)