会员服务
Smart Blockchain-Based Access Control for the Internet of Things
Arxiv
0+阅读 · 6月11日
From Hype to Collapse: Investigating Rug Pull Scams on Solana
Arxiv
0+阅读 · 5月31日
SCDBench: A Benchmark for LLM-Based Smart Contract Decompilers
Arxiv
0+阅读 · 5月27日
Prrr: Personal Random Rewards for Blockchain Reporting
Arxiv
0+阅读 · 5月18日
Prrr: Personal Random Rewards for Blockchain Reporting
Arxiv
0+阅读 · 5月21日
Mapping Partisan Fault Lines Within DAOs
Arxiv
0+阅读 · 5月11日
Neuroforger: certified violation witnesses for smart contracts verification via LLMs
Arxiv
0+阅读 · 5月29日
Smart Contract Security Beyond Detection
Arxiv
0+阅读 · 5月16日
GasLiteAA: Optimizing ERC-4337 for Efficient and Secure Gas Sponsorship
Arxiv
0+阅读 · 4月11日
A Unified Framework and Comparative Study of Decentralized Finance Derivatives Protocols
Arxiv
0+阅读 · 5月4日
SolRugDetector: Investigating Rug Pulls on Solana
Arxiv
0+阅读 · 3月25日
Capturing Monetarily Exploitable Vulnerability in Smart Contracts via Auditor Knowledge-Learning Fuzzing
Arxiv
0+阅读 · 4月20日
SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing
Arxiv
0+阅读 · 4月9日
SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing
Arxiv
0+阅读 · 4月10日
KindHML: formal verification of smart contracts based on Hennessy-Milner logic
Arxiv
0+阅读 · 4月15日
参考链接
微信扫码咨询专知VIP会员
Top