18 points by albino
The usage of House of Orange here reminded me of this good FSOP writeup that finds a more general class of leakless techniques using a SAT solver.