26 citations · 29 across the 17 of their papers we have counts for
26 papers
On Identifying Sound Conditions for Frontrunning Resistance
Sebastian Holler, Anna Piscitelli, Jannik Albrecht +3
Blockchains enable decentralized applications through smart contracts---interactive programs executed through consensus. However, the inherently asynchronous nature of blockchain t…
"They don't care about this": A Systematic Study of TEE Build Reproducibility in the Wild
Annika Wilde, Marco Gutfleisch, Felix Reichmann +4
Trusted Execution Environments (TEEs) have become a cornerstone of modern cloud computing, providing strong confidentiality and integrity guarantees for both code and data. A criti…
On Securing the Software Development Lifecycle in IoT RISC-V Trusted Execution Environments
Annika Wilde, Samira Briongos, Claudio Soriente +1
RISC-V-based Trusted Execution Environments (TEEs) are gaining traction in the automotive and IoT sectors as a foundation for protecting sensitive computations. However, the suppor…
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…
Mitigating Collusion in Proofs of Liabilities
Malcom Mohamed, Ghassan Karame
Cryptocurrency exchanges use proofs of liabilities (PoLs) to prove to their customers their liabilities committed on-chain, thereby enhancing their trust in the service. Unfortunat…
On the Effectiveness of Mempool-based Transaction Auditing
Jannik Albrecht, Ghassan Karame
While the literature features a number of proposals to defend against transaction manipulation attacks, existing proposals are still not integrated within large blockchains, such a…