Publications &
Talks
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
Posch R.
Verwaltung im Umbruch, 91-100
Posch R.
Conference on Trust and Identity Management, 12-21
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, 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, CHES, 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
Lackner G., Lamberger M., Teufl P., Payer U.
D.A.CH Mobility, 41-53
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, 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
Jobstmann B., Bloem R.
International Conference on Formal Methods in Computer-Aided Design, International Conference on Formal Methods in Computer-Aided Design, ?-?
Leitold H., Orthacker C., Stranacher K., Roessler T., Glowacki E., Habela P., Pieciukiewicz T., Stencel K., Subieta K., Momotko M., Staniszkis W., Strychowski J., Bourget N., Drege T.
Leitold H., Posch R.
Encyclopedia of Digital Government, 984-987
Leitold H., Orthacker C., Stranacher K., Staniszkis W., Strychowski J., Bourget N., Risch T., Litwin W., Zarycka A., Adamus R., Orlov A.