Publications &
Talks
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
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, 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
Claessens J., Leitold H., Litwin W., Momotko M., Orthacker C., Staniszkis W., Starostin D., Stranacher K., Zwattendorfer B.
Claessens J., Leitold H., Orthacker C., Quasim A., Starostin D., Stranacher K., Zwattendorfer B.
Guibert C., Rieunier A., Stranacher K., Leitold H., Orthacker C., Soror S., Starostin D., Staniszkis W., Strychowski J., Risch T.
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, Selected Areas in Cryptography 2007, 56-73, (LNCS
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
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, Cryptographers´ Track at the RSA Conference, 101-111, (LNCS
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), Design, Automation and Test in Europe, 1110-1115
Lanz K., Bratko D., Lipp P.
Workshop Report, W3C Workshop on Next Steps for XML Signature and XML Encryption, W3C Workshop on Next Steps for XML Signature and XML Encryption, 4-4
Dietrich K., Vejda T., Tögl R., Pirker M., Lipp P.
ENISA quarterly, Vol. 3(3), 8-9
Posch R.
Menschenrechte in der Informationsgesellschaft, 233-256, (Recht und neue Medien