User menu

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

Search

Displaying 13 results.
    • 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)
    • WorkingPaper
    High-level Frameworks for the Specification and Verification of Scheduling Problems
    Chadli, Mounir Kim, Jin Larsen, Kim Legay, Axel[UCL] Naujokat, Stefan Steffen, Bernhard Traonouez, Louis-Marie (2017)
    • WorkingPaper
    Profiled SCA with a New Twist: Semi-supervised Learning
    Heuser, Annelie Picek, Stjepan Legay, Axel[UCL] Knezevic, Karlo (2017)
    • WorkingPaper
    Scalable Approximation of Quantitative Information Flow in Programs
    Biondi, Fabrizio Enescu, Michael Heuser, Annelie Legay, Axel[UCL] Meel, Kuldeep Quilbeuf, Jean (2017)
    • WorkingPaper
    Orchestration for Secure Multi-party Communications in Web-Services ✩
    Ben Said, Najah Abdellatif, Takoua Bozga, Marius Ben Salem, Saddek Legay, Axel[UCL] (2017)
    • WorkingPaper
    An Automated and Scalable Formal Process for Detecting Fault Injection Vulnerabilities in Binaries
    Given-Wilson, Thomas Heuser, Annelie Jafri, Nisrine Lanet, Jean-Louis Legay, Axel[UCL] (2017)
    • Journal article
    Statistical Prioritization for Software Product Line Testing: an Experience Report
    Devroey, Xavier Perrouin, Gilles Cordy, Maxime Samih, Hamza Legay, Axel[UCL] Schobbens, Pierre-Yves Heymans, Patrick (2017) Software & Systems Modeling —
    • WorkingPaper
    Statistical Model Checking of LLVM Code
    Traonouez, Louis-Marie Legay, Axel[UCL] Nowotka, Dirk Poulsen, Danny (2017)
    • Journal article
    An Application of SMC to continuous validation of heterogeneous systems
    Arnold, Alexandre Baleani, Massimo Ferrari, Alberto Marazza, Marco Senni, Valerio Legay, Axel[UCL] Quilbeuf, Jean Etzien, Christoph (2017) EAI Endorsed Transactions on Industrial Networks and Intelligent Systems — Vol. 4, no. 10, p. 152154 (2017)
    • Journal article
    When Time Meets Test
    Lanet, Jean-Louis Le Bouder, Hélène Benattou, Mohammed Legay, Axel[UCL] (2017) International Journal of Information Security — p. 395-409 (2017)
    • WorkingPaper
    On the Relevance of Feature Selection for Profiled Side-channel Attacks
    Heuser, Annelie Picek, Stjepan Jovic, Alan Legay, Axel[UCL] (2017)
    • Book
    Proceedings of the 1st ACM SAC Conference Track on Software-intensive Systems-of-Systems (SiSoS 2017) : 32nd ACM SIGAPP Symposium On Applied Computing : 32nd ACM SIGAPP Symposium On Applied Computing
    Oquendo, Flavio Drira, Khalil Legay, Axel[UCL] Batista, Thais (2017)
    • WorkingPaper
    An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT -- Extended Version
    Given-Wilson, Thomas Jafri, Nisrine Lanet, Jean-Louis Legay, Axel[UCL] (2017)