Publications &
Talks
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
Rechberger C., Rijmen V.
Proceedings of Security and Protection of Information 2007, Security and Protection of Information Conference, 107-114
Lamberger M., Pramstaller N., Rechberger C., Rijmen V.
Cryptographers´ Track at the RSA Conference, The Cryptographers' Track at the RSA Conference 2007, 101-111, (LNCS)
Posch R.
Menschenrechte in der Informationsgesellschaft, Boorberg, 233-256, (Recht und neue Medien)
Posch R.
Verwaltung im Umbruch, Neuer Wissenschaftlicher Verlag GmbH Nfg KG, 91-100
Posch R.
Conference on Trust and Identity Management, 12-21
Könighofer R., Berger S., Herbst C.
DACH Security 2007, Arbeitskonferenz DACH Security, 459-470, (IT security & IT management)
Großschädl J., Tillich S., Rechberger C., Hofmann M., Medwed M.
Proceedings of the 10th Conference on Design, Automation and Test in Europe (DATE 2007), 10th Conference on Design, Automation and Test in Europe, 1110-1115
Popp T., Mangard S.
IEEE International Symposium on Circuits and Systems, IEEE International Symposium on Circuits and Systems, 2913-2916
Oswald M., Mangard S., Herbst C., Tillich S.
Topics in Cryptology - CT-RSA 2006, Cryptographers´ Track at the RSA Conference, 192-207, (Lecture Notes in Computer Science)
Herbst C., Oswald M., Mangard S.
Applied cryptography and Network security, 4th International Conference on Applied Cryptography and Network Security, 239-252, (Lecture Notes in Computer Science)
Mangard S., Schramm K.
Cryptographic Hardware and Embedded Systems - CHES 2006, 8th International Workshop on Cryptographic Hardware and Embedded Systems, 76-90, (Lecture Notes in Computer Science)
Aigner M., Popp T., Mangard S., Trifiletti A., Menicocci R., Olivieri M., Scotti G.
IEEE International Symposium on Circuits and Systems, IEEE International Symposium on Circuits and Systems, 2209-2212
Wang C., Bloem R., Hachtel G., Ravi K., Somenzi F.
Formal Methods in System Design, Vol. 28(1), 5-36
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
Pill I., Bloem R., Semprini S., Roveri M., Cimatti A., Cavada R.
Design Automation Conference, Association of Computing Machinery, 821-826
Griesmayer A., Bloem R., Byron C.
Computer Aided Verification, International Conference on Computer Aided Verification, 358-371, (LNCS)
Griesmayer A., Staber S., Bloem R.
Workshop on Verification and Debugging, Workshop on Verification and Debugging, 82-99
Jobstmann B., Bloem R.
Games in Design and Verification, Games in Design and Verification, ?-?
Pill I., Bloem R., Cimatti A., Roveri M., Semprini S., Tchaltsev A.
European Conference on Artificial Intelligence, European Conference on Artificial Intelligence, ?-?
Staber S., Fey G., Bloem R., Drechsler R.
Haifa Verification Conference, Haifa Verification Conference