Tancrède Lepoint
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 10 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Verified Foundations for Differential Privacy | PLDI 2025 | 2025-06-16 |
SampCert is a mechanized foundation for differential privacy written in Lean that proves correctness of sampling and DP composition and ships verified samplers… | ||
| Verifying the Fisher-Yates Shuffle Algorithm in Dafny | Dafny 2025 | 2025-01-19 |
Verified Fisher‑Yates implementation in Dafny defines a functional model on bitstreams, proves it yields each permutation with probability 1/n! for… | ||
| Multilinear Maps Over the Integers: From Design to Security | The Mathematics of Modern Cryptography | 2015-07-06 |
Proposes an integer-based multilinear map (CLT-style) that replaces the public modulus for zero-testing with a fresh random modulus and builds a LLL-based… | ||
| nothing matches | ||