Recent News

• New Publication "Synthesis of Super-Optimized Smart Contracts using Max-SMT" at CAV'20, Los Angeles, EEUU, July, 2020
• New Publication "GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts" at TACAS'20, Dublin, Ireland, April, 2020
• New Publication "SAFEVM: A Safety Verifier for Ethereum Smart Contracts" at ISSTA'19, Beijing, China, July, 2019