explore Our
Publications
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
Successfully Attacking Masked AES Hardware Implementations
Mangard S., Pramstaller N., Oswald M.
Cryptographic Hardware and Embedded Systems - CHES 2005, CHES, 157-171, (Lecture Notes in Computer Science (LNCS))
A Side-Channel Analysis Resistant Description of the AES S-box
Oswald M., Mangard S., Pramstaller N., Rijmen V.
Fast Software Encryption, 2005 Fast Software Encryption Workshop, 413-423, (Lecture Notes in Computer Science)
Efficient AES Implementations on ASICs and FPGAs
Pramstaller N., Mangard S., Dominikus S., Wolkerstorfer J.
Proceedings of Fourth Conference on the Advanced Encryption Standard AES4, Springer, 98-112, (Lecture Notes in Computer Science)
Masked Dual-Rail Pre-Charge Logic: DPA-Resistance without Routing Constraints
Popp T., Mangard S.
Cryptographic Hardware and Embedded Systems - CHES 2005, CHES, 172-186, (Lecture Notes in Computer Science (LNCS))
Diagnosis is Repair
Staber S., Jobstmann B., Bloem R.
16th International Workshop on Principles of Diagnosis, International Workshop on Principles of Diagnosis, 169-174
Program Repair as a Game
Jobstmann B., Griesmayer A., Bloem R.
Computer Aided Verification, International Conference on Computer Aided Verification, 226-238, (LNCS)
Repair of boolean programs using games
Griesmayer A., Bloem R.
Games in Design and Verification, Games in Design and Verification, ?-?
Finding and Fixing Faults
Staber S., Jobstmann B., Bloem R.
Correct Hardware Design and Verification Methods, Advanced Research Working Conference on Correct Hardware Design and Verification Methods, 35-49, (Lecture notes in computer science)
Identifikationsmodell der österreichischen Bürgerkarte
Leitold H., Roessler T.
D-A-CH, D-A-CH Security Conference, 121-129
Identifying Obstacles in moving towards an Interoperable Electronic Identity Management System
Leitold H., Posch R., Hayat A.
Proceedings of eGOV INTEROP'05, International Conference on Interoperability of eGovernment Services
C(I)IP Aktivitäten in Österreich
Leitold H., Posch R.
Preprints of CIP Europe 2005, CIP Europe 2005, 50-60
E-Voting: A Scalable Approach using XML and Hardware Security Modules
Leitold H., Posch R., Roessler T.
Proceedings of eee2005, IEEE International Conference on e-Technology, e-Commerce and e-Service 2005 (eee2005), 480-485
Interoperable Certification Authorities in the European Union - A Practical Solution
Hayat A., Rechberger C.
EGOV05 - International Conference on E-Government, 374-381
Impact of Rotations in SHA-1 and Related Hash Functions
Pramstaller N., Rechberger C., Rijmen V.
Selected Areas in Cryptography, International Workshop on Selected Areas in Cryptography, 261-275, (LNCS)
Analysis of simplified variants of SHA-256
Matusiewicz K., Pieprzyk J., Pramstaller N., Rechberger C., Rijmen V.
Western European Workshop on Research in Cryptology - WEWoCR 2005, LNI P-74 (ISSN 1617-5468), Gesellschaft für Informatik , 123-134
Breaking a new Hash Function Design Strategy called SMASH
Pramstaller N., Rechberger C., Rijmen V.
Selected Areas in Cryptography, Springer, (LNCS)
Recent results on SHA-1 and SHA-256
Rechberger C., Rijmen V.
Proceedings of Santa's Crypto Get-together 2005, 51-58
Formal verification of control software: A case study
Griesmayer A., Bloem R., Hautzendorfer M., Wotawa F.
Innovations in Applied Artificial Intelligence, 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 783-788, (Lecture Notes in Computer Science ; vol. 3533)
Security Layer on Small Devices
Tauber A.
, Master's Thesis
Giving an Interoperable Solution for Incorporating Foreign eIDs in Austrian E-Government",
Roessler T., Posch R., Hayat A.
Proceedings of IDABC-Conference 2005, Cross-Border e-Government Services for Administrations, Businesses and Citizens