Publications:

DBLP

PhD Thesis:

Genge Bela, "Contributions to the composition and implementation of security protocols" (in Romanian), Technical University of Cluj Napoca, Computer Science Department, 2009, under the supervision of Prof. Dr. Ing. Iosif Ignat.

• Thesis summary in romanian - pdf
• Thesis summary in english - pdf
• Thesis slide-show presentation (in romanian) - pdf
• Thesis at UTCN - view

Books:

Genge Bela, Haller Piroska - Designing dedicated and embedded systems using the PIC microcontroller (In Romanian: Proiectarea sistemelor dedicate si incorporate cu microcontrolerul PIC), "Petru Maior" University Press, Targu Mures, 2008, 188 pages, ISBN 978-973-7794-79-6.

Genge Bela, Haller Piroska - Information Security Lab (In Romanian: Securitatea Informatiei, Lucrari de Laborator), "Petru Maior" University Press, Targu Mures, 2010, In Press.

Papers published in 2011:

Genge Bela, Christos Siaterlis, Developing Cyber-Physical Experimental Capabilities for the Security Analysis of the Future Smart Grid, IEEE PES Innovative Smart Grid Technologies, Manchester, UK, Accepted, 2011.

Christos Siaterlis, Genge Bela, Theory of Evidence-based Automated Decision Making in Cyber-Physical Systems, IEEE International Conference on Smart Measurements for Future Grids, Bologna, Italy, Accepted, 2011.

Genge Bela, Igor Nai Fovino, Christos Siaterlis, Marcelo Masera, Analyzing Cyber-Physical Attacks on Networked Industrial Control Systems, Hannover, New Hampshire, USA, 5th IFIP WG 11.10 International Conference on Critical Infrastructure Protection, IFIP Advances in Information and Communication Technology (Critical Infrastructure Protection V), Vol. 367, Revised Selected Papers, Springer, pp. 167-183, ISBN 978-3-642-24863-4, 2011.

Genge Bela, Christos Siaterlis, Analyzing the Effects of Coordinated Cyber Attacks in Networked Industrial Control Systems, 6th International Conference on Critical Information Infrastructure Security, Luzerne, Switzerland, Accepted, 2011.

Genge Bela, Christos Siaterlis, Using Soft Real-Time Simulation in a Hybrid Environment for Cyber-Physical Security Experiments, International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, Paris, France, pp. 285-290, ISBN 978-0-7695-4410-6, 2011.

Genge Bela, Haller Piroska, Using Planetlab To Implement Multicast at the Application Level, International Journal of Computer Networks & Communications (IJCNC) Vol.3, No.1, January 2011, pp. 67-80, ISSN 0974-9322, 2011.

Papers published in 2010:

Albert ZS., Genge B., Haller P., Parallel Sorting Algorithms Using GPU Computing, 20th International Conference on Computers and Education SzamOkt, Satu Mare, Romania, pp. 96-100, ISSN 1842-4546, 2010.

Farkas Gy., Genge B., Haller P., Middleware for Implementing Secure Wireless Ad-Hoc Networks, 20th International Conference on Computers and Education SzamOkt, Satu Mare, Romania, pp. 113-117, ISSN 1842-4546, 2010.

Genge Bela, Haller Piroska, Resource Usage Prediction for Application-Layer Multicast Networks, 2009 IEEE International Conference on Intelligent Communication and Processing (ICCP 2010), Cluj-Napoca, Romania, pp. 473-478, ISBN 978-1-4244-8229-0, 2010 (Acceptance rate 56%).
[pdf][slides]

Genge Bela, Haller Piroska, A New Video Surveillance System Using Automated Secure Service Composition, Studia Universitatis Babes-Bolyai Series Informatica, Volume LV, Number 2, pp. 35-46, ISSN 1224-869x (paper version), 2065-9601 (online version), 2010.

Ovidiu Ratoi, Haller Piroska, Genge Bela, A New Multimedia Streaming Platform Based on XPCOM Components, Studia Universitatis Babes-Bolyai Series Informatica, Volume LV, Number 2, pp. 47-56, ISSN 1224-869x (paper version), 2065-9601 (online version), 2010.

Genge Bela, Haller Piroska, End-Host Distribution in Application-Layer Multicast: Main Issues and Solutions, 9th RoEduNet IEEE International Conference, Sibiu, Romania, pp. 334-339, ISSN 2068-1038, 2010 (Acceptance rate 53%).
[pdf][slides]

Potop Radu, Iovanici Otto, Genge Bela, Haller Piroska, A Fault Tolerant Peer-to-Peer Replication Network, 9th RoEduNet IEEE International Conference, Sibiu, Romania, pp. 196-201, ISSN 2068-1038, 2010 (Acceptance rate 53%).
[pdf]

