Dynamic polynomial watchdog encoding for solving weighted MaxSAT T Paxian, S Reimer, B Becker Theory and Applications of Satisfiability Testing–SAT 2018: 21st …, 2018 | 28 | 2018 |
Hardware-oriented algebraic fault attack framework with multiple fault injection support M Gay, T Paxian, D Upadhyaya, B Becker, I Polian 2019 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC), 25-32, 2019 | 23 | 2019 |
Pacose: An iterative SAT-based MaxSAT solver T Paxian, S Reimer, B Becker MaxSAT Evaluation 2018, 20, 2018 | 22 | 2018 |
On preprocessing for weighted MaxSAT T Paxian, P Raiola, B Becker Verification, Model Checking, and Abstract Interpretation: 22nd …, 2021 | 15 | 2021 |
Effective SAT-based solutions for generating functional sequences maximizing the sustained switching activity in a pipelined processor NI Deligiannis, R Cantoro, T Faller, T Paxian, B Becker, MS Reorda 2021 IEEE 30th Asian Test Symposium (ATS), 73-78, 2021 | 10 | 2021 |
Towards SAT-based SBST generation for RISC-V cores T Faller, P Scholl, T Paxian, B Becker 2021 IEEE 22nd Latin American Test Symposium (LATS), 1-2, 2021 | 6 | 2021 |
Automating the generation of programs maximizing the repeatable constant switching activity in microprocessor units via MaxSAT NI Deligiannis, T Faller, R Cantoro, T Paxian, B Becker, MS Reorda IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023 | 4 | 2023 |
Everything you always wanted to know about generalization of proof obligations in PDR T Seufert, F Winterer, C Scholl, K Scheibler, T Paxian, B Becker IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022 | 4 | 2022 |
Minimal witnesses for security weaknesses in reconfigurable scan networks P Raiola, T Paxian, B Becker 2020 IEEE European Test Symposium (ETS), 1-6, 2020 | 4 | 2020 |
Automatic construction of fault attacks on cryptographic hardware implementations I Polian, M Gay, T Paxian, M Sauer, B Becker Automated Methods in Cryptographic Fault Analysis, 151-170, 2019 | 4 | 2019 |
Incremental Partial MaxSAT Application: Generalization of Proof Obligations in Bit-Level PDR T Seufert, T Paxian, F Winterer, C Scholl, K Scheibler, A Biere, B Becker MaxSAT Evaluation 2022, 44, 2022 | 1 | 2022 |
Partial (un-) weighted MaxSAT benchmarks: minimizing witnesses for security weaknesses in reconfigurable scan networks P Raiola, T Paxian, B Becker MaxSAT Evaluation 2020, 44, 2020 | 1 | 2020 |
Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging T Paxian, A Biere | | 2023 |
Wearable Computing Systems-Seminar Course: Tragbare Computer Systeme-Seminarband PM Scholl, M Pfeifer, B Völker, M Rehse, S Böttcher, I Dobrusin, ... Universität, 2015 | | 2015 |
SAT Benchmarks of AutoFault Attacking AES, LED and PRESENT T Paxian, M Gay, D Upadhyaya, B Becker, I Polian SAT COMPETITION 2020, 79, 0 | | |