Publications &
Talks
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
Tillich S., Herbst C.
Cryptographic Hardware and Embedded Systems - CHES 2008, 10th International Workshop Cryptographic Hardware and Embedded Systems, 228-243, (Lecture Notes in Computer Science; vol. 5154)
Plos T., Hutter M., Herbst C.
Tagungsband, Austrochip 2008, Linz, Austria, October 8, 2008, Proceedings, Austrochip 2008, 90-95
Mangard S., Oswald M., Popp T.
, Springer
Popp T., Mangard S., Oswald M.
IEEE design & test of computers, Vol. 24(6), 535-543
Hutter M., Mangard S., Feldhofer M.
Cryptographic Hardware and Embedded Systems - CHES 2007, 9th International Workshop, Vienna, Austria, September 10-13, 2007, Proceedings, 9th International Workshop Cryptographic Hardware and Embedded Systems , 320-330, (Lecture Notes in Computer Science (LNCS))
Tillich S., Herbst C., Mangard S.
Applied Cryptography and Network Security, 5th International Conference on Applied Cryptography and Network Security, 141-157, (Lecture Notes in Computer Science; vol. 4521)
Oswald E., Mangard S.
Cryptographers´ Track at the RSA Conference, 243-256
Popp T., Kirschbaum M., Zefferer T., Mangard S.
Cryptographic Hardware and Embedded Systems - CHES 2007, 9th International Workshop Cryptographic Hardware and Embedded Systems , 81-94, (Lecture Notes in Computer Science (LNCS))
Bloem R., Cimatti A., Pill I., Roveri M.
International journal of foundations of computer science, Vol. 18(4), 727-743
Bloem R., Galler S., Jobstmann B., Piterman N., Pnueli A., Weiglhofer M.
6th International Workshop on Compiler Optimization Meets Compiler Verification, 6-20
Jobstmann B., Galler S., Weiglhofer M., Bloem R.
Proceedings of the 19th International Conference of Computer Aided Verification 2007, 258-262
Bloem R., Galler S., Jobstmann B., Piterman N., Pnueli A., Weiglhofer M.
Proceedings of the conference on Design, automation and test in Europe, 10th Conference on Design, Automation and Test in Europe, 1188-1193
Bloem R., Cavada R., Pill I., Roveri M., Tchaltsev A.
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings, International Conference on Computer Aided Verification, 263-267, (Lecture Notes in Computer Science)
Staber S., Bloem R.
Theory and Applications of Satisfiability Testing – SAT 2007, International Conference on Theory and Applications of Satisfiability Testing, 355-268, (Lecture notes in computer science)
Zefferer T.
, Master's Thesis
Leitold H., Posch R.
, (Forschungsjournal der Technischen Universität Graz)
Mendel F., Pramstaller N., Rechberger C., Rijmen V.
De Cannière C., Mendel F., Rechberger C.
Selected Areas in Cryptography, 14th International Workshop on Selected Areas in Cryptography, 56-73, (Lecture Notes in Computer Science; vol. 4876)
Knudsen L., Rechberger C., Thomsen S.
Fast Software Encryption (FSE) 2007, Fast Software Encryption Workshop, 39-57, (LNCS)
Rechberger C., Rijmen V.
Financial Cryptography 2007, International Conference on Financial Cryptography and Data Security, 119-113, (LNCS)