< 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 118 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
521 - 530 van 1540
- DEMACRO: Defense against malicious cross-domain requests(2012)
Auteurs: Sebastian Lekies, Nick Nikiforakis, Walter Tighzert, Frank Piessens, Martin Johns, Davide Balzarotti, Salvatore J Stolfo, Marco Cova
Pagina's: 254 - 273 - A Server-Side JavaScript Security Architecture for Secure Integration of Third-Party Libraries(2019)
Auteurs: Neline van Ginkel, Willem De Groef, Frank Piessens
- Predicting, decrypting, and abusing WPA2/802.11 group keys(2016)
Auteurs: Mathy Vanhoef, Frank Piessens
Pagina's: 673 - 688 - Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure(2022)
Auteurs: Lesly-Ann Daniel
- The 1st verified software competition: Experience report(2011)
Auteurs: Bart Jacobs, Frank Piessens, Jan Smans
Pagina's: 154 - 168 - A tale of two worlds: Assessing the vulnerability of enclave shielding runtimes(2019)
Auteurs: Jo Van Bulck, Frank Piessens
Pagina's: 1741 - 1758 - Attacks on the network(2014)
Auteurs: Philippe De Ryck, Lieven Desmet, Frank Piessens
Pagina's: 43 - 55 - Towards availability and real-time guarantees for protected module architectures(2016)
Auteurs: Jo Van Bulck, Job Noorman, Tobias Mühlberg, Frank Piessens
Pagina's: 146 - 151 - Let's face It: Faceted values for taint tracking(2016)
Auteurs: Frank Piessens
Pagina's: 561 - 580 - Traditional building blocks of the web(2014)
Auteurs: Philippe De Ryck, Lieven Desmet, Frank Piessens
Pagina's: 11 - 24