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
Fuzz on the Beach: Fuzzing Solana Smart Contracts
Sven Smolka, Jens-Rene Giesen, Pascal Winkler +4
Solana has quickly emerged as a popular platform for building decentralized applications (DApps), such as marketplaces for non-fungible tokens (NFTs). A key reason for its success…