4 citations · 4 across the 1 of their papers we have counts for
3 papers
cs.PL2021
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…
cs.PL2020
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…
cs.PL2019★ 4 cited
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…