Jens-Rene Giesen
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Crypto×1Software Eng.×1
Frequent co-authors
Research Timeline
2026
SseRex: Practical Symbolic Execution of Solana Smart Contracts
The paper introduces SseRex, a novel symbolic execution framework designed to detect unique and complex vulnerabilities in Solana smart contracts, significantly outperforming existing tools.
Highlighted terms show continued research focus across papers