24 citations · 29 across the 7 of their papers we have counts for
9 papers
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…
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…
OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads
Jeppe Fredsgaard Blaabjerg, Aslan Askarov
Traffic analysis attacks remain a significant problem for online security. Communication between nodes can be observed by network level attackers as it inherently takes place in th…
Metadata Privacy Beyond Tunneling for Instant Messaging
Boel Nelson, Elena Pagnin, Aslan Askarov
Transport layer data leaks metadata unintentionally -- such as who communicates with whom. While tools for strong transport layer privacy exist, they have adoption obstacles, inclu…
With a Little Help from My Friends: Transport Deniability for Instant Messaging
Boel Nelson, Aslan Askarov
Traffic analysis for instant messaging (IM) applications continues to pose an important privacy challenge. In particular, transport-level data can leak unintentional information ab…
Towards Language-Based Mitigation of Traffic Analysis Attacks
Jeppe Fredsgaard Blaabjerg, Aslan Askarov
Traffic analysis attacks pose a major risk for online security. Distinctive patterns in communication act as fingerprints, enabling adversaries to de-anonymise communicating partie…
Reconciling progress-insensitive noninterference and declassification
Johan Bay, Aslan Askarov
Practitioners of secure information flow often face a design challenge: what is the right semantic treatment of leaks via termination? On the one hand, the potential harm of untrus…
A Dependently Typed Library for Static Information-Flow Control in Idris
Simon Gregersen, Søren Eller Thomsen, Aslan Askarov
Safely integrating third-party code in applications while protecting the confidentiality of information is a long-standing problem. Pure functional programming languages, like Hask…
Attacker Control and Impact for Confidentiality and Integrity
Aslan Askarov, Andrew Myers
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se…