< Terug naar vorige pagina
Onderzoeker
Frank Piessens
- Disciplines:Distributed computing
Affiliaties
- Gedistribueerde en Veilige Software (DistriNet) (Afdeling)
Lid
Vanaf1 aug 2020 → Heden - Afdeling Informatica (Afdeling)
Lid
Vanaf1 okt 1999 → 4 aug 2020
Projecten
1 - 10 of 40
- Hardware-software co-design voor het vollediger afdwingen van systeem-beveiligingVanaf1 okt 2023 → HedenFinanciering: FWO junior postdoctoraal mandaat
- Verdediging tegen microarchitecturale aanvallen door hardware/software codesignVanaf10 jul 2023 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Open-source veerkrachtige hardware en software voor Internet of ThingsVanaf1 okt 2022 → HedenFinanciering: HORIZON.2.3 – Burgerlijke veligheid voor de samenleving
- Een gefundeerde aanpak voor cross-layer software en hardware ontwerp voor beveiligingVanaf1 jan 2022 → HedenFinanciering: FWO Onderzoeksproject (incl. WEAVE projecten)
- Softwarematige side-channel verdediging voor enclave-toepassingenVanaf1 okt 2021 → HedenFinanciering: FWO junior postdoctoraal mandaat
- Het delen van systeembronnen op een voorspelbare wijze en met beschikbaarheidsgaranties binnen een betrouwbare uitvoeromgevingVanaf9 aug 2019 → 31 okt 2023Financiering: FWO mandaten
- Evaluatie van trade-offs tussen performantie en veiligheid in hardware en systeem softwareVanaf1 jan 2019 → 31 dec 2022Financiering: FWO Onderzoeksproject (incl. WEAVE projecten)
- Testen en verifiëren van netwerk protocol implementatiesVanaf1 okt 2017 → 31 aug 2022Financiering: FWO mandaten
- Aantoonbaar behouden van veiligheidseigenschappen in aanwezigheid van aanvallers op een lager abstractieniveauVanaf20 sep 2017 → 15 jul 2022Financiering: FWO mandaten
- Geavanceerde technieken voor cloudbeveiligingVanaf5 okt 2016 → 5 okt 2020Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
Publicaties
221 - 230 van 270
- Expressive modular fine-grained concurrency specification(2011)
Auteurs: Bart Jacobs, Frank Piessens
Pagina's: 271 - 282 - Expressive modular fine-grained concurrency specification(2011)
Auteurs: Bart Jacobs, Frank Piessens
Pagina's: 271 - 282 - VeriFast: A powerful, sound, predictable, fast verifier for C and Java(2011)
Auteurs: Bart Jacobs, Jan Smans, Pieter Philippaerts, Frédéric Vogels, Willem Penninckx, Frank Piessens
Pagina's: 41 - 55 - Explicitly Recursive Grammar Combinators A Better Model for Shallow Parser DSLs(2011)
Auteurs: Dominique Devriese, Frank Piessens
Pagina's: 84 - 98 - Annotation inference for separation logic based verifiers(2011)
Auteurs: Frédéric Vogels, Bart Jacobs, Frank Piessens, Jan Smans
Pagina's: 319 - 333 - Filter-resistant code injection on ARM(2011)
Auteurs: Yves Younan, Pieter Philippaerts, Frank Piessens, Wouter Joosen
Pagina's: 173 - 188 - Security of web mashups: a survey(2011)
Auteurs: Philippe De Ryck, Maarten Decat, Lieven Desmet, Frank Piessens, Wouter Joosen
Pagina's: 223 - 238 - Selected Papers of the 20th European Symposium on Programming (ESOP 2011)(2011)
Auteurs: Frank Piessens
- ValueGuard: Protection of native applications against data-only buffer overflows(2010)
Auteurs: Steven Van Acker, Nick Nikiforakis, Pieter Philippaerts, Frank Piessens
Pagina's: 156 - 170 - A quick tour of the VeriFast program verifier(2010)
Auteurs: Bart Jacobs, Jan Smans, Frank Piessens
Pagina's: 304 - 311