Ender Yüksel

Publication Activity (10 Years)

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

Top Topics

Formal Specification

Temporal Properties

Key Establishment Protocol

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang
Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study. Int. J. Softw. Tools Technol. Transf. 16 (4) (2014)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
Design-Efficiency in Security CoRR (2013)
Roberto Vigo, Alessandro Bruni, Ender Yüksel
Security Games for Cyber-Physical Systems. NordSec (2013)
Ender Yüksel, Huibiao Zhu, Hanne Riis Nielson, Heqing Huang, Flemming Nielson
Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study. TASE (2012)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang
Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study CoRR (2012)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Bo Friis Nielsen
LBTool: A stochastic toolkit for leave-based key updates. ISCC (2012)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Matthias Fruth, Marta Z. Kwiatkowska
Optimizing ZigBee Security using Stochastic Model Checking CoRR (2012)
Bo Friis Nielsen, Flemming Nielson, Henrik Pilegaard, Michael James Andrew Smith, Ender Yüksel, Kebin Zeng, Lijun Zhang
Roadmap Document on Stochastic Analysis CoRR (2012)
Ender Yüksel
Analysing ZigBee Key Establishment Protocols CoRR (2012)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
Key Update Assistant for resource-constrained networks. ISCC (2012)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
Resilience analysis of key update strategies for resource-constrained networks. ICUMT (2011)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks. Comput. J. 54 (4) (2011)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
A secure key establishment protocol for zigbee wireless sensor networks. ISCIS (2009)