< 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
1 - 10 of 117 results
- Wouter Joosen (Verantwoordelijke)
- Shuaibu Musa Adam (Lid)
- Fritz Alder (Lid)
- Alicia Andries (Lid)
- Angelos Beitis (Lid)
- Jonah Bellemans (Lid)
- Yolande Berbers (Lid)
- Márton Bognár (Lid)
- Ilse Bohé (Lid)
- Jeroen Boydens (Lid)
Projecten
1 - 10 of 242
- Betrouwbare computatie voor microcontrollers met beperkte middelenVanaf14 mrt 2024 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Retrokit - Optimalisatie van Machine Retrofitting met Retrokit: Een Modulaire Machine Learning Aanpak voor Edge-Based Conditie MonitoringVanaf1 mrt 2024 → HedenFinanciering: IOF - technologie validatie in labo
- Softwareverificatie onder resource revocatie met multi-modale separation logicaVanaf26 feb 2024 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Sabbatperiode Tom Holvoet: Studie en verificatie van kwetsbaarheden in ‘smart contracts’ voor gedecentraliseerde softwaresystemen in een blockchain-omgevingVanaf12 feb 2024 → HedenFinanciering: BOF - mobiliteit
- Sabbatperiode Tom Holvoet: Studie en verificatie van kwetsbaarheden in ‘smart contracts’ voor gedecentraliseerde softwaresystemen in een blockchain-omgevingVanaf12 feb 2024 → HedenFinanciering: FWO Prijzen en sabbaticals (vroeger FWO onbepaald)
- SECDES: By-design cyberveilige digitale productenVanaf1 feb 2024 → HedenFinanciering: VLAIO - Flanders' FOOD - COOCK
- Data-gedreven analyse van cybercrime ecosystemenVanaf18 dec 2023 → HedenFinanciering: BOF - projecten
- Optimalisatie van teststrategieën om met software variabiliteit om te gaanVanaf26 okt 2023 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- AI-gestuurde netwerkbeveiliging: Contextuele analyse van sequentiële gegevens voor detectie van bedreigingenVanaf23 okt 2023 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Robust gebruik van ML in systemen voor cyberveiligheidVanaf18 okt 2023 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
Publicaties
1051 - 1060 van 1538
- Modular verification of termination and execution time bounds using separation logic(2016)
Auteurs: Jafar Hamin, Bart Jacobs
Pagina's: 110 - 117 - A data utility-driven benchmark for de-identification methods(2019)
Auteurs: Oleksandr Tomashchuk, Dimitri Van Landuyt, Kim Wuyts, Wouter Joosen
Pagina's: 63 - 77 - DataBlinder: A distributed data protection middleware supporting search and computation on encrypted data(2019)
Auteurs: Emad Heydari Beni, Bert Lagaisse, Wouter Joosen
Pagina's: 50 - 57Aantal pagina's: 8 - Khronos: Middleware for Simplified Time Management in CPS(2019)
Auteurs: Stefanos Peros, Stephane Delbruel, Sam Michiels, Wouter Joosen, Danny Hughes
Pagina's: 127 - 138Aantal pagina's: 11 - Trusted Operations on Sensor Data(2018)
Auteurs: Hassaan Janjua, Wouter Joosen, Sam Michiels, Danny Hughes
- Quality Assurance for Self-Adaptive, Self-Organising Systems (Message from the Workshop Organisers)(2014)
Auteurs: Tom Holvoet
Pagina's: 108 - 109Aantal pagina's: 2 - Power-reduction techniques for data-center storage systems(2011)
Auteurs: Tom Bostoen, Yolande Berbers
Pagina's: 1 - 67 - A framework for integrated configuration management tools(2013)
Auteurs: Bart Vanbrabant, Wouter Joosen
Pagina's: 534 - 540 - A middleware model in Alloy for supply chain-wide agent interactions(2011)
Auteurs: Robrecht Haesevoets, Danny Weyns, Mario Henrique Cruz Torres, Alexander Helleboogh, Tom Holvoet, Wouter Joosen
Pagina's: 189 - 204 - A generic solution for agile run-time inspection middleware(2011)
Auteurs: Wouter De Borger, Bert Lagaisse, Wouter Joosen
Pagina's: 451 - 470