16 citations · 16 across the 3 of their papers we have counts for
3 papers
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…
Defying the Odds: Solana's Unexpected Resilience in Spite of the Security Challenges Faced by Developers
Sébastien Andreina, Tobias Cloosters, Lucas Davi +5
Solana gained considerable attention as one of the most popular blockchain platforms for deploying decentralized applications. Compared to Ethereum, however, we observe a lack of r…
TeeRex: Discovery and Exploitation of Memory Corruption Vulnerabilities in SGX Enclaves
Tobias Cloosters, Michael Rodler, Lucas Davi
Intel's Software Guard Extensions (SGX) introduced new instructions to switch the processor to enclave mode which protects it from introspection. While the enclave mode strongly pr…