@@InProceedings{LKF23,
      title={Certifiers Make Neural Networks Vulnerable to Availability
Attacks}, 
      author={Lorenz, Tobias, Kwiatkowska, Marta and Fritz, Mario},
      year={2023},
      organizer = {16th ACM Workshop on Artificial Intelligence and Security (AISec 2023)},
      eprint={},
      archivePrefix={},
      primaryClass={}