Static Application Security Testing of Consensus-Critical Code in the Cosmos Network

Surmont, JasperJasperSurmontWang, WeihongWeihongWangVan Cutsem, TomTomVan Cutsem2024-04-302024-01-122024-04-3020232835-3005WOS:001108789100016https://imec-publications.be/handle/20.500.12860/43391Static Application Security Testing of Consensus-Critical Code in the Cosmos NetworkProceedings paper10.1109/BRAINS59668.2023.10316912979-8-3503-1782-4WOS:001108789100016