Ender Yüksel

According to our database, Ender Yüksel authored at least 12 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study.

Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang

Int. J. Softw. Tools Technol. Transf., 2014

2013

Design-Efficiency in Security

Ender Yüksel, Hanne Riis Nielson, Flemming Nielson

CoRR, 2013

Security Games for Cyber-Physical Systems.

Roberto Vigo, Alessandro Bruni, Ender Yüksel

Proceedings of the Secure IT Systems - 18th Nordic Conference, 2013

2012

Roadmap Document on Stochastic Analysis

Bo Friis Nielsen, Flemming Nielson, Henrik Pilegaard, Michael James Andrew Smith, Ender Yüksel, Kebin Zeng, Lijun Zhang

CoRR, 2012

Analysing ZigBee Key Establishment Protocols

Ender Yüksel

CoRR, 2012

Optimizing ZigBee Security using Stochastic Model Checking

Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Matthias Fruth, Marta Z. Kwiatkowska

CoRR, 2012

Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study

Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang

CoRR, 2012

Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study.

Ender Yüksel, Huibiao Zhu, Hanne Riis Nielson, Heqing Huang, Flemming Nielson

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

LBTool: A stochastic toolkit for leave-based key updates.

Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Bo Friis Nielsen

Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012

Key Update Assistant for resource-constrained networks.

Ender Yüksel, Hanne Riis Nielson, Flemming Nielson

Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012

2011

A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks.

Ender Yüksel, Hanne Riis Nielson, Flemming Nielson

Comput. J., 2011

Resilience analysis of key update strategies for resource-constrained networks.

Ender Yüksel, Hanne Riis Nielson, Flemming Nielson

Proceedings of the 3rd International Congress on Ultra Modern Telecommunications and Control Systems and Workshops, 2011