Publications

Publications 2021

Ozan Özdenizci and Robert Legenstein
“Training adversarially robust sparse networks via Bayesian connectivity sampling”

International Conference on Machine Learning (ICML), 2021

http://proceedings.mlr.press/v139/ozdenizci21a/ozdenizci21a.pdf

Thomas Pinetz, Erich Kobler, Christian Doberstein, Benjamin Berkels, Alexander Effland
“Total Deep Variation for Noisy Exit Wave Reconstruction in Transmission Electron Microscopy”

SSVM 2021: Scale Space and Variational Methods in Computer Vision pp 491-502

https://link.springer.com/chapter/10.1007/978-3-030-75549-2_39

Ozan Özdenizci and Deniz Erdoğmuş
“Stochastic mutual information gradient estimation for dimensionality reduction networks.
Information Sciences, vol 570, pages 298-305, 2021.

https://doi.org/10.1016/j.ins.2021.04.066

https://arxiv.org/abs/2105.00191

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.

http://www.jbreier.com/files/papers/date_2021_3.pdf

https://eprint.iacr.org/2020/571

Alexander Effland, Behrend Heeren, Martin Rumpf, Benedikt Wirth
“Consistent curvature approximation on Riemannian shape spaces”
IMA Journal of Numerical Analysis, draa092, https://doi.org/10.1093/imanum/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: https://arxiv.org/abs/2012.09539
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: https://arxiv.org/abs/2012.04884
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: https://arxiv.org/abs/2011.06539

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: https://doi.org/10.1007/978-3-030-61362-4 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: https://arxiv.org/abs/2006.1668

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: https://arxiv.org/abs/2010.03842

Interested in cooperating with us?