User menu

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

Search

Displaying 1 - 25 of 217 results.

Pages

    • Speech
    Extended abstract - Detection and classification of malware based on symbolic execution and machine learning methods
    Bertrand Van Ouytsel, Charles-Henry[UCL] Legay, Axel[UCL] (2021) Cybersec&AI — Online
    • Speech
    A Scalable t-wise Coverage Estimator
    Baranov, Eduard[UCL] Chakraborty, Sourav Legay, Axel[UCL] Meel, Kuldeep S. Variyam, Vinodchandran N. (2022) 44th International Conference on Software Engineering — Pittsburgh USA / Virtual
    • Speech
    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) —
    • Speech
    User Reception of Babylon Health's Chatbot
    Magalhaes Azevedo, Daniela[UCL] Legay, Axel[UCL] Kieffer, Suzanne[UCL] (2022) HUCAPP 2022, 6th International Conference on Human Computer Interaction Theory and Applications — Vienna, Austria
    • Speech
    Verifying QUIC implementations using Ivy
    Crochet, Christophe[UCL] Rousseaux, Tom[UCL] Piraux, Maxime[UCL] Sambon, Jean-François[UCL] Legay, Axel[UCL] (2021) ACM CoNEXT 2021 Workshop on the Evolution, Performance, and Interoperability of QUIC — Germany
    • Speech
    C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs
    Chenoy, Antoine[UCL] Duchêne, Fabien[UCL] Given-Wilson, Thomas[UCL] Legay, Axel[UCL] (2021) SPIN 2021 - 27th International SPIN Symposium on Model Checking of Software — Online
    • Speech
    Smart Home Care: Towards Supporting Elderlies in the Comfort and Safety of their (Smart) Homes
    Zavalyshyn, Igor[UCL] Legay, Axel[UCL] Rath, Annanda Riviere, Etienne[UCL] (2021) Safety, Security, and Privacy in Complex Artificial Intelligence based Systems (SAFELIFE 2021) —
    • Speech
    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 —
    • Speech
    Improving Secure and Robust Patient Service Delivery
    Baranov, Eduard[UCL] Given-Wilson, Thomas[UCL] Legay, Axel[UCL] (2020) ISoLA 2021 — Rhodes, Greece
    • Speech
    Probabilistic Collision Risk Estimation for Autonomous Driving: Validation via Statistical Model Checking
    Paigwar, Anshul Baranov, Eduard[UCL] Renzaglia, Alessandro Laugier, Christian Legay, Axel[UCL] (2020) IEEE Intelligent Vehicles Symposium (IV) 2020 — (Virtual) Las Vegas, NV, United States
    • Speech
    Flowverine: Leveraging Dataflow Programming for Building Privacy-Sensitive Android Applications
    Gomes, Eduardo Zavalyshyn, Igor[INESC-ID / Instituto Superior Tecnico, Universidad de Lisboa, UCL] Santos, Nuno Silva, João Legay, Axel[UCL] (2020) The 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom'20) — Guangzhou, China
    • Speech
    My House, My Rules: A Private-by-Design Smart Home Platform
    Zavalyshyn, Igor[UCL] Santos, Nuno Sadre, Ramin[UCL] Legay, Axel[UCL] (2020) EAI MobiQuitous 2020 - 17th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services — Virtual
    • Speech
    Test Scenario Generation for Context-Oriented Programs
    Martou, Pierre[UCL] Mens, Kim[UCL] Duhoux, Benoît[UCL] Legay, Axel[UCL] (2021) VALID 2021, The Thirteenth International Conference on Advances in System Testing and Validation Lifecycle — Barcelona, Spain
    • Speech
    Implementing the plugin distribution system
    Rybowski, Nicolas[UCL] De Coninck, Quentin[UCL] Rousseaux, Tom[UCL] Legay, Axel[UCL] Bonaventure, Olivier[UCL] (2021) SIGCOMM '21: ACM SIGCOMM 2021 Conference — Virtual Event
    • Speech
    xBGP: Faster Innovation in Routing Protocols
    Wirtgen, Thomas[UCL] Rousseaux, Tom[UCL] De Coninck, Quentin[UCL] Rybowski, Nicolas[UCL] Bush, Randy Vanbever, Laurent Legay, Axel[UCL] Bonaventure, Olivier[UCL] (2023) 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23) — Boston, MA, USA
    • Speech
    Compatibility of Fairness Metrics With EU Non-discrimination Law: A Legal and Technical Case Study
    Yousefi, Yasaman Koutsoviti-Koumeri, Lisa Legast, Magali[UCL] Schommer, Christoph Vanhoof, Koen Legay, Axel[UCL] (2023) European Workshop on Algorithmic Fairness — Winterthur, Switzerland
    • Speech
    Assistance in the management of rule sets for rule-based expert systems
    Legast, Magali[UCL] Legay, Axel[UCL] (2023) The 35th International Conference on Software Engineering and Knowledge Engineering — Hybrid, San Francisco, USA
    • Speech
    Beyond Combinatorial Interaction Testing: On the need for transition testing in dynamically adaptive context-aware systems
    Martou, Pierre[UCL] Duhoux, Benoît[UCL] Mens, Kim[UCL] Legay, Axel[UCL] (2023) International Conference on Software Testing, Verification and Validation Workshops (ICSTW) — Dublin, Ireland
    • Speech
    Baital: An Adaptive Weighted Sampling Platform for Configurable Systems
    Baranov, Eduard[UCL] Legay, Axel[UCL] (2022) 26th ACM International Systems and Software Product Line Conference — Graz, Austria
    • Speech
    Generating Virtual Scenarios for Cyber Ranges from Feature-Based Context-Oriented Models: A Case Study
    Martou, Pierre[UCL] Mens, Kim[UCL] Duhoux, Benoît[UCL] Legay, Axel[UCL] (2022) COP 2022: International Workshop on Context-Oriented Programming and Advanced Modularity (collocated with ECOOP) — Berlin, Germany
    • Speech
    A Secure User-Centred Healthcare System: Design and Verification
    Baranov, Eduard[UCL] Bowles, Juliana Given-Wilson, Thomas[UCL] Legay, Axel[UCL] Webber, Thais (2021) 10th International Symposium "From Data to Models and Back" — Virtual
    • Speech
    Tool paper - SEMA: Symbolic Execution toolchain for Malware Analysis
    Bertrand Van Ouytsel, Charles-Henry[UCL] Crochet, Christophe[UCL] Legay, Axel[UCL] (2022) 17th International Conference on Risks and Security of Internet and Systems —
    • Speech
    Toward interdisciplinary practice and increased social ROI: a case study on downstream effects of integrating UX in cyber system design
    Ramelot, Justine[UCL] Magalhaes Azevedo, Daniela[UCL] Legay, Axel[UCL] Kieffer, Suzanne[UCL] (2024) 57th Annual Hawaii International Conference on System Sciences (HICSS) — Honolulu, Hawaii, USA
    • Speech
    Malware Analysis with Symbolic Execution and Graph Kernel
    Bertrand Van Ouytsel, Charles-Henry[UCL] Legay, Axel[UCL] (2022) NordSec'22: The 27th Nordic Conference on Secure IT Systems — Reykjavik
    • Speech
    Experimental Toolkit for Manipulating Executable Packing
    D'Hondt, Alexandre[UCL] Bertrand Van Ouytsel, Charles-Henry[UCL] Legay, Axel[UCL] (2023) 18th International Conference on Risks and Security of Internet and Systems — Rabat, Morocco

Pages