1. Generating hard instances of lattice problems;Ajtai,1996
2. The shortest vector problem in L2 is NP-hard for randomized reductions;Ajtai,1998
3. Public-key cryptosystem with worst-case/average-case equivalence;Ajtai,1996
4. Self-stabilizing systems in spite of distributed control;Dijkstra;Commun. ACM,1974
5. Self-Stabilization;Dolev,2000