|
|
Christos Grompanopoulos |
|
|
Position |
Special Faculty Staff (Ε.ΔΙ.Π.) |
|
|
Contact Data |
University of Western Macedonia Office 104 Department of Mechanical Engineering {www.mech.uowm.gr} Bakola & Sialvera 50132 Kozani |
|
|
Contact Data |
Tel. (office): +30 24610 56752 email: cgrompanopoulos@uowm.gr |
|
|
Studies |
2014, Phd Thesis: ‘Specification and verification of an attribute-based usage control approach for open and dynamic computing environments’ – Department of Applied Informatics – University of Macedonia . 2004, Master of Science: ‘Computer Systems’ – Department of Applied Informatics – University of Macedonia . 1998 Bachelor: Computer Science – Computer Science Department – University of Crete |
|
|
Research |
Access Control Model in open and dynamic computing environments (IOT) Formal modelling of access control systems |
|
|
Curriculum Vitae |
Chris Grompanopoulos was born in Amyntaio in 1973. He graduated from the high school of Amyndeo and completed his undergraduate studies in Computer Science at the University of Crete. He did his postgraduate studies at ATEI of West Macedonia in Kozani (in collaboration with the University of Macedonia). His MSc a thesis is entitled “Evaluation of Wireless Network Vulnerability.” Currently, he holds his a PhD from the University of Macedonia under the supervision of Assistant Professor Ioannis Mavridis, with a research topic on “Security Issues in Open and Dynamic Computing Environments”. From 220 until 2017, he was employed as a secondary school teacher by the Greek Ministry of Education, Lifelong Learning and Religious Affairs. From 2017 and on he is holding a possition as a Special Faculty Staff (Ε.ΔΙ.Π.) at Univeristy of Western Macedonia – Department of Mechanical Engineering |
|
|
Course Catalogue |
Introduction to Computing Advanced Information Technologies and Programming for Mechanical Engineers |
|
|
Publications |
|
|
|
Selected Publications |
Grompanopoulos, C., Gouglidis, A., & Mavridou, A. (2020). Specifying and Verifying Usage Control Models and Policies in TLA+. Intl. Journal on Software Tools for Technology Transfer. Gouglidis, A., Grompanopoulos, C., & Mavridou, A. (2018). “Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+”. Paper presented at International Workshop on Methods and Tools for Rigorous System Design, Thessaloniki, Greece. Grompanopoulos, C., Gouglidis, A., Mavridis, I.: “A use-based approach for enhancing UCON”. In: Security and Trust Management, pp. 81–96. Springer Berlin Heidelberg (2013) Grompanopoulos C., Mavridis I. “Challenging Issues of UCON in Modern Computing Environments” In: 5th Balkan Conference in Informatics (BCI 2012), Novi Sad, Serbia, September 2012 Grompanopoulos C., Mavridis I., “Towards Use-Based Usage Control” In Proc. 27th IFIP International Information Security and Privacy Conference (SEC 2012), Heraklion, Crete, Greece, June 2012 Grompanopoulos C., Mavridis I., “Towards Differentiated Utilization of Attribute Mutability for Access Control in Ubiquitous Computing” In Proc 14th Panhellenic Conference on Informatics (PCI) Tripoli Greece |
|
