Jasper Surmont, Weihong Wang, Tom Van Cutsem. Static Application Security Testing of Consensus-Critical Code in the Cosmos Network. In 5th Conference on Blockchain Research & Applications for Innovative Networks and Services, BRAINS 2023, Paris, France, October 11-13, 2023. pages 1-8, IEEE, 2023. [doi]
Abstract is missing.