We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
Identification and Confidentiality for e-Government
Leitold H., Posch R.
Certification and Security in E-Services: From E-Government to E-Business
Low-cost AES
Rechberger C., Popp T., Tillich S.
Proceedings of Austrochip 2002, October 4, 2002, Graz, Austria
Elliptic Curve Cryptography in Practice — The Austrian Citizen Card for e-Government Applications
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)
A New Approach to DNS Security (DNSSEC)
Mangard S., Giuseppe A.
Proceedings of the Eighth ACM Conference on Computer and Communications Security (CCS-8)
Search Techniques and Automata for Symbolic Model Checking
Bloem R.
Doctoral Thesis, 2001
Divide and compose: SCC refinement for language emptiness
Wang C., Bloem R., Hachtel G., Ravi K., Somenzi F.
CONCUR 2001 - Concurrency Theory
A comparison of tree transductions defined by monadic second order logic and by attribute grammars
Bloem R., Engelfriet J.
Journal of Computer and System Sciences, Vol. 61(1), 2000
An algorithm for strongly connected component analysis in n log n symbolic steps
Bloem R., Gabow H., Somenzi F.
International Conference on Formal Methods in Computer-Aided Design
A comparative study of symbolic algorithms for the computation of fair cycles
Bloem R., Ravi K., Somenzi F.
International Conference on Formal Methods in Computer-Aided Design
Symbolic guided search for CTL model checking
Bloem R., Ravi K., Somenzi F.
Design Automation Conference
Efficient Büchi automata from LTL formulae
Bloem R., Somenzi F.
International Conference on Computer Aided Verification
Approximations for fixpoint computations in symbolic model chec king
Bloem R., Moon I., Ravi K., Somenzi F.
World Multiconference on Systemics, Cybernetics and Informatics
Efficient decision procedures for model checking of linear time logic properties
Bloem R., Ravi K., Somenzi F.
International Conference on Computer Aided Verification
Monadic second order logic and node relations on graphs and trees
Bloem R., Engelfriet J.
Lecture notes in computer science 1261, Springer, 144-161, 1997
Attribute Grammars and Monadic Second Order Logic
Bloem R.
Master's Thesis, 1996
Bildschirmtext - an Open Videotex Network for Text and Graphic Applications
Fellner W., Posch R.
Computers & Graphics, Vol. 11(4), 1987
Graphik-Hardware - die Nutzung von VLSI-Design gezeigt am Beispiel einer Kreismaschine
Posch K., Fellner W., Posch R.
Die Zukunft der Informationssysteme : Lehren der 80er Jahre
PC mit Btx-Frontend-Prozessor - Kommunikationslandschaft der Zukunft?
Fellner W., Posch R., Welser M.
Eurosoft '86 ; 3
Mupid - ein intelligentes Btx-Terminal und ein vollwertiger Editierarbeitsplatz in einem
Maurer H., Posch R., Fellner W.
Videotex Europe