User menu

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

Search

Displaying 25 results.
    • Speech
    Migration and development policies, a dangerous nexus? The Malian case.
    Deridder, Marie[UCL] (2018) Workshop : EU – Africa Migration Relations A Real and Fair Partnership ? For Whom ? — Louvain-la-Neuve
    • Journal article
    Multiaccess Channel With Partially Cooperating Encoders and Security Constraints
    Awan, Zohaib Hassan[UCL] Zaidi, Abdellatif Vandendorpe, Luc[UCL] (2013) IEEE Transactions on Information Forensics and Security — Vol. 8, no.7, p. 1243-1254 (July, 2013)
    • Journal article
    Secure delivery of images over open networks
    Augot, D Boucqueau, JM Delaigle, JF Fontaine, C. Goray, E (1999) Institute of Electrical and Electronics Engineers. Proceedings — Vol. 87, no. 7, p. 1251-1266 (1999)
    • Speech
    A Decade of Featured Transition Systems
    Cordy, Maxime[UCL] Devroey, Xavier Legay, Axel[UCL] Perrouin, Gilles Classen, Andreas Heymans, Patrick Schobbens, Pierre-Yves Raskin, Jean-François (2019) From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occas — Porto
    • Speech
    Tackling the equivalent mutant problem in real-time systems : the 12 commandments of model-based mutation testing
    Basile, Davide Beek, Maurice H. ter Cordy, Maxime Legay, Axel[UCL] (2020) SPLC '20: 24th ACM International Systems and Software Product Line Conference — Montreal Quebec Canada
    • Speech
    The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2
    Ninet, Tristan Legay, Axel[UCL] Maillard, Romaric Traonouez, Louis-Marie Zendra, Olivier (2019) 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications — Rotorua, New Zealand
    • Speech
    Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems
    ter Beek, Maurice H. Legay, Axel[UCL] Lluch Lafuente, Alberto Vandin, Andrea (2019) Integrated Formal Methods - 15th International Conference, {IFM} 2019 — Bergen, Norway
    • Speech
    PASTRAMI: Privacy-preserving, Auditable, Scalable & Trustworthy Auctions for Multiple Items
    Krol, Michal[UCL] Sonnino, Alberto Tasiopoulos, Argyrios Psaras, Ioannis Riviere, Etienne[UCL] (2020) ACM/IFIP Middleware conference — Delft, the Netherlands
    • Journal article
    Timed service contract automata
    Basile, Davide ter Beek, Maurice H. Legay, Axel[UCL] (2020) Innovations in Systems and Software Engineering — Vol. 16, no.2, p. 199-214 (2019)
    • Journal article
    A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems
    Ter Beek, Maurice H. Legay, Axel[UCL] Lafuente, Alberto Lluch Vandin, Andrea (2020) IEEE Transactions on Software Engineering — Vol. 46, no.3, p. 321-345 (2020)
    • Speech
    Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking
    Barbier, Mathieu Renzaglia, Alessandro Quilbeuf, Jean Rummelhard, Lukas Paigwar, Anshul Laugier, Christian Legay, Axel[UCL] Ibanez-Guzman, Javier Simonin, Olivier (2019) 2019 IEEE Intelligent Vehicles Symposium (IV) — Paris, France
    • Journal article
    The Brussels Smart City: how “intelligence” can be synonymous with video surveillance
    Bocquet, Nicolas[UCL] (2021) Brussels Studies — (2021)
    • Speech
    Securing MultiPath TCP
    Jadin, Mathieu[UCL] Tihon, Gautier[UCL] (2017) IEEE R8 Student Paper Contest — Ohrid, Macedonia
    • Speech
    Securing MultiPath TCP: Design & Implementation
    Jadin, Mathieu[UCL] Tihon, Gautier[UCL] Pereira, Olivier[UCL] Bonaventure, Olivier[UCL] (2017) IEEE INFOCOM 2017 — Atlanta, USA
    • Journal article
    Are Mentally Disordered Offenders Admitted to Appropriate Secure Settings according to Security Needs? A Cross Sectional Study in Belgium
    Nicaise, Pablo[UCL] Bourmorck, Delphine[UCL] De Pau, Marjolein Vander Laenen, Freya Vanderplasschen, Wouter Lorant, Vincent[UCL] (2022) International Journal of Forensic Mental Health — Vol. 21, no. 3, p. 307-319 (2022)
    • Book
    Politics of Anxiety
    Guittet, Emmanuel-Pierre[USL-B] (2017)
    • WorkingPaper
    Windsurf v. Kitesurf: una "tragedia del vento comune"?
    Ducato, Rossana[UCL] (2015)
    • Journal article
    Techniques for secure execution of mobile code: a review
    Mas-Ribes, JM Macq, Benoît[UCL] (2000) Annales des Télécommunications — Vol. 55, no. 7-8, p. 379-387 (2000)
    • Journal article
    Characterization and improvement of time-memory trade-off based on perfect tables
    Avoine, Gildas[UCL] Junod, Pascal Oechslin, Philippe (2008) ACM Transactions on Information and System Security — Vol. 11, no. 4 (2008)
    • Journal article
    Policer les espaces publics urbains par la marche ?
    Berger, Mathieu[UCL] Francou, Lionel[UCL] (2015) Environnement Urbain — Vol. 9, no./, p. 16 (19/10/2015)
    • Journal article
    A Survey of Public IoT Datasets for Network Security Research
    De Keersmaeker, François[UCL] Cao, Yinan[UCL] Kabasele Ndonda, Gorby[UCL] Sadre, Ramin[UCL] (2023) IEEE Communications Surveys and Tutorials — (2023)
    • WorkingPaper
    How the Internet amplifies threats to society and what to do about it
    Van Roy, Peter[UCL] (2017)
    • Journal article
    SoK: Privacy-enhancing Smart Home Hubs
    Zavalyshyn, Igor[UCL] Legay, Axel[UCL] Rath, Annanda Riviere, Etienne[UCL] (2022) Proceedings on Privacy Enhancing Technologies — Vol. 2022, no. 4, p. 24-43 (2022)
    • 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
    • Journal article
    Security at the borders. Transnational practices and technologies in West Africa, Philippe M. Frowd, New York, Cambridge University Press, 2018, 226 pp.
    Leloup, Fabienne[UCL] (2020) Journal of borderlands studies — Vol. 36, no.3, p. 517-518 (2021)