49 citations
- Saarland UniversityDE10 papers
- Max Planck Institute for InformaticsDE5 papers
- KU LeuvenBE2 papers
- Leibniz University HannoverDE2 papers
- Max Planck Institute for Software SystemsDE2 papers
- Max Planck SocietyDE2 papers
- Monash UniversityAU2 papers
- Ruhr University BochumDE2 papers
- Stanford UniversityUS2 papers
- Technical University of MunichDE2 papers
- University of StuttgartDE2 papers
- Zhejiang UniversityCN2 papers
4 papers · 1 filter
Causality & Control Flow
Robert Künnemann, Deepak Garg, Michael Backes
Causality has been the issue of philosophic debate since Hippocrates. It is used in formal verification and testing, e.g., to explain counterexamples or construct fault trees. Rece…
Padding Ain't Enough: Assessing the Privacy Guarantees of Encrypted DNS
Jonas Bushart, Christian Rossow
DNS over TLS (DoT) and DNS over HTTPS (DoH) encrypt DNS to guard user privacy by hiding DNS resolutions from passive adversaries. Yet, past attacks have shown that encrypted DNS is…
Better Code, Better Sharing:On the Need of Analyzing Jupyter Notebooks
Jiawei Wang, Li Li, Andreas Zeller
By bringing together code, text, and examples, Jupyter notebooks have become one of the most popular means to produce scientific results in a productive and reproducible way. As ma…
Language in Our Time: An Empirical Analysis of Hashtags
Yang Zhang
Hashtags in online social networks have gained tremendous popularity during the past five years. The resulting large quantity of data has provided a new lens into modern society. P…