ExDoS uses expert-guided dual-focus distillation between source semantic graphs and bytecode control-flow graphs plus a dual-attention network to improve smart contract vulnerability detection, reporting 3-6% F1 gains over baselines.
Bitcoin: A peer-to-peer electronic cash system
3 Pith papers cite this work. Polarity classification is still indexing.
fields
cs.CR 3representative citing papers
Bitcoin protocol ensures infinitely many honest blocks with probability one if the fully-delayed honest mining rate exceeds the adversary rate under bounded delays.
ORCHID maps the brain's binding problem to blockchain consensus via Kuramoto oscillators and quantum secret sharing, claiming 100% consensus rates up to 40% Byzantine faults and better message complexity than PBFT in small-network simulations.
citing papers explorer
-
ExDoS: Expert-Guided Dual-Focus Cross-Modal Distillation for Smart Contract Vulnerability Detection
ExDoS uses expert-guided dual-focus distillation between source semantic graphs and bytecode control-flow graphs plus a dual-attention network to improve smart contract vulnerability detection, reporting 3-6% F1 gains over baselines.
-
Rigorous and Generalized Proof of Security of Bitcoin Protocol with Bounded Network Delay
Bitcoin protocol ensures infinitely many honest blocks with probability one if the fully-delayed honest mining rate exceeds the adversary rate under bounded delays.
-
ORCHID: Orchestrated Reduction Consensus for Hash-based Integrity in Distributed Ledgers
ORCHID maps the brain's binding problem to blockchain consensus via Kuramoto oscillators and quantum secret sharing, claiming 100% consensus rates up to 40% Byzantine faults and better message complexity than PBFT in small-network simulations.