Anastasia-Maria Leventi-Peetz

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 10

Top Topics

Design Criteria

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Anastasia-Maria Leventi-Peetz, T. Östreich
Deep Learning Reproducibility and Explainable AI (XAI). CoRR (2022)
Anastasia-Maria Leventi-Peetz, Kai Weber
Rashomon Effect and Consistency in Explainable Artificial Intelligence (XAI). FTC (1) (2022)
Anastasia-Maria Leventi-Peetz, Jörg-Volker Peetz, Martina Rohde
ML Supported Predictions for SAT Solvers Performance. CoRR (2021)
Anastasia-Maria Leventi-Peetz, T. Östreich, Werner Lennartz, Kai Weber
Scope and Sense of Explainability for AI-Systems. IntelliSys (1) (2021)
Anastasia-Maria Leventi-Peetz, T. Östreich, Werner Lennartz, K. Weber
Scope and Sense of Explainability for AI-Systems. CoRR (2021)
Anastasia-Maria Leventi-Peetz, Oliver Zendel, Werner Lennartz, Kai Weber
CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances. CoRR (2021)
Anastasia-Maria Leventi-Peetz, Oliver Zendel, Werner Lennartz, Kai Weber
CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances. POS@SAT (2018)
Anastasia-Maria Leventi-Peetz, J.-V. Peetz
Generating and exploring S-box multivariate quadratic equation systems with SageMath. DSC (2017)
Anastasia-Maria Leventi-Peetz, J.-V. Peetz
Generating S-Box Multivariate Quadratic Equation Systems And Estimating Algebraic Attack Resistance Aided By SageMath. CoRR (2015)
Anastasia-Maria Leventi-Peetz, J.-V. Peetz
Generating S-Box Multivariate Quadratic Equation Systems And Estimating Algebraic Attack Resistance Aided By SageMath. IACR Cryptol. ePrint Arch. 2015 (2015)