Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Tobias Paxian
Adresse Technische Fakultät Albert-Ludwigs-Universität Georges Köhler Allee, Gebäude 051 79110 Freiburg im Breisgau Deutschland
Büro Gebäude 51, Raum 01..030
Telefon +49 761 203 8154
Fax +49 761 203 8142
eMail paxiant@informatik.uni-freiburg.de

Tobias Paxian

Jahre: 2021 | 2020 | 2019 | 2018

    2021

    Icon: top nach oben zur Jahresübersicht
    • Tobias Paxian, Pascal Raiola, Bernd Becker
      On Preprocessing for Weighted MaxSAT
      2021 VMCAI - 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, Springer, Band: 12597, Seiten: 556 - 577

    2020

    Icon: top nach oben zur Jahresübersicht
    • Pascal Raiola, Tobias Paxian, Bernd Becker
      Minimal Witnesses for Security Weaknesses in Reconfigurable Scan Networks
      2020 IEEE European Test Symposium
    • Tobias Paxian, Bernd Becker
      Pacose: an iterative SAT-based MaxSAT solver
      2020 MaxSAT Evaluation 2020: Solver and Benchmark Descriptions, Band: 16, Seiten: 12 - 12
    • Pascal Raiola, Tobias Paxian, Bernd Becker
      Partial (un-) weighted MaxSAT benchmarks: minimizing witnesses for security weaknesses in reconfigurable scan networks
      2020 MaxSAT Evaluation 2020, Band: 14, Seiten: 44 - 44
    • Tobias Paxian, Mael Gay, Devanshi Upadhyaya, Bernd Becker, Ilia Polian
      SAT Benchmarks of AutoFault Attacking AES, LED and PRESENT
      2020 SAT COMPETITION 2020, Band: 20, Seiten: 79 - 79

    2019

    Icon: top nach oben zur Jahresübersicht
    • Ilia Polian, Mael Gay, Tobias Paxian, Sauer Matthias, Bernd Becker
      Automatic construction of fault attacks on cryptographic hardware implementations
      2019 Automated Methods in Cryptographic Fault Analysis, Band: 1, Seiten: 151 - 170
    • Mael Gay, Tobias Paxian, Devanshi Upadhyaya, Bernd Becker, Ilia Polian
      Hardware-oriented algebraic fault attack framework with multiple fault injection support
      2019 2019 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC), Band: 16, Seiten: 25 - 32

    2018

    Icon: top nach oben zur Jahresübersicht
    • Tobias Paxian, Sven Reimer, Bernd Becker
      Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT
      2018 International Conference on Theory and Applications of Satisfiability Testing, Springer, Band: 10929, Seiten: 37 - 53