1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.SE2025
SandCell: Sandboxing Rust Beyond Unsafe Code
Jialun Zhang, Merve Gulmez, Thomas Nyman +1
Rust is a modern systems programming language that ensures memory safety by enforcing ownership and borrowing rules at compile time. While the unsafe keyword allows programmers to…
cs.CR2025
BLACKOUT: Data-Oblivious Computation with Blinded Capabilities
Hossam ElAtali, Merve Gülmez, Thomas Nyman +1
Lack of memory-safety and exposure to side channels are two prominent, persistent challenges for the secure implementation of software. Memory-safe programming languages promise to…
cs.CR2024★ 1 cited
Do we still need canaries in the coal mine? Measuring shadow stack effectiveness in countering stack smashing
Hugo Depuydt, Merve Gülmez, Thomas Nyman +1
Stack canaries and shadow stacks are widely deployed mitigations to memory-safety vulnerabilities. While stack canaries are introduced by the compiler and rely on sentry values pla…