Organisatie
Gedistribueerde en Veilige Software (DistriNet)
Division
Gedistribueerde en Veilige Software (DistriNet)
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 241
- Betrouwbare computatie voor microcontrollers met beperkte middelenVanaf14 mrt 2024 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- 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, ....
- Machine learning operations strategieën voor condition monitoring op de edgeVanaf5 okt 2023 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
Publicaties
881 - 890 van 1540
- On modular and fully-abstract compilation(2016)
Auteurs: Dominique Devriese, Frank Piessens
Aantal pagina's: 14 - Typed syntactic meta-programming(2013)
Auteurs: Dominique Devriese, Frank Piessens
Pagina's: 73 - 85 - Efficient functional reactive programming through incremental behaviors(2017)
Auteurs: Bob Reynders, Dominique Devriese
Pagina's: 321 - 338 - Stateful declassification policies for event-driven programs(2014)
Auteurs: Mathy Vanhoef, Willem De Groef, Dominique Devriese, Frank Piessens
Pagina's: 293 - 307 - Privacy-Preserving Correlation of Cross-Organizational Cyber Threat Intelligence with Private Graph Intersections(2023)
Auteurs: Davy Preuveneers, Wouter Joosen
- FRP IoT Modules as a Scala DSL(2017)
Auteurs: Bob Reynders, Dominique Devriese, Job Noorman, Frank Piessens
Pagina's: 15 - 20 - DPMF: A Modeling Framework for Data Protection by Design(2020)
Auteurs: Laurens Sion, Pierre Dewitte, Dimitri Van Landuyt, Kim Wuyts, Peggy Valcke, Wouter Joosen
Pagina's: 1 - 53 - OSDM: An organizational supervised delegation model for RBAC(2012)
Auteurs: Nezar Nassr, Eric Steegmans, Nidal Aboudagga, Dieter Gollman, Felix C Freiling
Pagina's: 322 - 337 - Security Threat Modeling: Are Data Flow Diagrams Enough?(2020)
Auteurs: Laurens Sion, Koen Yskout, Dimitri Van Landuyt, Alexander van den Berghe, Wouter Joosen
Pagina's: 254 - 257 - ROAC: A role-oriented access control model(2012)
Auteurs: Nezar Nassr, Eric Steegmans, Ioannis Askoxylakis, Henrich C Pöhls, Joachim Posegga
Pagina's: 113 - 127