explore Our
Publications
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
Symbolic implementation of alternating automata
Pill I., Bloem R., Cimatti A., Roveri M., Semprini S.
Implementation and application of automata, International Conference on Implementation and Application of Automata, 208-218
Formal analysis of hardware requirements
Pill I., Bloem R., Semprini S., Roveri M., Cimatti A., Cavada R.
Design Automation Conference, Association of Computing Machinery, 821-826
Repair of boolean programs with an application to C
Griesmayer A., Bloem R., Byron C.
Computer Aided Verification, International Conference on Computer Aided Verification, 358-371, (LNCS)
Automated Fault Localization for C Programs
Griesmayer A., Staber S., Bloem R.
Workshop on Verification and Debugging, Workshop on Verification and Debugging, 82-99
Game-based and simulation-based improvements for LTL synthesis
Jobstmann B., Bloem R.
Games in Design and Verification, Games in Design and Verification, ?-?
Rat: A tool for formal analysis of requirements
Pill I., Bloem R., Cimatti A., Roveri M., Semprini S., Tchaltsev A.
European Conference on Artificial Intelligence, European Conference on Artificial Intelligence, ?-?
Automatic Fault Localization for Property Checking
Staber S., Fey G., Bloem R., Drechsler R.
Haifa Verification Conference, Haifa Verification Conference
Optimizations for LTL synthesis
Jobstmann B., Bloem R.
International Conference on Formal Methods in Computer-Aided Design, International Conference on Formal Methods in Computer-Aided Design, ?-?
Identification in E-Government: An Overview of Approaches
Leitold H., Posch R.
Encyclopedia of Digital Government, IDEA Group, 984-987
Communications and Multimedia Security
Leitold H., Markatos E.
, Springer Berlin / Heidelberg, (LNCS)
D.VAM11 -- Suggested Algorithms for Light-Weight Cryptography
Aigner M., Dominikus S., Feldhofer M., Rechberger C., Oswald M.
, (ECRYPT Deliverable)
The NIST Cryptographic Workshop on Hash Functions
Rechberger C., Rijmen V., Sklavos N.
IEEE Security & Privacy, Vol. 4(1), 54-56
Finding SHA-1 Characteristics: General Results and Applications
De Cannière C., Rechberger C.
Advances in Cryptology - Asiacrypt 2006, International Conference on the Theory and Application of Cryptology and Information Security, 1-20, (Lecture notes in computer science)
Threshold Implementations Against Side-Channel Attacks and Glitches
Nikova S., Rechberger C., Rijmen V.
Information and Communications Security, International Conference on Information and Communications Security, 529-545, (LNCS)
A Compact FPGA Implementation of the Hash Function Whirlpool
Pramstaller N., Rechberger C., Rijmen V.
Fourteenth ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, Association of Computing Machinery, 159-166
The Impact of Carries on the Complexity of Collision Attacks on SHA-1
Mendel F., Pramstaller N., Rechberger C., Rijmen V.
Fast Software Encryption. FSE 2006, 13th International Fast Software Encryption Workshop, 278-292, (Lecture Notes in Computer Science; vol. 4047)
A Case Against Currently Used Hash Functions in RFID Protocols
Feldhofer M., Rechberger C.
On the Move to Meaningful Internet Systems 2006, OTM, 372-381, (Lecture Notes in Computer Science)
A Case Against Currently Used Hash Functions in RFID Protocols
Feldhofer M., Rechberger C.
Workshop on RFID Security 2006, Workshop on RFID Security 2006, 109-122
On the Collision Resistance of RIPEMD-160
Mendel F., Pramstaller N., Rechberger C., Rijmen V.
Information Security. ISC 2006, 9th International Information Security Conference, 101-116, (Lecture Notes in Computer Science; vol. 4176)
Improved Collision-Attack on the Hash Function Proposed at PKC'98
Mendel F., Pramstaller N., Rechberger C.
Information Security and Cryptology – ICISC 2006, 9th International Conference on Information Security and Cryptology, 8-21, (Lecture Notes in Computer Science; vol. 4296)