Eran Talmor

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Logical Representation

Communication Protocol

Key Establishment

Top Venues

Publications

Sava Krstic, Jin Yang, David W. Palmer, Randy B. Osborne, Eran Talmor
Security of SoC firmware load protocols. HOST (2014)
Ranan Fraer, Doron Keren, Zurab Khasidashvili, Alexander Novakovsky, Avi Puder, Eli Singerman, Eran Talmor, Moshe Y. Vardi, Jin Yang
From visual to logical formalisms for SoC validation. MEMOCODE (2014)