SAT-Based Combinational and Sequential Dependency Computation. - Mathias Soeken; Pascal Raiola; Baruch Sterin; Bernd Becker 001; Giovanni De Micheli; Matthias Sauer 002 (Haifa Verification Conference, 2016)

Sensitized path PUF: A lightweight embedded physical unclonable function. - Matthias Sauer 002; Pascal Raiola; Linus Feiten; Bernd Becker 001; Ulrich Rührmair; Ilia Polian (DATE, 2017)

Specification and verification of security in reconfigurable scan networks. - Michael A. Kochte; Matthias Sauer 002; Laura Rodríguez Gómez; Pascal Raiola; Bernd Becker 001; Hans-Joachim Wunderlich (ETS, 2017)

Evaluating the effectiveness of D-chains in SAT-based ATPG. - Jan Burchard; Felix Neubauer; Pascal Raiola; Dominik Erb; Bernd Becker 001 (LATS, 2017)

Accurate Diagnosis of Interconnect Open Defects Based on the Robust Enhanced Aggressor Victim Model. - Pascal Raiola; Dominik Erb; Sudhakar M. Reddy; Bernd Becker 001 (VLSID, 2017)

Evaluating the Effectiveness of D-chains in SAT-based ATPG and Diagnostic TPG. - Pascal Raiola; Jan Burchard; Felix Neubauer; Dominik Erb; Bernd Becker 001 (J. Electron. Test., 2017)

Online prevention of security violations in reconfigurable scan networks. - Ahmed Atteya; Michael A. Kochte; Matthias Sauer 002; Pascal Raiola; Bernd Becker 001; Hans-Joachim Wunderlich (ETS, 2018)

Detecting and Resolving Security Violations in Reconfigurable Scan Networks. - Pascal Raiola; Michael A. Kochte; Ahmed Atteya; Laura Rodríguez Gómez; Hans-Joachim Wunderlich; Bernd Becker 001; Matthias Sauer 002 (IOLTS, 2018)

Efficient generation of parametric test conditions for AMS chips with an interval constraint solver. - Felix Neubauer; Jan Burchard; Pascal Raiola; Jochen Rivoir; Bernd Becker 001; Matthias Sauer 002 (VTS, 2018)

On Secure Data Flow in Reconfigurable Scan Networks. - Pascal Raiola; Benjamin Thiemann; Jan Burchard; Ahmed Atteya; Natalia Lylina; Hans-Joachim Wunderlich; Bernd Becker 001; Matthias Sauer 002 (DATE, 2019)

On Integrating Lightweight Encryption in Reconfigurable Scan Networks. - Benjamin Thiemann; Linus Feiten; Pascal Raiola; Bernd Becker 001; Matthias Sauer 002 (ETS, 2019)

Security Compliance Analysis of Reconfigurable Scan Networks. - Natalia Lylina; Ahmed Atteya; Pascal Raiola; Matthias Sauer 002; Bernd Becker 001; Hans-Joachim Wunderlich (ITC, 2019)

Minimal Witnesses for Security Weaknesses in Reconfigurable Scan Networks. - Pascal Raiola; Tobias Paxian; Bernd Becker 001 (ETS, 2020)

On Preprocessing for Weighted MaxSAT. - Tobias Paxian; Pascal Raiola; Bernd Becker 001 (VMCAI, 2021)

Security of data flow in IEEE Std 1687 reconfigurable scan networks. - Pascal Raiola (2022)