Alin Tomescu

$ $ This post surveys some concerning attacks on TEEs. The goal is to persuade you to re-consider how you deploy TEE-based applications, if you should deploy them at all.

tl;dr: Constructive cryptography (CC) is a definitional framework for security proofs by Uli Maurer.

tl;dr: “Beware of bugs in the above code; I have only proved it correct, not tried it.” –Donald Knuth

tl;dr: I wish there was better stuff around than UC for modelling security of cryptosystems.

tl;dr: This is an incomplete and opinionated take on three different approaches to confidential payments (and beyond).

tl;dr: A bunch of resources I hope to get to.

tl;dr: When the discrete log $a$ of $a\cdot G$ is known to lie in a small range $[m)$, the baby-step giant-step (BSGS) algorithm recovers $a$ in $\ceil{\sqrt{m}}$ $\Gr$ additions using only a precomputed table of exactly $\ceil{\sqrt{m}}$ compressed points, trading the $O(1)$ time of the naive $m$-sized lookup table for much less memory. This p...