Art der Publikation: Beitrag in Sammelwerk

SscRex: Practical Symbolic Execution of Solana Smart Contracts

Autor(en):

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

Titel des Sammelbands:

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

Verlag:

Springer

Ort(e):

Chania, Greece

Veröffentlichung:

2026

Zitation:

Download BibTeX