3 papers
cs.CR2026
SseRex: Practical Symbolic Execution of Solana Smart Contracts
Tobias Cloosters, Pascal Winkler, Jens-Rene Giesen +2
Solana is rapidly gaining traction among smart contract developers and users. However, its growing adoption has been accompanied by a series of major security incidents, which have…
cs.CR2025
Targeted Fuzzing for Unsafe Rust Code: Leveraging Selective Instrumentation
David Paaßen, Jens-Rene Giesen, Lucas Davi
Rust is a promising programming language that focuses on concurrency, usability, and security. It is used in production code by major industry players and got recommended by govern…
cs.CR2024
Defying the Odds: Solana's Unexpected Resilience in Spite of the Security Challenges Faced by Developers
Sébastien Andreina, Tobias Cloosters, Lucas Davi +5
Solana gained considerable attention as one of the most popular blockchain platforms for deploying decentralized applications. Compared to Ethereum, however, we observe a lack of r…