Christian Kjær Larsen

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Static Analysis

Top Venues

Financial Cryptography Workshops

Publications

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