Publications and Talks

Compact Implementation and Performance Evaluation of Block Ciphers in ATtiny Devices

Eisenbarth T., Güneysu T., Heyse S., Indesteege S., Kerckhof S., Koeune F., Nad T., Plos T., Reggazoni F., Standaert F., van Oldeneel tot Oldenzeel L.
ECRYPT Workshop on Lightweight Cryptography 2011, Louvain-la-Neuve, Belgium, November 28-29, 2011, ECRYPT Workshop on Lightweight Cryptography 2011, 1-16

Boomerang Distinguisher for the SIMD-512 Compression Function

Nad T., Mendel F.
Progress in Cryptology - INDOCRYPT 2011, 12th International Conference on Cryptology in India, 255-269, (Lecture Notes in Computer Science; vol. 7107)

Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions

Hofferek G., Bloem R.
9th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, 9th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 31-42

Debugging Unrealizable Specifications with Model-Based Diagnosis

Könighofer R., Hofferek G., Bloem R.
Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers, Haifa Verification Conference 2010, 29-45, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6504 LNCS)

Automated Error Localization and Correction for Imperative Programs

Könighofer R., Bloem R.
Proceedings of 11th International Conference 2011 Formal Methods in Computer Aided Design (FMCAD 2011), 11th International Conference 2011 Formal Methods in Computer Aided Design, 91-100

Accessibility Challenges in e-Government: an Austrian Experience

Orthacker C., Zefferer T.
Proceedings of the Forth International Conference on Internet Technologies and Applications (ITA 11), 4th International Conference on Internet Technologies & Applications, 221-228

A Shared Certified Mail System for the Austrian Public and Private Sectors

Tauber A., Zwattendorfer B., Zefferer T.
Electronic Government and the Information Systems Perspective, 2nd International Conference on Electronic Government and the Information Systems Perspective, 356-369, (Lecture Notes in Computer Science; vol. 6866)

Employing Multi-Core Processor Architectures to Accelerate Java Cryptography Extensions

Ivkovic M., Zefferer T.
Proceedings of the 7th International Conference on Web Information Systems and Technologies, 7th International Conference on Web Information Systems and Technologies, 5-12

Elektronisches Einschreiben im D-A-CH Raum

Tauber A., Zefferer T., Zwattendorfer B.
D-A-CH Security 2011, Arbeitskonferenz DACH Security, 510-521

Ein virtuelles Testframework für E-Government Komponenten

Zefferer T., Krnjic V., Zwattendorfer B.
D-A-CH Security 2011, Arbeitskonferenz DACH Security, 492-503

STORK: Pilot 4 Towards Cross-border Electronic Delivery

Tauber A., Zwattendorfer B., Zefferer T.
Electronic Government and Electronic Participation - Joint Proceedings of Ongoing Research and Projects of IFIP EGOV and ePart 2011, IFIP EGOV and ePart 2011 , 295-301, (Schriftenreihe Informatik; vol. 37)

STORK e-Privacy and Security

Koulolias V., Kountzeris A., Leitold H., Zwattendorfer B., Crespo A., Stern M.
Proceedings - 2011 5th International Conference on Network and System Security, NSS 2011, 5th International Conference on Network and System Security, 234-238

Challenges of eID Interoperability: The STORK Project

Leitold H.
Privacy and Identity Management for Life, 6th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, 144-150, (IFIP Advances in Information and Communication Technology; vol. 352)

Cryptanalysis of Round-Reduced HAS-160

Mendel F., Nad T., Schläffer M.
Information Security and Cryptology - ICISC 2011, 10th International Conference on Information Security and Cryptology, 33-47, (Lecture Notes in Computer science; vol. 7259)

Finding SHA-2 Characteristics: Searching Through a Minefield of Contradictions

Mendel F., Nad T., Schläffer M.
Advances in Cryptology - ASIACRYPT 2011, 17th International Conference on the Theory and Application of Cryptology and Information Security, 288-307, (Lecture Notes in Computer Science; vol. 7073)

On the Duality of Probing and Fault Attacks

Gammel B., Mangard S.
Journal of Electronic Testing , Vol. 26(4), 483-493

The World Is Not Enough: Another Look on Second-Order DPA

Standaert F., Veyrat-Charvillon N., Oswald E., Gierlichs B., Medwed M., Kasper M., Mangard S.
International Conference on the Theory and Application of Cryptology and Information Security, 112-129