Kristina Sojakova
where else to find them
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Elaine Shionce
- Greg Morrisettonce
- Joshua Gancheronce
all 8 in the filters
who talks about the same things
- Stephan Boyer4 talks
- Ondřej Lhoták11 talks
- Vlad Patryshev11 talks
- Andreas Abel6 talks
- Aleksander Boruch-Gruszecki9 talks
- Sharon Shoham13 talks
| title | conference | date |
|---|---|---|
| Pantomime: Constructive Leakage Proofs via Simulation | PLDI 2026 | 2026-06-15 |
Claims a constructive alternative to non-interference: build a simulator circuit that reproduces all attacker-observable timing using only the censored secret… | ||
| A Core Calculus for Equational Proofs of Cryptographic Protocols | POPL 2023 | 2023-01-15 |
Introduces a tiny process calculus and an equation-of-logic that proves observational equivalence for distributed crypto by rewriting networks of probabilistic… | ||
| Higher Inductive Types in Homotopy Type Theory | Typelevel Summit Philadelphia 2019 | 2019-04-01 |
Defines higher inductive types as data constructors that also supply paths and higher paths, uses recursion/induction principles to treat spheres, integers… | ||
| nothing matches | ||