A
Menu
November 12, 2024 conference-paper Open access Aachen paper

Symbolic Quantitative Information Flow for Probabilistic Programs

Lecture notes in computer science, pp. 128–154

DOI: 10.1007/978-3-031-75783-9_6 Full text (OA) OpenAlex

Authors 4

  1. Philipp Schröer Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

  2. Francesca Randone

    University of Trieste

    Affiliation as printed

    University of Trieste, Trieste, Italy

  3. Raúl Pardo corresponding

    IT University of Copenhagen

    Affiliation as printed

    IT University of Copenhagen, Copenhagen, Denmark

    IT University of Copenhagen, Computer Science, DK

  4. Andrzej Wąsowski

    IT University of Copenhagen

    Affiliation as printed

    IT University of Copenhagen, Copenhagen, Denmark

    IT University of Copenhagen, Computer Science, DK

Cited by 0 stored of 0

No patents citing this paper on Lens.org (checked 2026-10-06).

References 44