arXiv cs.CR·11d agoTasmScan: Continuation-Aware Taint Analysis for TVM Bytecode with Savelist Abstraction#blockchain-security#bytecode#smart-contractsResearch1
arXiv cs.CR·17d agoBenchShield: Formal Model-Backed Instrumentation for Reward Integrity in LLM-Agent Evaluation Infrastructure#benchmark-integrity#evaluation-infrastructure#llm-agentsAI safety & security1
arXiv cs.CR·22d agoPropagation Model for SSC attacks: Why SBOM (tools) don't tell the whole truth#log4j#sbom#software-supply-chainResearch1