Login / Signup
Sergio Benitez
Publication Activity (10 Years)
Years Active: 2016-2020
Publications (10 Years): 2
Top Topics
Databases
Domain Knowledge
Peer To Peer
Computer Vision
Top Venues
PLAS@CCS
</>
Publications
</>
Sergio Benitez
,
Jonathan Cogan
,
Alejandro Russo
Short Paper: Blockcheck the Typechain.
PLAS@CCS
(2020)
Sergio Benitez
Short Paper: Rusty Types for Solid Safety.
PLAS@CCS
(2016)