User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 3 results.
    • Speech
    Information Leakage of Non-Terminating Processes
    Biondi, Fabrizio Legay, Axel[UCL] Nielsen Bo, Friis Malacaria, Pasquale Wasowski, Andrzej (2014) IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science —
    • Journal article
    Quantifying Information Leakage of Randomized Protocols
    Biondi, Fabrizio Legay, Axel[UCL] Malacaria, Pasquale Wąsowski, Andrzej (2014) Theoretical Computer Science — p. 68-87 (2014)
    • Speech
    Quantifying Information Leakage of Randomized Protocols
    Biondi, Fabrizio Legay, Axel[UCL] Malacaria, Pasquale Wąsowski, Andrzej (2013) 14th International Conference on Verification, Model Checking, and Abstract Interpretation —