Ender Yüksel

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