Built with and by Teycir Ben Soltane•
How to Use•FAQ•GitHub•arXiv.org•
Share:
ArXivCSExplorer
☆☆Bookmarks🏆RSSHow to UseFAQ
Home/Authors/Ghassan Karame

Ghassan Karame

2 indexed papers

Recent (6 mo)
2
With code
0
Influential cites
0
Benchmarked
0

Publications per year

2
26

Top categories

Crypto×2Software Eng.×1

Frequent co-authors

Annika Wilde1×
Samira Briongos1×
Claudio Soriente1×
Tobias Cloosters1×
Pascal Winkler1×
Jens-Rene Giesen1×

Research Timeline

2026
SseRex: Practical Symbolic Execution of Solana Smart Contracts

The paper introduces SseRex, a novel symbolic execution framework designed to detect unique and complex vulnerabilities in Solana smart contracts, significantly outperforming existing tools.

On Securing the Software Development Lifecycle in IoT RISC-V Trusted Execution Environments

The paper introduces a novel toolkit to enhance RISC-V Trusted Execution Environments (TEEs) by adding modular extensions for secure enclave update, migration, state continuity, and trusted time, thereby improving the overall software development lifecycle security.

Highlighted terms show continued research focus across papers

Papers

cs.CRRecentMar 18, 2026

On Securing the Software Development Lifecycle in IoT RISC-V Trusted Execution Environments

Annika Wilde, Samira Briongos, Claudio Soriente, Ghassan Karame

The paper introduces a novel toolkit to enhance RISC-V Trusted Execution Environments (TEEs) by adding modular extensions for secure enclave update, migration, state continuity, and trusted time, ther…

View →
cs.CRcs.SERecentMar 17, 2026

SseRex: Practical Symbolic Execution of Solana Smart Contracts

Tobias Cloosters, Pascal Winkler, Jens-Rene Giesen, Ghassan Karame +1 more

The paper introduces SseRex, a novel symbolic execution framework designed to detect unique and complex vulnerabilities in Solana smart contracts, significantly outperforming existing tools.

View →