Publications 2021

Anubhab Baksi, Jakub Breier, Yi Chen and Xiaoyang Dong
Machine Learning Assisted Differential Distinguishers For Lightweight Ciphers.
In Design, Automation and Test in Europe (DATE). IEEE, February 2021.

Alexander Effland, Behrend Heeren, Martin Rumpf, Benedikt Wirth
“Consistent curvature approximation on Riemannian shape spaces”
IMA Journal of Numerical Analysis, draa092,
04 January 2021

Publications 2020

Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
Online Shielding for Stochastic Systems.
CoRR, vol. abs/2012.09539, 2020. [Online]. Available:
17 December 2020

Jakub Breier, Adrian Baldwin, Helen Balinsky, Yang Liu
„Risk Management Framework for Machine Learning Security“
CoRR, vol. abs/2012.04884, 2020. [Online]. Available:
9 Dec 2020

Thomas Pinetz and Erich Kobler and Thomas Pock and Alexander Effland
“Shared prior learning of energy-based models for image reconstruction,”
CoRR, vol. abs/2011.06539, 2020. [Online]. Available:

B. Könighofer, F. Lorber, N. Jansen, and R. Bloem
“Shield synthesis for reinforcement learning,”
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles – 9th International Symposium on Leveraging Applications of Formal Methods
ISoLA 2020, Rhodes, Greece, October, 2020, Proceedings, Part {I}
[Online]. Available: 16

B. Aichernig, E. Muskardin, and A. Pferscher
”Learning-based fuzzing of iot message brokers.”
In print

R. Bloem, P. G. Jensen, B. Könighofer, K. G. Larsen, F. Lorber, and A. Palmisano
“It’s time to play safe: Shield synthesis for timed systems”
CoRR, vol. abs/2006.16688, 2020. [Online]. Available:

S. Pranger, B. Könighofer, M. Tappler, M. Deixelberger, N. Jansen, and R. Bloem
”Adaptive shielding under uncertainty”
CoRR, vol. abs/2010.03842, 2020. [Online]. Available:

Interested in cooperating with us?