User menu

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

All Publications

Displaying 1 - 25 of 34 results.

Pages

    • Journal article
    Introduction to the special issue for SPIN 2019
    Biondi, Fabrizio Given-Wilson, Thomas[UCL] Legay, Axel[UCL] (2020) International Journal on Software Tools for Technology Transfer — Vol. 22, no.5, p. 563-564 (2020)
    • Journal article
    Effectiveness of Synthesis in Concolic Deobfuscation
    Biondi, Fabrizio Josse, Sébastien Legay, Axel[UCL] Sirvent, Thomas (2017) Computers and Security — Vol. 70, p. 500-515 (2017)
    • Speech
    Information Leakage as a Scheduling Resource
    Biondi, Fabrizio Chadli, Mounir Given-Wilson, Thomas Legay, Axel[UCL] (2017) International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems —
    • Speech
    Measuring Global Similarity between Texts
    Fahrenberg, Uli Biondi, Fabrizio Corre, Kevin Jegourel, Cyrille Kongshøj, Simon Legay, Axel[UCL] (2014) SLSP 2014 : Second International Conference on Statistical Language and Speech Processing —
    • 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
    Maximizing Entropy over Markov Processes
    Biondi, Fabrizio Legay, Axel[UCL] Nielsen Bo, Friis Wasowski, Andrzej (2014) Journal of Logical and Algebraic Methods in Programming —
    • 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
    Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow
    Kawamoto, Yusuke Biondi, Fabrizio Legay, Axel[UCL] (2016) FM 2016 - 21st International Symposium on Formal Methods —
    • Speech
    Maximizing Entropy over Markov Processes
    Biondi, Fabrizio Legay, Axel[UCL] Friis Nielsen, Bo Wasowski, Andrzej (2013) 7th International Conference on Language and Automata Theory and Applications —
    • Speech
    Attainable Unconditional Security for Shared-Key Cryptosystems
    Biondi, Fabrizio Given-Wilson, Thomas Legay, Axel[UCL] (2015) The 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-15) —
    • Speech
    Quantitative Anonymity Evaluation of Voting Protocols
    Biondi, Fabrizio Legay, Axel[UCL] (2014) 12th International Conference on Software Engineering and Formal Methods —
    • Speech
    Security and Privacy of Protocols and Software with Formal Methods
    Biondi, Fabrizio Legay, Axel[UCL] (2016) 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation —
    • Speech
    HyLeak: Hybrid Analysis Tool for Information Leakage
    Biondi, Fabrizio Kawamoto, Yusuke Legay, Axel[UCL] Traonouez, Louis-Marie (2017) ATVA 2017 - Fifteenth International Symposium on Automated Technology for Verification and Analysis —

Pages