Farkas Gyula, Genge Bela, Haller Piroska, A Platform for Implementing Secure Wireless Ad Hoc Networks, MACRo2010, Proceedings of the 2nd conference on Recent Achievements in Mechatronics, Automation, Computer Science and Robotics, Scientia Publishing House, Targu Mures, Romania, pp. 29-32, ISBN 978-973-1970-39-4, 2010.
[pdf]

Papers published in 2009:

Genge Bela, Towards Automated Execution of Security Protocols for Web Services, Studia Universitatis Babes-Bolyai Series Informatica, Volume LIV, Number 2, pp. 23-36, ISSN 1224-869x (paper version), 2065-9601 (online version), 2009.
[bibtex][pdf]

Genge Bela, Haller Piroska, A syntactic approach for identifying multi-protocol attacks, ICUMT '09 - International Conference on Ultra Modern Telecommunications, St. Petersburg, Russia, pp. 1-5, ISBN 978-1-4244-3942-3, 2009 (Acceptance rate 39%).
[bibtex][pdf]

Genge Bela, Automated Comparative Performance Eevaluation of Security Protocols, Scientific Bulletin of the Petru Maior University of Targu Mures, Volume 4 (XXI), pp. 67-76, ISSN 1841-9267, 2009.
[bibtex][pdf]

Genge Bela, Haller Piroska, Security Protocol Composition for Web Services, The 4th edition of the Interdisciplinarity in Engineering International Conference, Targu Mures, Romania, pp. 268-273, ISSN 1843-780X, 2009.
[bibtex][pdf]

Ratoi Ovidiu, Haller Piroska, Genge Bela, Multimedia Streaming Platform Based on Components, The 4th edition of the Interdisciplinarity in Engineering International Conference, Targu Mures, Romania, pp. 289-296, ISSN 1843-780X, 2009.
[bibtex][pdf]

Genge Bela, Haller Piroska, Performance Evaluation of Security Protocols, 19th International Conference on Computer Science and Energetics-Electrical Engineering, Targu Mures, Romania, pp. 214-219, ISSN 1842-4546, 2009.
[bibtex][pdf][slides]

Genge Bela, Iosif Ignat, Haller Piroska, Automated Composition of Security Protocols, 2009 IEEE International Conference on Intelligent Communication and Processing (ICCP 2009), Cluj-Napoca, Romania, pp. 251-258, ISBN 978-1-4244-5007-7, 2009 (Acceptance rate 29%).
[bibtex][pdf][slides]

Genge Bela, Haller Piroska, Middleware for Automated Implementation of Security Protocols, 6th European Semantic Web Conference, Heraklion, Greece, 31 May - 4 June, Lecture Notes in Computer Science (LNCS 5554), L. Aroyo et al. (Eds.), Springer-Verlag, pp. 476-490, 2009, ISBN 978-3-642-02120-6, ISSN 0302-9743 (Print) 1611-3349 (Online) (Acceptance rate 18.44%).
[bibtex][pdf][slides]

Genge Bela, Haller Piroska, Towards Automated Secure Web Service Execution, Networking 2009, Aachen, Germany, May 11-15, Lecture Notes in Computer Science (LNCS 5550), L. Fratta et al. (Eds.), Springer-Verlag, pp. 943-954, 2009, ISBN 978-3-642-01398-0, ISSN 0302-9743 (Print) 1611-3349 (Online) (Acceptance rate 20%).
[bibtex][pdf][slides]

Genge Bela, Haller Piroska, Extending WS-Security to Implement Security Protocols for Web Services, 1st International Conference on Recent Achievements in Mechatronics, Automation, Computer-Sciences and Robotics, March 20, Appears in Acta Universitatis Sapientiae - Electrical and Mechanical Engineering, Vol. 1, pp. 105-112, 2009, ISSN 2065-5916.
[bibtex][pdf][slides]

Magyari Attila, Genge Bela, Haller Piroska, Certificate-based Single Sign-On Mechanism for Multi-Platform Distributed Systems, 1st International Conference on Recent Achievements in Mechatronics, Automation, Computer-Sciences and Robotics, March 20, Appears in Acta Universitatis Sapientiae - Electrical and Mechanical Engineering, Vol. 1, pp. 113-123, 2009, ISSN 2065-5916.
[bibtex][pdf]

Papers published in 2008:

Genge Bela, Iosif Ignat, Syntactic Sequential Composition of Security Protocols, Journal of Automation Computers Applied Mathematics (ACAM), Volume 17, No. 2, pp. 169-178, 2008, ISSN 1221-437X.
[bibtex][pdf]

Genge Bela, Haller Piroska, Middleware for Implementing Security Protocols, 18th International Conference on Computer Science and Energetics-Electrical Engineering, Sumuleu-Ciuc, Romania, pp. 139-144, October 2008, ISSN 1842-4546.
[bibtex][pdf][slides]

