Matteo Busi
where else to find them
no profile links on file
what they talk about
where they keep going back
- PriSC4 editions2020–2024
on a stage with
- Carmine Abateonce
- Dominique Devrieseonce
- Emiel Lanckrietonce
all 8 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| When Obfuscations Preserve Cryptographic Constant-Time | PriSC 2024 | 2024-01-20 |
Proposes a sufficient condition and a per-program translation validation that statically checks whether an obfuscation preserves cryptographic constant-time… | ||
| Automated Learning and Verification of Embedded Security Architectures | PriSC 2023 | 2023-01-21 |
Proposes reducing the model/implementation gap by extracting concrete behavioral models with automata learning and checking preservation of robust… | ||
| pi_RA: A pi-calculus for verifying protocols that use remote attestation | PriSC 2023 | 2023-01-21 |
pi_RA is an applied pi-calculus variant that treats remote attestation as a first‑class cryptographic primitive and compiles an actor-style source language… | ||
| The Fox and the Hound (Episode 2): Fully Abstract, Robust Compilation and How t | PriSC 2022 | 2022-01-16 |
Shows that an identity compiler can be fully abstract yet break a source hyperproperty: a target club symbol context forces termination of a source… | ||
| Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly | APLAS 2021 | 2021-10-17 |
Shows that a fully abstract compiler only robustly preserves a precisely characterized set of hyperproperties which can be trivial or meaningless in some… | ||
| Securing Interruptible Enclaves | PriSC 2020 | 2020-01-25 |
Proves that adding interrupts to an enclave can be secure by modeling an ideal interrupt-free language and a realistic low-level language and proving full… | ||
| nothing matches | ||