Sophia G. Petridou

According to our database1, Sophia G. Petridou authored at least 41 papers between 2006 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


Online presence:



A process-aware approach for blockchain-based verification of academic qualifications.
Simul. Model. Pract. Theory, 2022

Quantitative model checking for assessing the energy impact of a MITM attack on EPONs.
Internet Technol. Lett., 2022

Fake News Incidents through the Lens of the DCAM Disinformation Blueprint.
Inf., 2022

Modelling the Development and Deployment of Decentralized Applications in Ethereum Blockchain: A BPMN-Based Approach.
Proceedings of the Decision Support Systems XII: Decision Support Addressing Modern Industry, Business, and Societal Needs, 2022

Load-Aware Scheduling in Local Area Networks Using Clustering.
Proceedings of the IEEE Conference on Standards for Communications and Networking, 2022

Dynamic Topology Discovery Configuration in Software-Defined Vehicular Networks.
Proceedings of the IEEE Conference on Standards for Communications and Networking, 2022

A Softwarized Intrusion Detection System for the RPL-based Internet of Things networks.
Future Gener. Comput. Syst., 2021

Intrusion detection systems for RPL security: A comparative analysis.
Comput. Secur., 2021

An experimentation environment for SDN-based autonomous vehicles in smart cities.
Proceedings of the 17th International Conference on Network and Service Management, 2021

A cybercrime incident architecture with adaptive response policy.
Comput. Secur., 2019

A Multi-Protocol Software-Defined Networking Solution for the Internet of Things.
IEEE Commun. Mag., 2019

Evolutionary Software Defined Networking-Inspired Routing Control Strategies for the Internet of Things.
IEEE Access, 2019

A Marketplace-based Approach to Cloud Network Slice Composition Across Multiple Domains.
Proceedings of the 5th IEEE Conference on Network Softwarization, 2019

A Multi-domain Experimentation Environment for 5G Media Verticals.
Proceedings of the IEEE INFOCOM 2019, 2019

Multi-PoP Network Slice Deployment: A Feasibility Study.
Proceedings of the 2019 IEEE 8th International Conference on Cloud Networking, 2019

Formal Methods for Energy-Efficient EPONs.
IEEE Trans. Green Commun. Netw., 2018

Pairing-Based Cryptography on the Internet of Things: A Feasibility Study.
Proceedings of the Wired/Wireless Internet Communications, 2018

Routing under Heterogeneity and Mobility for the Internet of Things: A Centralized Control Approach.
Proceedings of the IEEE Global Communications Conference, 2018

Demo abstract: An experimentation facility enabling flexible network control for the Internet of Things.
Proceedings of the 2017 IEEE Conference on Computer Communications Workshops, 2017

Energy-efficiency analysis under QoS constraints using formal methods: A study on EPONs.
Proceedings of the IEEE International Conference on Communications, 2017

Formal security analysis of near field communication using model checking.
Comput. Secur., 2016

Security analysis of NFC relay attacks using probabilistic model checking.
Proceedings of the International Wireless Communications and Mobile Computing Conference, 2014

Survivability Analysis Using Probabilistic Model Checking: A Study on Wireless Sensor Networks.
IEEE Syst. J., 2013

Towards energy consumption evaluation of the SSL handshake protocol in mobile communications.
Proceedings of the 9th Annual Conference on Wireless On-demand Network Systems and Services, 2012

Towards realizable, low-cost broadcast systems for dynamic environments.
IEEE/ACM Trans. Netw., 2011

Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach.
Comput. Secur., 2011

Quantitative analysis for authentication of low-cost RFID tags.
Proceedings of the IEEE 36th Conference on Local Computer Networks, 2011

Quantitative model checking of an RSA-based email protocol on mobile devices.
Proceedings of the 16th IEEE Symposium on Computers and Communications, 2011

On the Analytical Performance Optimization of Wireless Data Broadcasting.
IEEE Trans. Veh. Technol., 2010

Cost-Aware Wireless Data Broadcasting.
IEEE Trans. Broadcast., 2010

IGFS: A New MAC Protocol Exploiting Heterogeneous Propagation Delays in the Dynamic Bandwidth Allocation on WDM-EPON.
IEEE Syst. J., 2010

Clustering-driven wireless data broadcasting.
IEEE Wirel. Commun., 2009

A new approach to web users clustering and validation: a divergence-based scheme.
Int. J. Web Inf. Syst., 2009

An analytical approach to the design of wireless broadcast disks systems.
Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2009), 2009

A new approach to the design of wireless data broadcasting systems: An analysis-based cost-effective scheme.
Proceedings of the International Conference on Ultra Modern Telecommunications, 2009

A quality of service scheduling technique for optical LANs.
Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

Time-Aware Web Users' Clustering.
IEEE Trans. Knowl. Data Eng., 2008

Supporting Quality-of-Service Scheduling in a TT-FR WDM System.
IEEE Syst. J., 2008

Clustering-based scheduling: A new class of scheduling algorithms for single-hop lightwave networks.
Int. J. Commun. Syst., 2008

Correlating Time-Related Data Sources with Co-clustering.
Proceedings of the Web Information Systems Engineering, 2008

A Divergence-Oriented Approach for Web Users Clustering.
Proceedings of the Computational Science and Its Applications, 2006