User menu

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


Displaying 5 results.
    • 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
    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 —