Burcu Kulahcioglu

Publication Activity (10 Years)

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

Publications

Ahmet Koltuksuz, Burcu Kulahcioglu, Murat Ozkan
Utilization of Timed Automata as a Verification Tool for Security Protocols. SSIRI (Companion) (2010)
Ahmet Koltuksuz, Murat Ozkan, Burcu Kulahcioglu
Modeling Efficient Multi-chained Stream Signature Protocol Using Communicating Sequential Processes. SSIRI (Companion) (2010)