Frank Piessens
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- PriSC2 editions2022–2024
on a stage with
all 11 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Compiler Support for Control-Flow Linearization Using Architectural Mimicry | PriSC 2024 | 2024-01-20 |
Implements an LLVM backend pass that automates control‑flow linearization for reducible graphs using Architectural Mimicry (AMi) mimic execution and persistent… | ||
| Providing evidence for the security properties of hardware/software codesigns | PriSC 2022 | 2022-01-16 |
Argument: end-to-end proofs need empirical validation for real devices. The team builds an FPGA prototype of VRASED on an MSP430 core, uses F proofs of crypto… | ||
| Telling Your Secrets without Page Faults... | 26th USENIX Security Symposium (USENIX Security '17) | 2017-08-16 |
The paper analyzes Intel SGX-style enclaves and shows that a malicious OS can infer enclave memory accesses without causing page faults. It presents two new… | ||
| Request and Conquer: Exposing Cross-Origin Resource Size | USENIX Security '16 | 2016-08-10 |
Describes two concrete size‑leak techniques that recover exact cross‑origin resource lengths in seconds: a channel‑based evil twin man‑in‑the‑middle that… | ||
| Predicting, Decrypting, and Abusing WPA2/802.11 Group Keys | USENIX Security '16 | 2016-08-10 |
Shows that 802.11 group keys are predictable, recoverable and abusible: Mediatek routers use a weak jiffies-based RNG so predicting group keys is practical… | ||
| Ariadne: A Minimal Approach to State Continuity | USENIX Security '16 | 2016-08-10 |
Ariadne addresses state-continuity for protected-module architectures like Intel SGX by providing rollback protection, input-atomicity (either continue on an… | ||
| nothing matches | ||