< 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
21 - 30 of 40
- Lichtgewicht HW/SW platform om vertrouwen in ICT te ondersteunen.Vanaf1 jan 2014 → 31 dec 2017Financiering: FWO Onderzoeksproject (incl. WEAVE projecten)
- Programmeren met dependent types voor veilige en correcte webtoepassingenVanaf1 okt 2013 → 30 sep 2017Financiering: FWO mandaten
- Veilig Metaprogrammeren voor het Web.Vanaf3 sep 2013 → 31 dec 2018Financiering: IWT persoonsgebonden financ. - strategische onderzoeksbeurzen
- Veilige vertaling van hoog-niveau talen naar machine code.Vanaf1 okt 2012 → 30 sep 2016Financiering: FWO mandaten
- Laag niveau software beveiliging.Vanaf2 jul 2012 → 31 dec 2017Financiering: IWT persoonsgebonden financ. - strategische onderzoeksbeurzen
- Modulaire behandeling van effecten in puur functionele programma's en modellen.Vanaf1 jan 2012 → 31 dec 2015Financiering: FWO Onderzoeksproject (incl. WEAVE projecten)
- Countermeasure technologies for web application vulnerabilities.Vanaf17 okt 2011 → 31 dec 2016Financiering: IWT persoonsgebonden financ. - strategische onderzoeksbeurzen
- Static and dynamic countermeasures for implementation-level vulnerabilities.Vanaf3 okt 2011 → 30 sep 2015Financiering: FWO mandaten
- Nieuwe technieken voor symbolische uitvoering en toestandsbedekking.Vanaf1 okt 2011 → 30 sep 2014Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Modulaire halfautomatische formele verificatie van kritische systeemsoftwareVanaf6 sep 2011 → 25 sep 2017Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
Publicaties
1 - 10 van 270
- Interface Sanitization and Real-Time Scheduling for Enclaved Execution(2023)
Auteurs: Fritz Alder, Frank Piessens, Jo Van Bulck, Tobias Mühlberg
- Transient Execution Attacks(2023)
Auteurs: Frank Piessens
Pagina's: 79 - 84 - AEX-Notify: Thwarting Precise Single-Stepping Attacks through Interrupt Awareness for Intel SGX Enclaves(2023)
Auteurs: Jo Van Bulck, Frank Piessens
Pagina's: 4051 - 4068 - CHERI-TrEE: Flexible enclaves on capability machines(2023)
Auteurs: Thomas Van Strydonck, Frank Piessens, Dominique Devriese
Pagina's: 1143 - 1159 - End-to-End Security for Distributed Event-Driven Enclave Applications on Heterogeneous TEEs(2023)
Auteurs: Gianluca Scopelliti, Fritz Alder, Frank Piessens, Tobias Mühlberg
Pagina's: 1 - 46 - ProSpeCT: Provably Secure Speculation for the Constant-Time Policy(2023)
Auteurs: Lesly-Ann Daniel, Márton Bognár, Frank Piessens
Pagina's: 7161 - 7178 - MicroProfiler: Principled Side-Channel Mitigation through Microarchitectural Profiling(2023)
Auteurs: Márton Bognár, Hans Winderix, Jo Van Bulck, Frank Piessens
Pagina's: 651 - 670 - ShowTime: Amplifying Arbitrary CPU Timing Side Channels(2023)
Auteurs: Antoon Purnal, Márton Bognár, Frank Piessens, Ingrid Verbauwhede
Pagina's: 205 - 217 - Two Parametricities Versus Three Universal Types(2022)
Auteurs: Dominique Devriese, Frank Piessens
- Formal Reasoning about Hardware Capability Architectures(2022)
Auteurs: Thomas Van Strydonck, Dominique Devriese, Frank Piessens