Search papers, labs, and topics across Lattice.
Affiliation:
6
0
10
3
TasmScan is presented, the first bytecode-level static analysis framework for TVM that enables cross-continuation data flow reasoning without requiring source code and ablation confirms that savelist propagation is essential for resolving indirect register calls that depend on cross-continuation register passing.
Autonomous post-exploitation capabilities can be dramatically amplified without model fine-tuning, as deterministic enumeration wrappers and agent scaffolding fundamentally reshuffle frontier LLM offensive rankings across 531 executable environments.
Because the EVM never validates emitted logs against actual execution state, off-chain bridges and wallets are systematically vulnerable to phantom transactions even when contract code passes traditional logic audits.
VideoLMs can significantly enhance their temporal understanding by leveraging a counterfactual approach that reveals hidden dynamics in video data.
TrapHunter uncovers hidden malicious pathways in token contracts that masquerade as compliant, achieving remarkable detection rates against sophisticated traps.
AMLGuard can track illicit funds with a remarkable 98.4% address recall, revolutionizing the fight against crypto money laundering.
