< 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
21 - 30 van 271
- Formal Reasoning about Equivalences: from Secure Compilation to Categorical Weak Bisimulation(2021)
Auteurs: Stylianos Tsampas, Frank Piessens, Dominique Devriese
- Linear capabilities for fully abstract compilation of separation-logic-verified code(2021)
Auteurs: Thomas Van Strydonck, Frank Piessens, Dominique Devriese
- POSTER: An Open-Source Framework for Developing Heterogeneous Distributed Enclave Applications(2021)
Auteurs: Gianluca Scopelliti, Fritz Alder, Frank Piessens, Tobias Mühlberg
Pagina's: 2393 - 2395Aantal pagina's: 3 - Faulty Point Unit: ABI Poisoning Attacks on Intel SGX(2020)
Auteurs: Fritz Alder, Jo Van Bulck, Frank Piessens
Aantal pagina's: 13 - Securing the Interaction of Software Modules across Security Boundaries(2020)
Auteurs: Neline van Ginkel, Frank Piessens, Lieven Desmet
- Microarchitectural Side-Channel Attacks for Privileged Software Adversaries(2020)
Auteurs: Jo Van Bulck, Frank Piessens
- Contributions to Multimode and Presheaf Type Theory(2020)
Auteurs: Andreas Nuyts, Frank Piessens, Dominique Devriese
- Secure End-to-End Sensing in Supply Chains(2020)
Auteurs: Fritz Alder, Tobias Mühlberg, Frank Piessens
Aantal pagina's: 6 - Provably secure isolation for interruptible enclaved execution on small microprocessors.(2020)
Auteurs: Job Noorman, Jo Van Bulck, Tobias Mühlberg, Frank Piessens
Pagina's: 262 - 276 - Plundervolt: How a Little Bit of Undervolting Can Create a Lot of Trouble(2020)
Auteurs: Jo Van Bulck, Frank Piessens
Pagina's: 28 - 37