Eran Talmor

According to our database, Eran Talmor authored at least 2 papers in 2014.

Collaborative distances:

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

2014

From visual to logical formalisms for SoC validation.

Ranan Fraer, Doron Keren, Zurab Khasidashvili, Alexander Novakovsky, Avi Puder, Eli Singerman, Eran Talmor, Moshe Y. Vardi, Jin Yang

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

Security of SoC firmware load protocols.

Sava Krstic, Jin Yang, David W. Palmer, Randy B. Osborne, Eran Talmor

Proceedings of the 2014 IEEE International Symposium on Hardware-Oriented Security and Trust, 2014