We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
Synthesizing Robust Systems with RATSY
Bloem R., Gamauf H., Hofferek G., Könighofer B., Könighofer R.
Proceedings First Workshop on Synthesis (SYNT 2012)
Online-Vollmachten
Tauber A.
eGovernment Review, Vol. 9, 2012
Cross-border Certified Electronic Mailing: A Scalable Interoperability Framework for Certified Mail Systems
Tauber A.
Doctoral Thesis, 2012
SPOCS: Interoperable eGovernment Services in the Context of the Services Directive
Tauber A., Stranacher K., Medimorec D.
European Journal of ePractice, Vol. 14, 2012
Cross-Border Legal Identity Management
Zwattendorfer B., Tauber A., Stranacher K., Reichstädter P.
Electronic Government 11th IFIP WG 8.5 International Conference, EGOV 2012
Secure Cross-Cloud Single Sign-On (SSO) using eIDs
Zwattendorfer B., Tauber A.
ICITST-2012 Proceedings
Bürgerkarten-Authentifizierung zur Public Cloud
Zwattendorfer B., Stranacher K., Tauber A.
D-A-CH Security 2012
The Public Cloud for E-Government
Zwattendorfer B., Tauber A.
IADIS International Conferences Web Based Communities and Social Media and Collaborative Technologies 2012
Generalized Reactivity(1) Synthesis without a Monolithic Strategy
Schlaipfer M., Hofferek G., Bloem R.
Hardware and Software: Verification and Testing
FoREnSiC - An Automatic Debugging Environment for C Programs
Bloem R., Drechsler R., Fey G., Finder A., Hofferek G., Könighofer R., Raik J., Repinski U., Sülflow A.
Haifa Verification Conference
Repair with On-The-Fly Program Analysis
Könighofer R., Bloem R.
Hardware and Software: Verification and Testing
Approaching the Challenge of eID Interoperability: An Austrian Perspective
Tauber A., Zefferer T., Zwattendorfer B.
European Journal of ePractice, Vol. 2012(14), 2012
Qualified PDF signatures on mobile phones
Zefferer T., Tauber A., Zwattendorfer B., Stranacher K.
Electronic Government and Electronic Participation - Joint Proceedings of Ongoing Research and Projects of IFIP EGOV and IFIP ePart 2012
An Interoperability Standard for Certified Mail Systems
Tauber A., Apitzsch J., Boldrin L.
Computer Standards & Interfaces, Vol. 34(5), 2012
Specification-centered robustness
Bloem R., Chatterjee K., Greimel K., Henzinger T., Jobstmann B.
2011 6th International Symposium on Industrial Embedded Systems
One for all - all for one: unifying standard differential power analysis attacks
Mangard S., Elisabeth O., Standaert F.
IET Information Security, 2011
Arithmetic Logic Units with High Error Detection Rates to Counteract Fault Attacks
Medwed M., Mangard S.
Design, Automation and Test in Europe
acTvSM Deliverable 6.1: Business Model and Product Roadmap
Tögl R., Pirker M., Bloem R., Lindsberger G., Posch S.
2011
Secure and Privacy-preserving eGovernment - Best Practice Austria
Posch K., Posch R., Tauber A., Zefferer T., Zwattendorfer B.
Rainbow of Computer Science, Springer, 259-269, 2011