< 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 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
1181 - 1190 van 1540
- Multi-tier functional reactive programming for the web(2014)
Auteurs: Bob Reynders, Dominique Devriese, Frank Piessens
Pagina's: 55 - 68 - Borrowed Capabilities: Flexibly Enforcing Revocation on a Capability Architecture(2021)
Auteurs: Dominique Devriese
Pagina's: 80 - 85 - Safely Exposing Haskell’s Hidden Powers(2018)
Auteurs: Thomas Winant, Frank Piessens, Dominique Devriese
- pi_RA: A pi-calculus for Verifying Protocols that Use Remote Attestation(2023)
Auteurs: Emiel Lanckriet, Dominique Devriese
Pagina's: 537 - 551Aantal pagina's: 15 - Overlapping and Order-Independent Patterns Definitional Equality for All(2014)
Auteurs: Jesper Cockx, Frank Piessens, Dominique Devriese
Pagina's: 87 - 106 - Generating Safe Boundary APIs between Typed EDSLs and Their Environments(2015)
Auteurs: Bob Reynders, Dominique Devriese, Frank Piessens
Pagina's: 31 - 34Aantal pagina's: 4 - Information flow control for web scripts(2014)
Auteurs: Willem De Groef, Dominique Devriese, Mathy Vanhoef, Frank Piessens
Pagina's: 124 - 145 - EH-CRAM: A Sustainable Energy Harvesting Algorithm for LPWANs(2021)
Auteurs: Absar Ul Haque Ahmar, Wouter Joosen, Danny Hughes
Pagina's: 1 - 7Aantal pagina's: 7 - Towards a practical security analysis methodology(2015)
Auteurs: Alexander van den Berghe
Pagina's: 883 - 886 - Secure Interrupts on Low-End Microcontrollers(2014)
Auteurs: Ruan de Clercq, Dries Schellekens, Frank Piessens, Ingrid Verbauwhede
Pagina's: 147 - 152