Static Application Security Testing of Consensus-Critical Code in the Cosmos Network. - Jasper Surmont; Weihong Wang; Tom Van Cutsem (BRAINS, 2023)