A Formally Verified Static Analysis Framework for Compositional Contracts. - Fritz Henglein; Christian Kjær Larsen; Agata Murawska (Financial Cryptography Workshops, 2020)