Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts. - Mark Mossberg; Felipe Manzano; Eric Hennenfent; Alex Groce; Gustavo Grieco; Josselin Feist; Trent Brunson; Artem Dinaburg (ASE, 2019)

Research Report: ICARUS: Understanding De Facto Formats by Way of Feathers and Wax. - Sam Cowger; Yerim Lee; Nichole Schimanski; Mark Tullsen; Walter Woods; Richard Jones; E. W. Davis; William Harris; Trent Brunson; Carson Harmon; Bradford Larsen; Evan Sultanik (SP (Workshops), 2020)