Ilja Tsahhirov

Publication Activity (10 Years)

Years Active: 2007-2010
Publications (10 Years): 0

Publications

Jaak Tepandi, Ilja Tsahhirov, Stanislav Vassiljev
Wireless PKI Security and Mobile Voting. Computer 43 (6) (2010)
Peeter Laud, Ilja Tsahhirov
A User Interface for a Game-Based Protocol Verification Tool. Formal Aspects in Security and Trust (2009)
Ilja Tsahhirov, Peeter Laud
Application of Dependency Graphs to Security Protocol Analysis. TGC (2007)