Petridou Sofia
  • +30 2310 891.639
  • spetrido uom.edu.gr
  • Office: C3, 325

    Petridou Sofia

    Assistant Professor
    Department of Applied Informatics


    Academic Area

    Optical and Wireless Networks' Protocols

    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)

    Department Abbreviation
    AI

    Department
    DEPARTMENT OF APPLIED INFORMATICS

    Course Outlines

    Η περιγραφή του μαθήματος δεν είναι διαθέσιμη

    • CRYPTOGRAPHY
      (CS0101)

    Type
    ELECTIVE

    Department Abbreviation
    MAI

    Department
    MASTER IN APPLIED INFORMATICS

    Course Outlines

    Η περιγραφή του μαθήματος δεν είναι διαθέσιμη

    • CRYPTOGRAPHY
      (CSE705)

    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

    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.

        View Publication

      • 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.

          View Publication

        • 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.

          View Publication

        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.

          View Publication

        • 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.

          View Publication

        • 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.

          View Publication

        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.

          View Publication

        • 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.

          View Publication

        • 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

          View Publication

        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.

          View Publication

        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.

          View Publication

        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.

          View Publication

        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.

          View Publication

        • 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.

          View Publication

        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.

          View Publication

        • 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.

          View Publication

        • 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.

          View Publication

        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.

          View Publication

        • 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.

          View Publication

        • 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.

          View Publication

        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.

          View Publication

        • 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.

          View Publication

        • 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.

          View Publication

        • 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.

          View Publication

        • Conferences (30 records)

        Περιλαμβάνει Άρθρα σε δημοσιευμένα πρακτικά διεθνών ή ελληνικών συνεδρίων (με κριτές).

          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.

            View Publication

          • 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.

            View Publication

          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.

            View Publication

          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.

            View Publication

          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.

            View Publication

          • 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.

            View Publication

          • 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.

            View Publication

          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.

            View Publication

          • 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.

            View Publication

          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.

            View Publication

          • 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.

            View Publication

          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.

            View Publication

          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.

            View Publication

          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.

            View Publication

          • 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.

            View Publication

          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.

            View Publication

          • 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.

            View Publication

          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.

            View Publication

          • 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.

            View Publication

          • 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.

            View Publication

          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.

            View Publication

          • 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.

            View Publication

          • 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.

            View Publication

          • 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.

            View Publication

          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.

            View Publication

          • 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.

            View Publication

          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.

            View Publication

          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.

            View Publication