User menu

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

Search

Displaying 14 results.
    • Journal article
    Model-based mutant equivalence detection using automata language equivalence and simulations
    Devroey, Xavier Perrouin, Gilles Papadakis, Mike Legay, Axel[UCL] Schobbens, Pierre-Yves Heymans, Patrick (2018) Journal of Systems and Software — Vol. 141, no. 2, p. 1-15 (2018)
    • WorkingPaper
    Bridging Software-Based and Hardware-Based Fault Injection Vulnerability Detection
    Given-Wilson, Thomas Jafri, Nisrine Legay, Axel[UCL] (2018)
    • Journal article
    Effective, Efficient, and Robust Packing Detection and Classification
    Biondi, Fabrizio Enescu, Michael Given-Wilson, Thomas Legay, Axel[UCL] Noureddine, Lamine Verma, Vivek (2018) Computers and Security —
    • Journal article
    An automated and scalable formal process for detecting fault injection vulnerabilities in binaries
    Given-Wilson, Thomas Heuser, Annelie Jafri, Nisrine Legay, Axel[UCL] (2018) Concurrency and Computation: Practice and Experience —
    • Journal article
    Group Abstraction for Assisted Navigation of Social Activities in Intelligent Environments
    Given-Wilson, Thomas Legay, Axel[UCL] Sedwards, Sean Zendra, Olivier (2018) Journal of Reliable Intelligent Environments — Vol. 4, no. 2, p. 107-120 (2018)
    • Journal article
    Performance Evaluation of Stochastic Real-Time Systems with the SBIP Framework
    Nouri, Ayoub Mediouni, Braham Bozga, Marius Combaz, Jacques Bensalem, Saddek Legay, Axel[UCL] (2018) International Journal of Critical Computer-Based Systems — p. 1-33 (2018)
    • WorkingPaper
    Universal Optimality of Apollonian Cell Encoders
    Biondi, Fabrizio Given-Wilson, Thomas Legay, Axel[UCL] (2018)
    • Book
    Risks and security of internet and systems : 12th international conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, revised selected papers
    Cuppens-Boulahia, Nora Cuppens, Frédéric Lanet, Jean-Louis Legay, Axel[UCL] Garcia-Alfaro, Joaquin (2018)
    • BookChapter
    The State of Fault Injection Vulnerability Detection
    Given-Wilson, Thomas Jafri, Nisrine Legay, Axel[UCL] (2018) —
    • Journal article
    On the Expressiveness of Joining and Splitting
    Given-Wilson, Thomas Legay, Axel[UCL] (2018) Journal in honour of Bernhard Steffen's 60th —
    • WorkingPaper
    Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow
    Biondi, Fabrizio Kawamoto, Yusuke Legay, Axel[UCL] Traonouez, Louis-Marie (2018)
    • Journal article
    Dynamic networks of heterogeneous timed machines
    Fiadeiro, José Lopes, Antónia Delahaye, Benoît Legay, Axel[UCL] (2018) Mathematical Structures in Computer Science — Vol. 28, no. 06, p. 800-855 (2018)
    • BookChapter
    A Modeling Language for Security Threats of IoT Systems
    Beaulaton, Delphine Cristescu, Ioana Legay, Axel[UCL] Quilbeuf, Jean (2018) —
    • WorkingPaper
    Efficient Extraction of Malware Signatures Through System Calls and Symbolic Execution: An Experience Report
    Baranov, Eduard Biondi, Fabrizio Decourbe, Olivier Given-Wilson, Thomas Legay, Axel[UCL] Puodzius, Cassius Quilbeuf, Jean Sebastio, Stefano (2018)