Design-Efficiency in Security

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming

Type: Report - Report

Modelling Chinese Smart Grid

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming ; Zhu, Huibiao ; Huang, Heqing

Type: Report - Report

LBTool: A stochastic toolkit for leave-based key updates

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming ; Nielsen, Bo Friis

part of: 2012 IEEE Symposium on Computers and Communications (ISBN: 978-1-4673-2712-1), pages: 868-875, 2012, IEEE,

Type: Article in proceedings - Article in proceedings

Presented at: 2012 IEEE Symposium on Computers and Communications (ISCC), Cappadocia

DOI: 10.1109/ISCC.2012.6249411

Key Update Assistant for Resource-Constrained Networks

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming

part of: 2012 IEEE Symposium on Computers and Communications (ISCC) (ISBN: 978-1-4673-2712-1), pages: 000075-000081, 2012, IEEE,

Type: Article in proceedings - Article in proceedings

Presented at: 2012 IEEE Symposium on Computers and Communications (ISCC), Cappadocia

DOI: 10.1109/ISCC.2012.6249271

Smart Grid Security A Smart Meter-Centric Perspective

Vigo, Roberto ; Yuksel, Ender ; Ramli, Carroline Dewi Puspa Kencana

part of: 2012 20th Telecommunications Forum (TELFOR) (ISBN: 978-1-4673-2983-5), pages: 127-130, 2013, IEEE,

Type: Article in proceedings - Article in proceedings

Presented at: 20th Telecommunications Forum (TELFOR 2012), Belgrade

DOI: 10.1109/TELFOR.2012.6419164

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

Yuksel, Ender ; Zhu, Huibiao ; Nielson, Hanne Riis ; Huang, Heqing ; Nielson, Flemming

part of: 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) (ISBN: 978-1-4673-2353-6), pages: 25-32, 2012, IEEE,

Type: Article in proceedings - Article in proceedings

Presented at: 6th International Symposium on Theoretical Aspects of Software Engineering Conference (TASE 2012), Beijing

DOI: 10.1109/TASE.2012.44

Qualitative and Quantitative Security Analyses for ZigBee Wireless Sensor Networks

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming

Type: Ph.d. thesis - Ph.d. thesis

Characteristics of Key Update Strategies for Wireless Sensor Networks

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming

part of: Proceedings of the International Conference on Network Communication and Computer (ICNCC 2011), pages: 132-136, 2011,

Type: Article in proceedings - Article in proceedings

Presented at: International Conference on Network Communication and Computer, New Delhi, India

Optimizing Key Updates in Sensor Networks

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming ; Fruth, Matthias ; Kwiatkowska, Marta

part of: 2011 IEEE Sensors Applications Symposium (SAS) (ISBN: 978-1-4244-8063-0), pages: 82-87, 2011, IEEE,

Type: Article in proceedings - Article in proceedings

Presented at: 2011 IEEE Sensors Applications Symposium, San Antonio, TX

DOI: 10.1109/SAS.2011.5739805

A ZigBee-based Automatic Meter Reading System

Yüksel, Emre ; Zaim, Abdül Halim ; Yuksel, Ender ; Aydin, Muhammed Ali

part of: Proceedings of the International Conference on Networking and Future Internet (ICNFI 2011), 2011,

Type: Article in proceedings - Article in proceedings

Presented at: International Conference on Networking and Future Internet, Paris, France

Resilience Analysis of Key Update Strategies for Resource-Constrained Networks

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming

part of: 2011 3rd International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT) (ISBN: 978-1-4577-0682-0), 2011,

Type: Article in proceedings - Article in proceedings

Presented at: 3rd International Congress on Ultra Modern Telecommunications and Control Systems and Workshops, Budapest

Optimizing ZigBee Security using Stochastic Model Checking

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming ; Fruth, Matthias ; Kwiatkowska, Marta

Type: Report - Report

High Security at a Low Cost

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming

Type: Poster - Poster

Presented at: Federated Logic Conference : Models and Logics for Quantitative Analysis Workshop, Edinburgh

A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming

in journal: Computer Journal (ISSN: 0010-4620) (DOI: http://dx.doi.org/10.1093/comjnl/bxq036), vol: 54, issue: 4, pages: 589-601, 2010

Type: Journal article - Journal article

DOI: 10.1093/comjnl/bxq036

Quantitative Security Analysis of ZigBee Key Updates

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming

part of: Proceedings of the 21st Nordic Workshop on Programming Theory (ISBN: 978-87-643-0565-4), pages: 14-16, 2009, DTU Informatics at the Techincal University of Denmark,

Type: Conference abstract in proceedings - Conference abstract in proceedings

Presented at: Nordic Workshop on Programming Theory

A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming

part of: Proceedings of the 24th International Symposium on Computer and Information Sciences (ISCIS 2009) (ISBN: 978-1-4244-5021-3), pages: 340-345, 2009, IEEE,

Type: Article in proceedings - Article in proceedings

Presented at: International Symposium on Computer and Information Sciences, Northern Cyprus

DOI: 10.1109/ISCIS.2009.5291816

ZigBee-2007 Security Essentials

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming

part of: Proceedings of the 13th Nordic Workshop on Secure IT Systems, pages: 65-82, 2008, DTU Informatics, Building 321, Denmark

Type: Article in proceedings - Article in proceedings

Presented at: The 13th Nordic Workshop on Secure IT Systems : NordSec 2008, Kongens Lyngby, Denmark

A Secure Simplification of the PKMv2 Protocol in IEEE 802.16e-2005

Yuksel, Ender ; Nielson, Hanne Riis ; Nielsen, Christoffer Rosenkilde ; Orencik, Mehmet Bulent

part of: Proceedings of Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis, pages: 149-164, 2007,

Type: Article in proceedings - Article in proceedings

Presented at: Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis, Wrocław, Poland