Subverting BIND's SRTT Algorithm Derandomizing NS Selection. - Roee Hay; Jonathan Kalechstain; Gabi Nakibly (WOOT, 2013)

Post-silicon timing diagnosis made simple using formal technology. - Daher Kaiss; Jonathan Kalechstain (FMCAD, 2014)

Hints Revealed. - Jonathan Kalechstain; Vadim Ryvchin; Nachum Dershowitz (SAT, 2015)