Publications &
Talks
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
Lipp P.
Trust in the Network Economy, 148-155, (Evolaris; vol. 2)
Lipp P., Scheibelhofer K.
Annual Computer Security Applications Conference, Annual Computer Security Applications Conference, 0-0
Bloem R., Wotawa F.
Telematik, Vol. 8(2), 30-33
Bloem R., Somenzi F., Ravi K.
International Conference on Formal Methods in Computer-Aided Design, International Conference on Formal Methods in Computer-Aided Design, 88-105
Bloem R., Gurumurthy S., Somenzi F.
International Conference on Computer Aided Verification, 610-623
Leitold H., Posch R.
Certification and Security in E-Services: From E-Government to E-Business, 25-30
Rechberger C., Popp T., Tillich S.
Proceedings of Austrochip 2002, October 4, 2002, Graz, Austria, Austrochip 2008, 131-136
Großschädl J., Kamendje Tchokobou G., Oswald M., Posch R.
Proceedings of the International Conference on Advances in Infrastructure for Electronic Business, Education, Science and Medicine on the Internet (SSGRR 2002W), International Conference on Advances in Infrastructure for Electronic Business, Education, Science and Medicine on the Internet (SSGRR 2002W), -
Mangard S., Giuseppe A.
Proceedings of the Eighth ACM Conference on Computer and Communications Security (CCS-8), ACM Conference on Computer and Communications Security, 86-95
Wang C., Bloem R., Hachtel G., Ravi K., Somenzi F.
CONCUR 2001 - Concurrency Theory, International Conference on Concurrency Theory, 456-471, (Lecture notes in computer science
Lipp P., Sterbenz A.
Java One Japan
Bloem R., Engelfriet J.
Journal of computer and system sciences, Vol. 61(1), 1-50
Bloem R., Gabow H., Somenzi F.
International Conference on Formal Methods in Computer-Aided Design, International Conference on Formal Methods in Computer-Aided Design, 37-54
Bloem R., Ravi K., Somenzi F.
International Conference on Formal Methods in Computer-Aided Design, International Conference on Formal Methods in Computer-Aided Design, 143-160
Bloem R., Ravi K., Somenzi F.
Design Automation Conference, 29-34
Bloem R., Somenzi F.
International Conference on Computer Aided Verification, 248-263
Bloem R., Moon I., Ravi K., Somenzi F.
World Multiconference on Systemics, Cybernetics and Informatics, 701-706
Lipp P., Bratko D., Farmer J., Sterbenz A., Platzer W.
, (Professionelle Programmierung
Bloem R., Ravi K., Somenzi F.
International Conference on Computer Aided Verification, International Conference on Computer Aided Verification, 222-235
Bloem R., Engelfriet J.
, (Technical Report