24 citations · 29 across the 7 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.PL2025
The downgrading semantics of memory safety (Extended version)
René Rydhof Hansen, Andreas Stenbæk Larsen, Aslan Askarov
Memory safety is traditionally characterized in terms of bad things that cannot happen. This approach is currently embraced in the literature on formal methods for memory safety. H…
cs.CR2025
User Perceptions and Attitudes Toward Untraceability in Messaging Platforms
Carla F. Griggio, Boel Nelson, Zefan Sramek +1
Mainstream messaging platforms offer a variety of features designed to enhance user privacy, such as password-protected chats and end-to-end encryption, which primarily protect mes…