16 papers
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…
On Abnormal Execution Timing of Conditional Jump Instructions
Annika Wilde, Samira Briongos, Claudio Soriente +1
An extensive line of work on modern computing architectures has shown that the execution time of instructions can (i) depend on the operand of the instruction or (ii) be influenced…
The Real Menace of Cloning Attacks on SGX Applications
Annika Wilde, Samira Briongos, Claudio Soriente +1
Trusted Execution Environments (TEEs) are gaining popularity as an effective means to provide confidentiality in the cloud. TEEs, such as Intel SGX, suffer from so-called rollback…