Omri Dolev
overview
appearing in