explore Our
Publications
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
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
Jobstmann B., Bloem R.
International Conference on Formal Methods in Computer-Aided Design, International Conference on Formal Methods in Computer-Aided Design, ?-?
Leitold H., Posch R.
Encyclopedia of Digital Government, IDEA Group, 984-987
Leitold H., Markatos E.
, Springer Berlin / Heidelberg, (LNCS)
Aigner M., Dominikus S., Feldhofer M., Rechberger C., Oswald M.
, (ECRYPT Deliverable)
Rechberger C., Rijmen V., Sklavos N.
IEEE Security & Privacy, Vol. 4(1), 54-56
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)
Nikova S., Rechberger C., Rijmen V.
Information and Communications Security, International Conference on Information and Communications Security, 529-545, (LNCS)