Center for Digital Safety & Security

AIT Austrian Institute of Technology GmbH

12 results

Filter

2023

Computer Safety, Reliability, and Security: SAFECOMP 2023 Workshops
Guiochet, J. (Editor), Tonetta, S. (Editor), Schoitsch, E. (Editor), Roy, M. (Editor) & Bitsch, F. (Editor), 2023, Springer.
Research output: Books and Reports › Conference Proceedings › peer-review
2021

Cryptology and Network Security - CANS 2021
Conti, M. (Editor), Stevenson, M. (Editor) & Krenn, S. (Editor), 2021, Springer. 554 p.
Research output: Books and Reports › Conference Proceedings

Open Access
International Digital Security Forum Vienna
Leopold, H. (Editor), Grabuschnig, W. (Editor), Mürling, M. (Editor), King, R. C. (Editor), Kriechbaum-Zabini, A. (Editor), Strobl, B. (Editor), Haslhofer, B. (Editor), Krenn, W. (Editor), Neubauer, G. (Editor) & Dudenhoeffer, D. D. (Editor), 2021, 60 p.
Research output: Books and Reports › Conference Proceedings
SAFECOMP 2021 Workshop Proceedings
Schoitsch, E. (Editor), Habli, I. (Editor), Gerasimou, S. (Editor), Sujan, M. (Editor) & Bitsch, F. (Editor), 2021, Springer Nature. 335 p.
Research output: Books and Reports › Conference Proceedings

Open Access
2020

8th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2019, Revised Selected Papers
Slamanig, D. (Editor), Tsigaridas, E. (Editor) & Zafeirakopoulos, Z. (Editor), 2020, Springer. 464 p.
Research output: Books and Reports › Conference Proceedings

Open Access
Cryptology and Network Security - CANS 2020
Krenn, S. (Editor), Shulman, H. (Editor) & Vaudenay, S. (Editor), 2020, 634 p.
Research output: Books and Reports › Conference Proceedings

Open Access
Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings
Ter Beek, M. (Editor) & Nickovic, D. (Editor), 2020, Springer. 287 p.
Research output: Books and Reports › Conference Proceedings

Open Access
Lecture Notes in Computer Science- SAFECOMP 2020 Workshop Proceedings
Schoitsch, E. (Editor), Casimiro, A. (Editor), Ferreira, P. (Editor), Ortmeier, F. (Editor) & Bitsch, F. (Editor), 2020, Springer Nature. 416 p.
Research output: Books and Reports › Conference Proceedings

Open Access
2017

Decision and Game Theory for Security, 8th International Conference, GameSec 2017, Vienna, Austria, October 23-25, 2017, Proceedings
Rass, S. (Editor), An, B. (Editor), Kiekintveld, C. (Editor), Fang, F. (Editor) & Schauer, S. (Editor), 2017, 534 p.
Research output: Books and Reports › Conference Proceedings
2012

Formal Modeling and Analysis of Timed Systems - 10th International Conference
Jurdzinski, M. (Editor) & Nickovic, D. (Editor), 2012, Springer. 277 p.
Research output: Books and Reports › Conference Proceedings
2001

Proceedings of the Joint Workshop Advanced Real Time Systems
Schoitsch, E. (Editor) & Donhoffer, D. (Editor), 2001, 172 p.
Research output: Books and Reports › Conference Proceedings
1994

Proceedings des Eurographics Symposium: Multimedia/Hypermedia in open distributed environments, Graz (Austria), 6-9 Jun 1994
Herzner, W. (Editor) & Kappe, F. (Editor), 1994
Research output: Books and Reports › Conference Proceedings