Menu utilisateur

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

Rechercher

Affichage: 1 - 25 sur 40 résultats.

Pages

    • Chapitre
    The State of Fault Injection Vulnerability Detection
    Given-Wilson, Thomas Jafri, Nisrine Legay, Axel[UCL] (2018) —
    • Document de travail
    On the Attacker's Knowledge in Shared-Key Cryptosystems
    Biondi, Fabrizio Given-Wilson, Thomas Legay, Axel[UCL] (2015)
    • Document de travail
    On the Expressiveness of Coordination
    Given-Wilson, Thomas Legay, Axel[UCL] (2015)
    • Article de périodique
    Attainable Unconditional Security for Shared-Key Cryptosystems
    Biondi, Fabrizio Given-Wilson, Thomas Legay, Axel[UCL] (2016) Information Sciences —
    • Document de travail
    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)
    • Article de périodique
    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 —
    • Article de périodique
    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 —
    • Monographie
    Model Checking Software
    Fabrizio Biondi Given-Wilson, Thomas[UCL] Legay, Axel[UCL] (2019)
    • Communication
    Detection of Mirai by Syntactic and Semantic Analysis
    Ben Said, Najah Said, Najah Biondi, Fabrizio Bontchev, Vesselin Decourbe, Olivier Given-Wilson, Thomas Legay, Axel[UCL] Quilbeuf, Jean (2018) 2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE) —
    • Communication
    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 —
    • Article de périodique
    X-by-C: Non-functional Security Challenges
    Given-Wilson, Thomas[UCL] Legay, Axel[UCL] (2018) Leveraging Applications of Formal Methods, Verification and Validation. Modeling — , p. pp 486-501 (2018)
    • Communication
    On the Expressiveness of Symmetric Communication
    Given-Wilson, Thomas Legay, Axel[UCL] (2016) Theoretical Aspects of Computing – ICTAC 2016 —
    • Communication
    Tutorial: an Overview of Malware Detection and Evasion Techniques
    Biondi, Fabrizio Given-Wilson, Thomas Legay, Axel[UCL] Puodzius, Cassius Quilbeuf, Jean (2018) ISoLA —
    • Article de périodique
    On the Expressiveness of Joining and Splitting
    Given-Wilson, Thomas Legay, Axel[UCL] (2018) Journal in honour of Bernhard Steffen's 60th —
    • Communication
    An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT
    Given-Wilson, Thomas Jafri, Nisrine Lanet, Jean-Louis Legay, Axel[UCL] (2017) 2017 IEEE Trustcom/BigDataSE/ICESS — Sydney, Australia
    • Article de périodique
    Effective, efficient, and robust packing detection and classification
    Biondi, Fabrizio Enescu, Michael A. Given-Wilson, Thomas[UCL] Legay, Axel[UCL] Noureddine, Lamine Verma, Vivek (2019) Computers & Security — Vol. 85, no.85, p. 436-451 (2019)
    • Article de périodique
    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)
    • Communication
    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 —
    • Communication
    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) —
    • Communication
    On the Expressiveness of Joining
    Given-Wilson, Thomas Legay, Axel[UCL] (2015) 8th Interaction and Concurrency Experience (ICE 2015) —
    • Communication
    Brief Announcement: Effectiveness of Code Hardening for Fault-Tolerant IoT Software
    Zavalyshyn, Igor[UCL] Given-Wilson, Thomas[UCL] Legay, Axel[UCL] Sadre, Ramin[UCL] (2020) SSS 2020: Stabilization, Safety, and Security of Distributed Systems —
    • Communication
    Improving Secure and Robust Patient Service Delivery
    Baranov, Eduard[UCL] Given-Wilson, Thomas[UCL] Legay, Axel[UCL] (2020) ISoLA 2021 — Rhodes, Greece
    • Communication
    Pluginizing QUIC
    De Coninck, Quentin[UCL] Michel, François[UCL] Piraux, Maxime[UCL] Rochet, Florentin[UCL] Given-Wilson, Thomas[UCL] Legay, Axel[UCL] Pereira, Olivier[UCL] Bonaventure, Olivier[UCL] (2019) The ACM Special Interest Group on Data Communication - SIGCOMM '19 — Beijing, China
    • Article de périodique
    Analysis of Machine Learning Approaches to Packing Detection
    Bertrand Van Ouytsel, Charles-Henry[UCL] Given-Wilson, Thomas[UCL] Minet,Jeremy[UCL] Roussieau, Julian[UCL] Legay, Axel[UCL] (2021) Computer & security — (2021)
    • Communication
    Chaos Duck: Towards Automatic IoT Software Fault-Tolerance Analysis
    Zavalyshyn, Igor[UCL] Given-Wilson, Thomas[UCL] Legay, Axel[UCL] Sadre, Ramin[UCL] Riviere, Etienne[UCL] (2021) The 40th International Symposium on Reliable Distributed Systems (SRDS) —

Pages