Genge Bela, Haller Piroska, A Modeling Framework for Generating Security Protocol Specifications, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'08), Workshop on Global Computing Models and Technologies, Timisoara, Romania, Sept. 2008, pp. 362-365, ISBN 978-0-7695-3523-4 (IEEE Computer Society Press).
[bibtex][pdf][slides]

Genge Bela, Haller Piroska, Ovidiu Ratoi, Constructing Security Protocol Specifications for Web Services, C. Badica et al. (Eds.), Intelligent Distributed Computing, Italy, Appears in Studies In Computational Intelligence, Springer-Verlag Berlin Heidelberg, Sept. 2008, Volume 162/2008, pp. 245-250, ISSN 1860-949X.
[bibtex][pdf][slides]

Genge Bela, Haller Piroska, Ovidiu Ratoi, Iosif Ignat, Term-based composition of security protocols, 2008 IEEE International Conference on Automation, Quality and Testing, Robotics, Cluj-Napoca, Romania, May 2008, pp. 233-238, ISBN 978-1-4244-2576-1.
[bibtex][pdf][slides]

Ovidiu Ratoi, Haller Piroska, Ioan Salomie, Genge Bela, Component Based Platform for Multimedia Applications, 7th IEEE RoEduNet International Conference, Cluj-Napoca, Romania, Aug. 2008, pp. 40-43, ISBN 978-973-662-393-6.
[bibtex][pdf]

Genge Bela, Haller Piroska, Iosif Ignat, Ovidiu Ratoi, Informal specification-based performance evaluation of security protocols , 4th IEEE International Conference on Intelligent Computer Communication and Processing, Cluj-Napoca, Romania, pp. 193-200, Aug. 2008, ISBN 978-1-4244-2673-7 (Acceptance rate 40%).
[bibtex][pdf][slides]

Papers published in 2007:

Genge Bela, Haller Piroska, A Chained Authentication Model for Virtual Organizations, Acta Universitatis Cibiniensis, VOL. LV, Technical Series, Sibiu, Romania, pp. 60-68, 2007, ISSN 1583-7149.
[bibtex][pdf]

Genge Bela, Iosif Ignat, An Abstract Model for Security Protocol Analysis, WSEAS Transactions on Computers, Issue 2, Volume 6, pp. 207-215, February 2007, ISSN 1109-2750.
[bibtex][pdf]

Genge Bela, Haller Piroska, Bindings for Security Protocol Composition, In the Proceedings of the 6th IEEE RoEduNet International Conference, Craiova, Romania, November 2007, pp. 64-69, ISBN 978-973-746-581-8.
[bibtex][pdf][slides]

Genge Bela, Programming Manual for Smart Houses, Eliberatica - The benefits of Open and Free Technologies, Brasov, Romania, June 2007.

Genge Bela, Haller Piroska, Extending the Strand Space Model for Security Protocol Composition, International Scientific Conference "Interdisciplinarity in Engineering", Inter-Ing 2007, Targu Mures, Romania, November 2007, VI, 7, 1-7, ISSN 1843-780X.
[bibtex][pdf][slides]

Genge Bela, Iosif Ignat, Verifying the Independence of Security Protocols, 3rd IEEE International Conference on Intelligent Computer Communication and Processing, Cluj-Napoca, Romania, pp. 155-163, September 2007, ISBN 1-4244-1491-1 (Acceptance rate 44%).
[bibtex][pdf][slides]

Genge Bela, Haller Piroska, Attacks in single and multi-protocol environments, 17th International Conference on Computer Science and Energetics-Electrical Engineering, Oradea, Romania, pp. 54-58, October 2007, ISSN 1842-4546.
[bibtex][pdf][slides]

Papers published in 2006:

Genge Bela, Iosif Ignat, A typed specification for security protocols, In the Proceedings of the 5th WSEAS Int. Conf. on Data Networks, Communications & Computers, Bucharest, Romania, pp. 113-118, October 2006, ISBN: 960-8457-54-8, ISSN: 1790-5117.
[bibtex][pdf]

Genge Bela, Haller Piroska, Towards a distributed authentication system in Coordinated Mobile Virtual Organizations, In the Proceedings of the 5th RoEduNet IEEE International Conference, Sibiu, Romania, pp. 119-123, July 2006, ISBN 973-739-277-9.
[bibtex][pdf][slides]

Papers published in 2005:

Haller Piroska, Genge Bela, Security Issues in Wireless Distance Vector Routing Protocols, International Scientific Conference "Interdisciplinarity in Engineering", Inter-Ing 2005, Targu Mures, Romania, pp. 662-668, 2005, ISBN 973-7794-41-9.
[bibtex][pdf][slides]