Short Paper: Rusty Types for Solid Safety. - Sergio Benitez (PLAS@CCS, 2016)

Short Paper: Blockcheck the Typechain. - Sergio Benitez; Jonathan Cogan; Alejandro Russo (PLAS@CCS, 2020)