Sergio Benitez, Jonathan Cogan, Alejandro Russo. Short Paper: Blockcheck the Typechain. In Alley Stoughton, Marco Vassena, editors, PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020. pages 35-39, ACM, 2020. [doi]
Abstract is missing.