Jonathan Kalechstain

According to our database, Jonathan Kalechstain authored at least 3 papers between 2013 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2015

Hints Revealed.

Jonathan Kalechstain, Vadim Ryvchin, Nachum Dershowitz

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

2014

Post-silicon timing diagnosis made simple using formal technology.

Daher Kaiss, Jonathan Kalechstain

Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013

Subverting BIND's SRTT Algorithm Derandomizing NS Selection.

Roee Hay, Jonathan Kalechstain, Gabi Nakibly

Proceedings of the 7th USENIX Workshop on Offensive Technologies, 2013