< Back to previous page
Organisation
Distributed and Secure Software (DistriNet)
Division
Main organisation:Department of Computer Science
Lifecycle:1 Aug 2020 → Today
Organisation profile:
Distributed and Secure Software (DistriNet)
Keywords:software
Disciplines:Distributed computing
Current researchers
81 - 90 of 117 results
- Hamdi Trimech (Member)
- Eddy Truyen (Member)
- Ilias Tsingenopoulos (Member)
- Merve Turhan (Member)
- Dejana Ugrenovic (Member)
- Nachiappan Valliappan (Member)
- Jo Van Bulck (Member)
- Tom Van Cutsem (Member)
- Tom Van Eyck (Member)
- Tom Van Goethem (Member)
Projects
81 - 90 of 241
- Software Technologies for Open, Decentralized and Self-adaptive IoT Systems (PERSIST)From1 Oct 2021 → 30 Sep 2023Funding: BOF - projects
- Reasoning Principles beyond Elementary Logic based on Multimode and Presheaf Type TheoryFrom1 Oct 2021 → TodayFunding: FWO junior postdoctoral fellowship
- Parametricity in Type Theory: Language Primitives and ApplicationsFrom1 Oct 2021 → TodayFunding: FWO fellowships
- From Secure Compilation to Secure Abstraction Stronger Foundations and New ConnectionsFrom1 Oct 2021 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Verifiably Secure Systems with Universal Contracts and Secure Compilation.From1 Oct 2021 → TodayFunding: BOF - ZAP BOF mandates
- Assuring the safety of autonomous systems through human-centered executable assurance casesFrom1 Oct 2021 → TodayFunding: FWO Strategic Basic Research Grant
- Secure management of IoT devices lifecycle through identities, trust and distributed ledgersFrom1 Oct 2021 → TodayFunding: H2020-EU.3.7.- SOCIETAL CHALLENGES - Secure societies - Protecting freedom and security of Europe and its citizens
- Software-based Side-Channel Hardening for Enclave ApplicationsFrom1 Oct 2021 → TodayFunding: FWO junior postdoctoral fellowship
- Low-level object capabilities for formally watertight security.From1 Oct 2021 → 31 Dec 2023Funding: FWO research project (including WEAVE projects)
- Integration of cyber security and safety standards in the development of digital systemsFrom1 Oct 2021 → 30 Nov 2023Funding: IWT / VLAIO - TETRA fund
Publications
1 - 10 of 1541
- Dynamic reconfiguration using template based web service composition(2008)
Authors: Kristof Geebelen, Sam Michiels, Wouter Joosen
Pages: 49 - 54 - Building wireless sensor network applications with LooCI(2010)
Authors: Danny Hughes, Klaas Thoelen, Wouter Horré, Nelson Matthys, Pedro Javier del Cid Garcia, Sam Michiels, Christophe Huygens, Wouter Joosen
Pages: 38 - 64 - An Efficient, Anonymous and Unlinkable Incentives Scheme(2015)
Authors: Andreas Put, Bart De Decker
Pages: 1 - 20 - Efficient decision making algorithms for adaptive applications(2009)
Authors: Yves Vanrompay, Yolande Berbers
Pages: 13 - 18 - Configuration management as a multi-cloud enabler(2014)
Authors: Bart Vanbrabant, Wouter Joosen, Yehia Elkhatib, Stefan Walraven
Pages: 1:1 - 1:1 - Towards a transfer learning based approach for monitoring fitness levels(2013)
Authors: Davy Preuveneers
Pages: 33 - 43 - Formal analysis of policies in wireless sensor network applications(2012)
Authors: Marco Patrignani, Nelson Matthys, Jose Paiva Proenca, Danny Hughes, Dave Clarke
Pages: 21 - 28 - Instruction-level countermeasures against stack-based buffer overflow attacks(2009)
Authors: Francesco Gadaleta, Yves Younan, Bart Jacobs, Wouter Joosen
Pages: 7 - 12 - Combining planning and model checking to get guarantees on the behavior of safety-critical UAV systems(2018)
Authors: Hoang Tung Dinh, Tom Holvoet
Pages: 152 - 155Number of pages: 155 - Adversarial machine learning(2022)
Authors: Ilias Tsingenopoulos, Wouter Joosen
Pages: 287 - 312Number of pages: 25