User menu

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

Search

Displaying 1 - 25 of 29 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)
    • 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)
    • 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 —
    • 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)
    • Speech
    Verification of Interlocking Systems Using Statistical Model Checking
    Cappart, Quentin Limbrée, Christophe Schaus, Pierre Quilbeuf, Jean Traonouez, Louis-Marie Legay, Axel[UCL] (2017) 18th IEEE International Symposium on High Assurance Systems Engineering (HASE) — Singapore
    • Speech
    Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata
    Gjøl Jensen, Peter Larsen, Kim Legay, Axel[UCL] Poulsen, Danny (2017) GraMSec 2017 - The Fourth International Workshop on Graphical Models for Security —
    • Speech
    On Featured Transition Systems
    Perrouin, Gilles Heymans, Patrick Legay, Axel[UCL] Devroey, Xavier Cordy, Maxime Schobbens, Pierre-Yves (2017) SOFSEM 2017 - 43rd International Conference on Current Trends in Theory and Practice of Informatics —
    • 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 —
    • Speech
    How TrustZone could be bypassed: Side-Channel Attacks on a modern System-on-Chip
    Kevin, Bukasa Lashermes, Ronan Lanet, Jean-Louis Le Bouder, Hélène Legay, Axel[UCL] (2017) Wistp'17, International Conference on Information Security Theory and Practice —
    • Speech
    Plasma Lab Statistical Model Checker: Architecture, Usage and Extension
    Legay, Axel[UCL] Traonouez, Louis-Marie (2017) SOFSEM 2017 - 43rd International Conference on Current Trends in Theory and Practice of Computer Science —
    • Speech
    Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults
    Given-Wilson, Thomas Legay, Axel[UCL] Sedwards, Sean (2017) HAS 2017 - International Conference on Human Aspects of Information Security, Privacy, and Trust —
    • Speech
    How TrustZone Could Be Bypassed: Side-Channel Attacks on a Modern System-on-Chip
    Bukasa, Sebanjila Lashermes, Ronan Bouder, Hélène Lanet, Jean-Louis Legay, Axel[UCL] (2017) 11th IFIP International Conference on Information Security Theory and Practice (WISTP) —
    • 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 —
    • Speech
    Featured Weighted Automata
    Fahrenberg, Uli Legay, Axel[UCL] (2017) 5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017) — Buenos Aires, Argentina
    • Speech
    Practical Controller Synthesis for MTL$0,∞$
    Li, Guangyuan Jensen, Peter Larsen, Kim Legay, Axel[UCL] Poulsen, Danny (2017) International SPIN Symposium on Model Checking of Software —
    • Speech
    Analyzing Ambient Assisted Living Solutions: A Research Perspective
    Kunnappilly, Ashalatha Legay, Axel[UCL] Margaria, Tiziana Seceleanu, Cristina Steffen, Bernhard Traonouez, Louis-Marie (2017) 12th International Conference on Desig &Technology of Integrated Systems In Nanoscale Era (DTIS) — Palma de Mallorca, Spain

Pages