Publications &
Talks
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
Könighofer R., Tögl R., Bloem R.
Hardware and Software: Verification and Testing - Proceedings of the 10th International Haifa Verification Conference (HVC 2014), Haifa Verification Conference, 92-98, (Lecture Notes in Computer Science
Bloem R., Egly U., Klampfl P., Könighofer R., Lonsing F.
Formal Methods in Computer-Aided Design, International Conference on Formal Methods in Computer-Aided Design, 31-34
Bloem R., Ehlers R., Jacobs S., Könighofer R.
Proceedings 3rd Workshop on Synthesis, Workshop on Synthesis (SYNT 2014), 34-50, (EPTCS
Khalimov A., Bloem R., Jacobs S.
SYNT 2014, 68-83
Bloem R., Könighofer R., Röck F., Tautschnig M.
International Conference on Quality Software, International Conference on Quality Software, 67-72
Pammer-Schindler V., Stern H., Edler S., Hein D., Pirker M., Bloem R., Wertner A.
Proceeding i-KNOW '14 Proceedings of the 14th International Conference on Knowledge Technologies and Data-driven Business, 14th International Conference on Knowledge Technologies and Data-driven Business (i-KNOW 2014), ?-?
Bloem R., Könighofer R., Seidl M.
Verification, Model Checking, and Abstract Interpretation, 15th International Conference, International Conference on Verification, Model Checking, and Abstract Interpretation, 1-20, (Lecture Notes in Computer Science
Zefferer T., Krnjic V., Stranacher K., Zwattendorfer B.
Measuring E-government efficiency. The opinions of Public Administrators and other Stakeholders, 45-74
Zwattendorfer B., Zefferer T., Stranacher K.
Web Information Systems and Technologies 2014, 128-144
Zefferer T.
The 12th International Conference on Advances in Mobile Computing and Multimedia, 12th International Conference on Advances in Mobile Computing & Multimedia (MoMM2014), 175-184
Zefferer T., Zwattendorfer B.
10th International Conference on Web Information Systems and Technologies, International Conference on Web Information Systems and Technologies, 302-309
Rath C., Roth S., Schallar M., Zefferer T.
The Eighth International Conference on Digital Society, The Eighth International Conference on Digital Society, 7-12
Zwattendorfer B., Zefferer T., Stranacher K.
Proceedings of the 10th International Conference on Web Information Systems and Technologies, International Conference on Web Information Systems and Technologies, 82-92
Leitold H., Lioy A., Ribeiro C.
Proceedings of ID World International Congress, ID World International Congress, 1-8
Leitold H.
Proceeedings of AHFE 2014, 5th International Conference on Applied Human Factors and Ergonomics AHFE 2014, 2669-2679
Weiser S., Tögl R., Winter J.
MeSeCCS Proceedings, Measurable security for Embedded Computing and Communication System, 237-246
Lenz T., Zwattendorfer B., Stranacher K., Tauber A.
eGovernment review, Vol. 13, 18-19
Zwattendorfer B., Tauber A.
International journal of Internet technology and secured transactions, Vol. 5(4), 291-306
Tauber A.
IEEE Conference on Communications and Network Security, IEEE Conference on Communications and Network Security
Eichlseder M., Mendel F., Schläffer M.
Fast Software Encryption, Fast Software Encryption Workshop, 473-488, (LNCS