Ender Yüksel

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study.
Int. J. Softw. Tools Technol. Transf., 2014

2013
Design-Efficiency in Security
CoRR, 2013

Security Games for Cyber-Physical Systems.
Proceedings of the Secure IT Systems - 18th Nordic Conference, 2013

2012
Roadmap Document on Stochastic Analysis
CoRR, 2012

Analysing ZigBee Key Establishment Protocols
CoRR, 2012

Optimizing ZigBee Security using Stochastic Model Checking
CoRR, 2012

Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study
CoRR, 2012

Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

LBTool: A stochastic toolkit for leave-based key updates.
Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012

Key Update Assistant for resource-constrained networks.
Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012

2011
A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks.
Comput. J., 2011

Resilience analysis of key update strategies for resource-constrained networks.
Proceedings of the 3rd International Congress on Ultra Modern Telecommunications and Control Systems and Workshops, 2011


  Loading...