Publikationen

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