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.

Papers published in 2010:

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]