Direction 04 / 06
Smart Contract Security
Finding, fixing and formally ruling out exploitable bugs in contracts and protocols.
Smart contracts hold real value and cannot easily be patched. We analyse contracts and protocol designs for exploitable behaviour and use formal methods to rule whole classes of bugs out.
Related papers
zk-HTLCA formally verified defense against linkability attacks in trust-minimized cross-chain networks
Computer Networks
CrossGuardA multi-modal few-shot learning framework for detecting cross-chain smart contract vulnerabilities
Cluster Computing
The fire tries goldEvaluating pre-trained language models for multi-label vulnerability detection in ethereum smart contracts
Journal of Systems and Software
Evolutionary soft computing for interpretable exploit generation in cross-chain bridges
Applied Soft Computing
FedvulnScalable and privacy-preserving federated graph learning for smart contract vulnerability detection on parallel systems
Future Generation Computer Systems
DynaGuardA Dynamic Trust-Weighted Mechanism for BFT Attack Resilience in Cross-Shard Blockchain Networks
Communications in Computer and Information Science (Computational Intelligence in Engineering Science)
SplitSightMulti-Dimensional Verification for Client-Side TLS Interception
Proceedings of the 2026 11th International Conference on Intelligent Information Technology
ChainSniperA Machine Learning Approach for Auditing Cross-Chain Smart Contracts
Proceedings of the 2024 9th International Conference on Intelligent Information Technology
FedChain-HunterA reliable and privacy-preserving aggregation for federated threat hunting framework in SDN-based IIoT
Internet of Things
Contextual Language Model and Transfer Learning for Reentrancy Vulnerability Detection in Smart Contracts
Proceedings of the 12th International Symposium on Information and Communication Technology