Type of Publication: Article in Collected Edition

SscRex: Practical Symbolic Execution of Solana Smart Contracts

Author(s):

Cloosters, Tobias; Winkler, Pascal; Giesen, Jens-Rene; Karame, Ghassan; Davi, Lucas

Title of Anthology:

Proc. of 23rd International Conference of Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA)

Publisher:

Springer

Location(s):

Chania, Greece

Publication Date:

2026

Citation:

Download BibTeX