User menu

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

Search

Displaying 1 - 25 of 34 results.

Pages

    • 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
    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 —
    • 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 —
    • Speech
    Quantitative Anonymity Evaluation of Voting Protocols
    Biondi, Fabrizio Legay, Axel[UCL] (2014) 12th International Conference on Software Engineering and Formal Methods —
    • 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)
    • 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 —
    • Speech
    MASSE: Modular Automated Syntactic Signature Extraction
    Biondi, Fabrizio Déchelle, François Legay, Axel[UCL] (2017) ISSRE 2017 - The 28th International Symposium on Software Reliability Engineering - IEEE —
    • 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
    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
    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
    Comparative Analysis of Leakage Tools on Scalable Case Studies
    Biondi, Fabrizio Legay, Axel[UCL] Quilbeuf, Jean (2015) 22nd International SPIN Workshop on Model Checking of Software —
    • 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 —

Pages