Natch: Detecting Attack Surface for Multi-Service Systems with Hybrid Introspection

P Dovgalyuk, M Klimushenkova… - 2023 IEEE 23rd …, 2023 - ieeexplore.ieee.org
Attack surface is the set of code and data that can be changed, stolen, or exploited by the
user of the system. Attack surface of the complex systems may consist of functions on …

Practical runtime verification of cross-organizational smart contracts

DJ Kangogo, BZ Péter, A Klenik, I Kocsis - 2024 - researchsquare.com
Smart contracts in blockchains often implement critical functionality; consequently, their
development time software fault detection, removal, and avoidance have been the target of …