< 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
31 - 40 of 40
- WEBSAND.Vanaf1 okt 2010 → 31 mrt 2014Financiering: Algemene activiteiten (annex IV)
- Verificatie van imperatieve programma's.Vanaf1 okt 2010 → 30 sep 2013Financiering: FWO mandaten
- Specificatie en Verificatie van Imperatieve Programma's.Vanaf1 okt 2009 → 19 okt 2010Financiering: BOF - Andere acties
- Hybride technieken voor het afdwingen en certificeren van domein-specifieke programma annotaties.Vanaf1 okt 2009 → 30 sep 2015Financiering: BOF - Geconcert. Onderzoeksacties vanaf 1994
- Efficiënte isolatie van betrouwbare subsystemen in bestaande besturingssystemen.Vanaf8 sep 2009 → 31 dec 2014Financiering: IWT persoonsgebonden financ. - strategische onderzoeksbeurzen
- Ontwikkeling van technieken voor het opleggen van regels voor information flow.Vanaf22 jun 2009 → 30 sep 2014Financiering: FWO mandaten
- HATS.Vanaf1 mrt 2009 → 28 feb 2013Financiering: Algemene activiteiten (annex IV)
- Security engineering for lifelong evolvable systems (SecureChange).Vanaf1 feb 2009 → 31 jan 2012Financiering: Algemene activiteiten (annex IV)
- Formalisation and Soundness of Static Verification Algorithms for Imperative Programs (Formalisatie en correctheid van statische verificatiealgoritmes voor imperatieve programma's)Vanaf5 feb 2008 → 13 dec 2012Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Security of Software on Mobile Devices (Beveiliging van software op mobiele toestellen)Vanaf10 jan 2008 → 20 okt 2010Financiering: 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