Itai Dinur

Latest

• Efficient Detection of High Probability Statistical Properties of Cryptosystems via Surrogate Differentiation
• Tight Bounds on Online Checkpointing Algorithms