- +30 2310 891.639
- spetrido uom.edu.gr
- Office: C3, 325
Petridou Sofia
Associate Professor
Department of Applied Informatics
Academic Area
Optical and Wireless Networks' Protocols
Curriculum Vitae
Academic Titles
- B.Sc. in Computer Science, Dept. of Informatics, Aristotle University of Thessaloniki (2000)
- PhD in Computer Networks, Dept. of Informatics, Aristotle University of Thessaloniki (2008)
Research Interests
- Optical and Wireless Networks
- Network Protocols
- Probabilistic Model Checking of Protocols
- Clustering algorithms
Teaching
- BUSINESS DATA COMMUNICATIONS
(ISC501)
Type
COMPULSORY
Department Abbreviation
AI
Department
DEPARTMENT OF APPLIED INFORMATICS
Course Outlines
Η περιγραφή του μαθήματος δεν είναι διαθέσιμη
- CLOUD TECHNLOGIES
(SD0105)
Type
ELECTIVE
Department Abbreviation
MAI
Department
MASTER IN APPLIED INFORMATICS
Course Outlines
Η περιγραφή του μαθήματος δεν είναι διαθέσιμη
- CRYPTOGRAPHIC PROTOCOLS AND APPLICATIONS
(NG0103)
Type
ELECTIVE
Department Abbreviation
MAI
Department
MASTER IN APPLIED INFORMATICS
Course Outlines
Η περιγραφή του μαθήματος δεν είναι διαθέσιμη
- CRYPTOGRAPHY
(CSE705)
Type
ELECTIVE
Department Abbreviation
AI
Department
DEPARTMENT OF APPLIED INFORMATICS
Course Outlines
Η περιγραφή του μαθήματος δεν είναι διαθέσιμη
- DISCRETE MATHEMATICS
(AIC203)
Type
COMPULSORY
Department Abbreviation
AI
Department
DEPARTMENT OF APPLIED INFORMATICS
Course Outlines
Semester: 2nd (Spring) | Course type: Compulsory CS-IS | Weekly hours: 3 | ECTS: 5
Instructors: Petridou Sofia
General competences
The study of discrete objects and relationships among them. The study and implementation of computational methods in finite algebraic structures.
Course content
1. Logic and proof: Statements and Logic - Predicates and quantifiers - Proof techniques - Mathematical induction.
2. Combinatorics: sum and product rules - rules of combinatorics - binomial coefficients.
3. Discrete probability: events and probabilities - conditional probability - random variables and expected values - covariance and correlation.
4. Relations - Operations - Structures: binary relations - representation of binary relations - properties of relations - equivalence relations and partial orders - binary operations - internal operation and equivalence classes - structures - isomorphisms.
5. Modular arithmetic - Cyclic groups: Divisibility - Euclidean algorithm - residues - "exponents" - cyclic groups - computations with big integers.
6. Rings and finite fields: the problem of generators and discrete logarithm - polynomial arithmetic and applications - Algorithms for finite fields - applications.
7. Recursion: sequences - recurrence relations - computation of sums and products.
Assessment
Written Final examination 100%
Course bibliography
(One of the following):
41960368 ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ, Τύπος: Σύγγραμμα, Στεφανίδης Γιώργος, 2015, ΖΥΓΟΣ, ISBN: 978-618-5063-07-8
13799 ΜΙΑ ΥΠΟΛΟΓΙΣΤΙΚΗ ΕΙΣΑΓΩΓΗ ΣΤΗ ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ ΚΑΙ ΤΗΝ ΑΛΓΕΒΡΑ, Τύπος: Σύγγραμμα, VICTOR SHOUP, 2007, ΕΚΔΟΣΕΙΣ ΚΛΕΙΔΑΡΙΘΜΟΣ ΕΠΕ, ISBN: 978-960-209-990-2
13953 ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ ΜΕ ΕΦΑΡΜΟΓΕΣ, Τύπος: Σύγγραμμα, SUSANNA S. EPP, 2010, ΕΚΔΟΣΕΙΣ ΚΛΕΙΔΑΡΙΘΜΟΣ ΕΠΕ, ISBN: 978-960-461-325-0
Additional material
- PERFORMANCE ANALYSIS FOR CLOUDS AND NETWORKS
(SD0201)
Type
ELECTIVE
Department Abbreviation
MAI
Department
MASTER IN APPLIED INFORMATICS
Course Outlines
Η περιγραφή του μαθήματος δεν είναι διαθέσιμη
Publications
- Books (3 records)
Περιλαμβάνει Βιβλία ή/και μονογραφίες σε διεθνείς ή ελληνικούς εκδοτικούς οίκους. Κεφάλαια ή άρθρα συλλογικών τόμων ή επιμέλεια τόμων σε διεθνείς ή ελληνικούς εκδοτικούς οίκους.
2021
- Β. Αστερίου, Κ. Κουρής, Σ. Πετρίδου, Π. Νικοπολιτίδης, Γ. Παπαδημητρίου, "Ασφάλεια στα Λειτουργικά Συστήματα και στην Εικονικοποίηση'', Κεφάλαιο στο βιβλίο "Ασφάλεια Πληροφοριών και Συστημάτων στον Κυβερνοχώρο'', Εκδ. Νέων Τεχνολογιών, Ελλάδα, 2021 (ISBN 978-960-578-064-7).
2010
- Γ. Παπαδημητρίου, Π. Σαρηγιαννίδης, Σ. Πετρίδου, Σ. Γκρίτζαλης και Α. Πομπόρτσης, "Ιδιωτικότητα Επικοινωνιών", Κεφάλαιο στο βιβλίο "Προστασία της Ιδιωτικότητας στις Τεχνολογίες Πληροφορικής και Επικοινωνιών: Τεχνικά και Νομικά Θέματα", Παπασωτηρίου, Ελλάδα, 2010 (ISBN 9789607182708).
2003
- G. Papadimitriou, A. Vakali, G. Pallis, S. Petridou and A. Pomportsis, "Simulation in Web Data Management", book chapter in the book "Applied System Simulation: Methodologies and Applications", Editors: M.S.Obaidat and G.I.Papadimitriou, Kluwer Academic Publishers, Norwell, Massachusetts, USA, 2003.
- Scientific Journals (23 records)
Περιλαμβάνει Άρθρα σε διεθνή ή ελληνικά επιστημονικά περιοδικά (με κριτές).
2022
- N. Nousias, G. Tsakalidis, G. Michoulis, S. Petridou and K. Vergidis, "A process-aware approach for blockchain-based verification of academic qualifications", Simulation Modelling Practice and Theory, Elsevier, 2022.
- M. Rapti, G. Tsakalidis, S. Petridou and K. Vergidis, "Fake News Incidents through the Lens of the DCAM Disinformation Blueprint", Information, MDPI, 13(7), 306, 2022.
2021
- G. Simoglou, G. Violettas, S. Petridou and L. Mamatas, "A Softwarized Intrusion Detection System for RPL-based IoT networks", Future Generation Computer Systems, Elsevier, Vol. 125, pp. 698-714, Dec 2021.
- G. Simoglou, G. Violettas, S. Petridou and L. Mamatas, "Intrusion Detection Systems for RPL Security: A Comparative Analysis", Computers & Security, Elsevier, Vol. 104, May 2021.
- P. Tsompanoglou, S. Petridou, P. Nicopolitidis, and G. Papadimitriou, "Quantitative Model Checking for Assessing the Energy Impact of a MITM Attack on EPONs", Internet Technology Letters, Wiley, Feb. 2021.
2019
- T. Theodorou, G. Violettas, P. Valsamas, S. Petridou and L. Mamatas, "A Multi-Protocol Software-Defined Networking Solution for the Internet of Things", IEEE Communications Magazine, Series: Telecom Software, Network Virtualization, and Software Defined Networks, Vol. 57, No. 10, pp. 42-48, Oct. 2019.
- G. Violettas, S. Petridou and L. Mamatas, "Evolutionary Software Defined Networking-Inspired Routing Control Strategies for the Internet of Things", IEEE Access, Vol. 7, pp. 132173 - 132192, Sep. 2019.
- G. Tsakalidis, K. Vergidis, S. Petridou and M. Vlachopoulou, "A Cybercrime Incident Architecture with Adaptive Response Policy", Computers & Security, Elsevier, Vol. 83, pp. 22-37, Jun. 2019
2018
- S. Petridou, S. Basagiannis and L. Mamatas, "Formal Methods for Energy-Efficient EPONs", IEEE Transactions on Green Communications and Networking, Vol. 2, No. 1, pp. 246 - 259, March 2018.
2016
- N. Alexiou, S. Basagiannis and S. Petridou, "Formal security analysis of near field communication using model checking", Computers & Security, Elsevier, Vol. 60, pp. 1-14, Jul. 2016.
2013
- S. Petridou, S. Basagiannis and M. Roumeliotis, "Survivability Analysis Using Probabilistic Model Checking: A Study on Wireless Sensor Networks", IEEE Systems Journal, Vol. 7, No. 1, pp. 4-12, Mar. 2013.
2011
- C. Liaskos, S. Petridou and G. Papadimitriou, "Towards Realizable, Low-Cost Broadcast Systems for Dynamic Environments", IEEE/ACM Transactions on Networking, Vol. 19, No. 2, pp. 383-392, Apr. 2011.
- S. Basagiannis, S. Petridou, N. Alexiou, G. Papadimitriou and P. Katsaros, "Quantitative Analysis Of A Certified E-Mail Protocol In Mobile Environments: A Probabilistic Model Checking Approach", Computers & Security, Vol. 30, No. 4, pp. 257-272, Jun. 2011.
2010
- C. Liaskos, S. Petridou, G. Papadimitriou, P. Nicopolitidis and A. Pomportsis "On the Analytical Performance Optimization of Wireless Data Broadcasting", IEEE Transactions on Vehicular Technology, Vol. 59, No. 2, pp. 884-895, Feb. 2010.
- C. Liaskos, S. Petridou and G. Papadimitriou, "Cost-Aware Wireless Data Broadcasting", IEEE Transactions on Broadcasting, Vol. 56, No. 1, pp. 66-76, Mar. 2010.
- P. Sarigiannidis, S. Petridou, G. Papadimitriou and M. Obaidat, "IGFS: A New MAC Protocol Exploiting Heterogeneous Propagation Delays in the Dynamic Bandwidth Allocation on WDM-EPON", IEEE Systems Journal, Vol. 4, No. 1, pp. 49-56, Apr. 2010.
2009
- S. Petridou, P. Sarigiannidis, G. Papadimitriou and A. Pomportsis, "A Clustering-Driven Medium Access Control Protocol for WDM Star Networks", Optics & Laser Technology, Elsevier, Vol. 41, No. 1, pp. 42-52, Feb. 2009.
- V. Koutsonikola, S. Petridou, A. Vakali, G. Papadimitriou, "A New Approach to Web Users Clustering and Validation: A Divergence-Based Scheme", International Journal of Web Information Systems, Vol. 5, No. 3, pp. 348-371, 2009.
- C. Liaskos, S. Petridou, G. Papadimitriou, P. Nicopolitidis, M. Obaidat and A. Pomportsis, "Clustering-driven Wireless Data Broadcasting", IEEE Wireless Communications Magazine, Vol. 16, No. 6, pp. 80-87, Dec. 2009.
2008
- S. Petridou, V. Koutsonikola, A. Vakali and G. Papadimitriou, "Time Aware Web Users Clustering", IEEE Transactions on Knowledge and Data Engineering, Vol. 20, No. 5, pp. 653-667, May 2008.
- S. Petridou, P. Sarigiannidis, G. Papadimitriou and A. Pomportsis, "Clustering Based Scheduling: A New Class of Scheduling Algorithms for Single-hop Lightwave Networks", International Journal of Communication Systems, Vol. 21, No. 8, pp. 863-887, Aug. 2008.
- S. Petridou, P. Sarigiannidis, G. Papadimitriou and A. Pomportsis, "On the use of Clustering Algorithms for Message Scheduling in WDM Star Networks", IEEE Journal of Lightwave Technology, Vol. 26, No. 17, pp. 2999-3010, Sep. 2008.
- P. Sarigiannidis, S. Petridou, G. Papadimitriou, M. Obaidat and A. Pomportsis, "Supporting Quality-of-Service Scheduling in a TT-FR WDM System", IEEE Systems Journal, Vol. 2, No. 4, pp. 525-535, Dec. 2008.
- Conferences (32 records)
Περιλαμβάνει Άρθρα σε δημοσιευμένα πρακτικά διεθνών ή ελληνικών συνεδρίων (με κριτές).
2022
- A. Papadakis, T. Theodorou, L. Mamatas and S. Petridou, "Dynamic Topology Discovery Configuration in Software-Defined Vehicular Networks", Proc. of the IEEE Conference on Standards for Communications and Networking (CSCN), Thessaloniki, Greece, Nov. 28-30, 2022.
- A. Gkika Zosan, V. Asteriou, K. Kantelis, S. Petridou, P. Nicopolitidis and G. Papadimitriou, "Load-Aware Scheduling in Local Area Networks Using Clustering'', Proc. of the IEEE Conference on Standards for Communications and Networking (CSCN), Thessaloniki, Greece, Nov. 28-30, 2022.
- G. Michoulis, N. Nousias, S. Basagiannis and S. Petridou, "Blockchain in Higher Education: permissioned and permissionless approaches", 4th Summit on Gender Equality in Computing, Jun 16-17, Thessaloniki, Greece, 2022.
- N. Nousias, G. Tsakalidis, S. Petridou and K. Vergidis, "Modelling the Development and Deployment of Decentralized Applications in Ethereum Blockchain: A BPMN-Based Approach", in International Conference on Decision Support System Technology, Springer, Cham, p. 55-67, Thessaloniki, Greece, May 23-25, 2022.
2021
- A. Papadakis, T. Theodorou, L. Mamatas and S. Petridou, "An experimentation environment for SDN-based autonomous vehicles in smart cities", in 17th IEEE International Conference on Network and Service Management (CNSM). p. 391-393, Izmir, Turkey, Oct 25-29, 2021.
2020
- G. Michoulis, S. Petridou and K. Vergidis, "Verification of Academic Qualifications through Ethereum Blockchain: An Introduction to VerDe", Proc. of the XIV Balkan Conference on Operational Research (BALCOR 2020), Sep 30 - Oct 3, Thessaloniki.
2019
- P. Tsompanoglou, S. Petridou, P. Nicopolitidis, and G. Papadimitriou, "On the Relationship between Energy-Saving and Security in EPONs: a Model Checking Approach", IEEE Symposium on Communications and Vehicular Technology (IEEE SCVT), Noordwijk, The Netherlands, Nov. 29, 2019.
- K. Evangelidou, S. Petridou, S. Basagiannis, and L. Mamatas, "An Energy-Aware Modeling Analysis on Next-Generation Passive Optical Networks", IEEE Symposium on Communications and Vehicular Technology (IEEE SCVT), Noordwijk, The Netherlands, Nov. 29, 2019.
- P. Valsamas, P. Papadimitriou, I. Sakellariou, S. Petridou, L. Mamatas, S. Clayman, F. Tusa and A. Galis, "Multi-PoP Network Slice Deployment: A Feasibility Study", Proc. of the IEEE International Conference on Cloud Networking (CloudNet), Coimbra, Portugal, Nov 4 - 6, 2019.
- P. D. Maciel, F. L. Verdi, P. Valsamas, I. Sakellariou, L. Mamatas, S. Petridou, P. Papadimitriou, D. Moura, A. I. Swapna, B. Pinheiro and S. Clayman, "A Marketplace-based Approach to Cloud Network Slice Composition Across Multiple Domains", Proc. of the IEEE Conference on Network Softwarization Workshops (NetSoft WKSHPS, S4SI), Paris, France, Jun 24 - 28, 2019.
- P. Valsamas, I. Sakellariou, S. Petridou and L. Mamatas, "A Multi-domain Experimentation Environment for 5G Media Verticals", Proc. of the IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS, CNERT), Paris, France, Apr 29 - May 2, 2019.
2018
- G. Violettas, S. Petridou and L. Mamatas, "Routing under heterogeneity and mobility for the Internet of Things: a centralized control approach", Proc. of the IEEE Global Communications Conference (GLOBECOM), Abu Dhabi, UAE, Dec 9 - 13, 2018.
- I. Karantaidou, S.T. Halkidis, S.G. Petridou, L. Mamatas, G. Stephanides, "Pairing-Based Cryptography on the Internet of Things: A Feasibility Study", IFIP International Conference on Wired/Wireless Internet Communication (WWIC), Lecture Notes in Computer Science, vol. 10866, Springer, Boston, MA, USA, Jun 18-20, 2018.
2017
- S. Petridou, S. Basagiannis and L. Mamatas, "Energy-Efficiency Analysis Under QoS Constraints Using Formal Methods: A Study on EPONs", Proc. of the IEEE International Conference on Communications (ICC), Paris, France, May 21 - 25, 2017.
- G. Violettas, T. Theodorou, S. Petridou, A. Tsioukas, and L. Mamatas, "An Experimentation Facility Enabling Flexible Network Control for the Internet of Things", Demo paper, IEEE INFOCOM, Atlanda, USA, May 1 - 4, 2017.
2014
- N. Alexiou, S. Basagiannis and S. Petridou, "Security Analysis of NFC Relay Attacks using Probabilistic Model Checking", Proc. of the 10th International Wireless Communications and Mobile Computing Conference (IWCMC'14), Nicosia, Cyprus, August 4-8, 2014.
2012
- S. Petridou and S. Basagiannis, "Towards Energy Consumption Evaluation of the SSL Handshake Protocol in Mobile Communications", Proc. of the 9th International Conference on Wireless On-demand Network Systems and Services (WONS'12), Courmayeur, Italy, January 9-11, 2012.
2011
- I. Paparrizos, S. Basagiannis and S. Petridou, "Quantitative Analysis for Authentication of Low-cost RFID Tags", Proc. of the 36th IEEE Conference on Local Computer Networks (IEEE LCN'11), Bonn, Germany, October 4-7, 2011.
- S. Petridou, S. Basagiannis, N. Alexiou, G. Papadimitriou and P. Katsaros, "Quantitative Model Checking of an RSA-based Email Protocol on Mobile Devices", Proc. of the 6th IEEE Symposium on Computers and Communications (IEEE ISCC'11), Corfu, Greece, June 28-1, 2011.
2010
- P. Sarigiannidis, S. Petridou, G. Papadimitriou and M. Obaidat, "A New Approach to the Design of MAC protocols for WDM-EPONs", Proc. of the 15th IEEE Mediterranean Electrotechnical Conference (IEEE Melecon'10), Valletta, Malta, April 25-28, 2010.
- C. Liaskos, S. Petridou, G. Papadimitriou, "Combining Optimal Performance with Cost-efficiency in Adaptive Wireless Broadcast-based Systems", Proc. of the 15th IEEE Mediterranean Electrotechnical Conference (IEEE Melecon'10), Valletta, Malta, April 25-28, 2010.
2009
- C. Liaskos, S. Petridou, G. Papadimitriou, P. Nicopolitidis and A. Pomportsis, "An Analytical Approach to the Design of Wireless Broadcast Disks Systems", Proc. of the 9th International Symposium on Autonomous Decentralized Systems (ISADS'09), Athens, Greece, March 23-25, 2009.
- P. Sarigiannidis, S. Petridou, G. Papadimitriou, M. Obaidat and A. Pomportsis, "A Quality of Service Scheduling Technique for Optical LANs", Proc. of the 7th ACS/IEEE International Conference on Computer Systems and Applications (IEEE AICCSA'09), Rabat, Marocco, May 10-13, 2009.
- C. Liaskos, S. Petridou, G. Papadimitriou, "A New Approach to the Design of Wireless Data Broadcasting Systems: An Analysis-Based Cost-Effective Scheme", Proc. of the International Conference on Ultra Modern Telecommunications (ICUMT'09), St. Petersburg, Russia, Oct 12-14, 2009.
2008
- S. Petridou, P. Sarigiannidis, G. Papadimitriou and A. Pomportsis, "Nodes' Clustering in WDM Star Networks with Real-Time Traffic", Proc. of the 14th IEEE Mediterranean Electrotechnical Conference (IEEE Melecon'08), Ajaccio, France, May 5-7, 2008.
- S. Petridou, P. Sarigiannidis, G. Papadimitriou and A. Pomportsis, "A High Performance Clustering-Driven MAC Protocol for Single-Hop Lightwave Networks", Proc. of the 14th IEEE Mediterranean Electrotechnical Conference (IEEE Melecon'08), Ajaccio, France, May 5-7, 2008.
- V. Koutsonikola, S. Petridou, A. Vakali, H. Hacid and B. Benatallah, "Correlating Time-related Data Sources with Co-clustering", Proc. of the 9th International Conference on Web Information Systems Engineering (WISE'08), Auckland, New Zealand, September 1-4, 2008.
- C. Liaskos, S. Petridou, G. Papadimitriou, P. Nicopolitidis and A. Pomportsis, "A Novel Clustering-Driven Approach to Wireless Data Broadcasting", 15th IEEE CVT Annual Symposium on Communications and Vehicular Technology in the Benelux (IEEE SCVT'08), Antwerpen, Belgium, November 13, 2008.
2007
- S. Petridou, P. Sarigiannidis, G. Papadimitriou and A. Pomportsis, "Clustering Based Scheduling: A New Approach to the Design of Scheduling Algorithms for WDM Star Networks", Proc. of the 14th IEEE CVT Annual Symposium on Communications and Vehicular Technology in the Benelux (IEEE SCVT'07), Delft, The Netherlands, November 15, 2007.
- S. Petridou, P. Sarigiannidis, G. Papadimitriou and A. Pomportsis, "An Efficient Clustering Oriented Algorithm for Message Scheduling on WDM Star Networks", Proc. of the 14th IEEE CVT Annual Symposium on Communications and Vehicular Technology in the Benelux (IEEE SCVT'07), Delft, The Netherlands, November 15, 2007.
2006
- S. Petridou, V. Koutsonikola, A. Vakali, G. Papadimitriou, "A Divergence-Oriented Approach for Web Users Clustering", Proc. of the International Conference on Computational Science and its Applications (ICCSA'06), Glasgow, Scotland, May 8-11, 2006.
2003
- S. Petridou, G. Pallis, A. Vakali, G. Papadimitriou, A. Pomportsis: "Web Data Accessing and the Web Searching Process", ACS IEEE International Conference on Computer Systems and Applications (IEEE AICCSA'03), Tunis, Tunisia, July 14-18, 2003.