explore Our
Publications
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
Robustness in the Presence of Liveness
Bloem R., Chatterjee K., Greimel K., Henzinger T., Jobstmann B.
Computer Aided Verification, 22nd International Conference on Computer Aided Verification (CAV 2010), 410-424, (Lecture Notes in Computer Science; vol. 6174)
RATSY - A new Requirements Analysis Tool with Synthesis
Bloem R., Cimatti A., Greimel K., Hofferek G., Könighofer R., Roveri M., Schuppan V., Seeber R.
Computer Aided Verification, 22nd International Conference on Computer Aided Verification (CAV 2010), 425-429, (Lecture Notes in Computer Science; vol. 6174)
The SPOCS Interoperability Framework: Interoperability of eDocuments and eDelivery Systems taken as Example
Rössler T., Tauber A.
ISSE 2010 Securing Electronic Business Processes, Information Security Solutions Europe Conference, 122-130
A Scalable Interoperability Architecture for Certified Mail Systems
Tauber A., Rössler T.
Proceedings of the 12th IEEE International Conference on Commerce and Enterprise Computing (CEC 2010), IEEE Conference on Commerce and Enterprise Computing, 9-17
Interoperability Challenges for Pan-European Qualified Exchange of Electronic Documents
Tauber A., Rössler T.
The Proceedings of the 10th European Conference on eGovernment (ECEG 2010), European Conference on E-Government, 382-390
An Electronic-signature Based Circular Resolution Database System
Zefferer T., Knall T.
Proceedings of the 25th Annual ACM Symposium on Applied Computing 2010, 25th Annual ACM Symposium on Applied Computing, 1840-1845
Side-Channel Leakage Across Borders
Schmidt J., Plos T., Kirschbaum M., Hutter M., Medwed M., Herbst C.
Smart Card Research and Advanced Applications 9th IFIP WG 8.8/11.2 International Conference, CARDIS 2010, International Conference on Smart Card Research and Advanced Applications, 36-48, (LNCS)
Towards Interoperability: An Architecture for Pan-European eID-based Authentication Services
Tauber A., Zwattendorfer B., Zefferer T., Mazhari Y., Chamakiotis E.
Electronic Government and the Information Systems Perspective , 1st International Conference on Electronic Government and the Information Systems Perspective, 120-133, (Lecture Notes in Computer Science; vol. 6267)
STORK: Architecture, Implementation and Pilots
Leitold H., Zwattendorfer B.
ISSE 2010 Securing Electronic Business Processes, ISSE 2010 Security Conference, 131-142
Rebound Attacks on the Reduced Grøstl Hash Function
Mendel F., Rechberger C., Schläffer M., Thomsen S.
Topics in Cryptology - CT-RSA 2010, 10th Cryptographers' Track at the RSA Conference, 350-365, (Lecture Notes in Computer Science; vol. 5985)
Randomizing the Montgomery Multiplication to Repel Template Attacks on Multiplicative Masking
Medwed M., Herbst C.
Workshop Proceedings COSADE 201, 1st International Workshop on Constructive Side-Channel Analysis and Secure Design, 56-71
Practical Attacks on Masked Hardware
Popp T., Kirschbaum M., Mangard S.
Topics in Cryptology - CT-RSA 2009, The Cryptographers' Track at the RSA Conference 2009, Cryptographers´ Track at the RSA Conference, 211-225, (Lecture Notes in Computer Science)
Better Quality in Synthesis through Quantitative Objectives
Bloem R., Chatterjee K., Henziger T., Jobstmann B.
International Conference on Computer Aided Verification, 140-156
STORK - Interoperable elektronische Identität in Europa
Ivkovic M., Leitold H., Rössler T.
7. Information Security Konferenz, Information Security Konferenz 2009, 175-190
Cryptanalysis of Hash Functions
Rechberger C.
, Doctoral Thesis
Cryptanalysis of Twister
Mendel F., Rechberger C., Schläffer M.
Applied Cryptography and Network Security, 7th International Conference on Applied Cryptography and Network Security, 342-353, (Lecture Notes in Computer Science; vol. 5536)
Cryptanalysis of Vortex
Aumasson J., Dunkelman O., Mendel F., Rechberger C., Thomsen S.
Lecture Notes in Computer Science, 2nd International Conference on Cryptology in Africa, 14-28, (LNCS)
Wie lange halten die SHA-2 Hashfunktionen kryptanalytischen Angriffen noch stand?
Rechberger C.
Tagungsband 11. Deutscher IT-Sicherheitskongress, Deutscher IT-Sicherheitskongress
Cryptanalysis of MDC-2
Knudsen L., Mendel F., Rechberger C., Thomsen S.
Advances in Cryptology - EUROCRYPT 2009, Eurocrypt - International Conference on the Theory and Applications of Cryptographic Techniques, 106-120, (LNCS)