< Terug naar vorige pagina
Organisatie
Gedistribueerde en Veilige Software (DistriNet)
Division
Hoofdorganisatie:Departement Computerwetenschappen
Tijdsduur:1 aug 2020 → Heden
Organisatieprofiel:
Gedistribueerde en Veilige Software (DistriNet)
Trefwoorden:software
Disciplines:Distributed computing
Huidige onderzoekers
81 - 90 of 116 results
- Hamdi Trimech (Lid)
- Eddy Truyen (Lid)
- Ilias Tsingenopoulos (Lid)
- Merve Turhan (Lid)
- Dejana Ugrenovic (Lid)
- Nachiappan Valliappan (Lid)
- Jo Van Bulck (Lid)
- Tom Van Cutsem (Lid)
- Tom Van Eyck (Lid)
- Tom Van Goethem (Lid)
Projecten
81 - 90 of 242
- Infrastructuurbeveiliging door middel van robuuste technieken voor machine learningVanaf6 okt 2021 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Software Technologieen voor Open, Gedecentraliseerde en Zelf-adaptieve IoT Systemen (PERSIST)Vanaf1 okt 2021 → 30 sep 2023Financiering: BOF - projecten
- Waarborgen van de veiligheid van autonome systemen door middel van human-centered exectuable assurance casesVanaf1 okt 2021 → HedenFinanciering: FWO Strategische Onderzoeksbeurs
- Redeneerprincipes voorbij Elementaire Logica o.b.v. Multimodusen PreschooftypetheorieVanaf1 okt 2021 → HedenFinanciering: FWO junior postdoctoraal mandaat
- Parametriciteit in Type Theorie: Taalprimitieven en ToepassingenVanaf1 okt 2021 → HedenFinanciering: FWO mandaten
- Van veilige compilatie naar veilige abstractie, sterkere fundamenten en nieuwe linkenVanaf1 okt 2021 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Aantoonbaar veilige systemen met universele contracten en veilige compilatie.Vanaf1 okt 2021 → HedenFinanciering: BOF - ZAP BOF mandaten
- Veilig beheer van de levenscyclus van IoT-apparaten via identiteiten, vertrouwen en gedistribueerde grootboekenVanaf1 okt 2021 → HedenFinanciering: H2020-EU.3.7.- SOCIETAL CHALLENGES - Veilige gemeenschappen - Bescherming van de vrijheid en veiligheid in Europa en voor haar inwoners
- Softwarematige side-channel verdediging voor enclave-toepassingenVanaf1 okt 2021 → HedenFinanciering: FWO junior postdoctoraal mandaat
- Integratie van cybersecurity en safety standaarden bij de ontwikkeling van digitale systemenVanaf1 okt 2021 → 30 nov 2023Financiering: IWT / VLAIO - TETRA-fonds
Publicaties
1 - 10 van 1541
- Dynamic reconfiguration using template based web service composition(2008)
Auteurs: Kristof Geebelen, Sam Michiels, Wouter Joosen
Pagina's: 49 - 54 - Building wireless sensor network applications with LooCI(2010)
Auteurs: Danny Hughes, Klaas Thoelen, Wouter Horré, Nelson Matthys, Pedro Javier del Cid Garcia, Sam Michiels, Christophe Huygens, Wouter Joosen
Pagina's: 38 - 64 - An Efficient, Anonymous and Unlinkable Incentives Scheme(2015)
Auteurs: Andreas Put, Bart De Decker
Pagina's: 1 - 20 - Efficient decision making algorithms for adaptive applications(2009)
Auteurs: Yves Vanrompay, Yolande Berbers
Pagina's: 13 - 18 - Configuration management as a multi-cloud enabler(2014)
Auteurs: Bart Vanbrabant, Wouter Joosen, Yehia Elkhatib, Stefan Walraven
Pagina's: 1:1 - 1:1 - Towards a transfer learning based approach for monitoring fitness levels(2013)
Auteurs: Davy Preuveneers
Pagina's: 33 - 43 - Formal analysis of policies in wireless sensor network applications(2012)
Auteurs: Marco Patrignani, Nelson Matthys, Jose Paiva Proenca, Danny Hughes, Dave Clarke
Pagina's: 21 - 28 - Instruction-level countermeasures against stack-based buffer overflow attacks(2009)
Auteurs: Francesco Gadaleta, Yves Younan, Bart Jacobs, Wouter Joosen
Pagina's: 7 - 12 - Combining planning and model checking to get guarantees on the behavior of safety-critical UAV systems(2018)
Auteurs: Hoang Tung Dinh, Tom Holvoet
Pagina's: 152 - 155Aantal pagina's: 155 - Adversarial machine learning(2022)
Auteurs: Ilias Tsingenopoulos, Wouter Joosen
Pagina's: 287 - 312Aantal pagina's: 25