Pascal Raiola

According to our database, Pascal Raiola authored at least 15 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Security of data flow in IEEE Std 1687 reconfigurable scan networks.

Pascal Raiola

PhD thesis, 2022

2021

On Preprocessing for Weighted MaxSAT.

Tobias Paxian, Pascal Raiola, Bernd Becker

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

2020

Minimal Witnesses for Security Weaknesses in Reconfigurable Scan Networks.

Pascal Raiola, Tobias Paxian, Bernd Becker

Proceedings of the IEEE European Test Symposium, 2020

2019

Security Compliance Analysis of Reconfigurable Scan Networks.

Natalia Lylina, Ahmed Atteya, Pascal Raiola, Matthias Sauer, Bernd Becker, Hans-Joachim Wunderlich

Proceedings of the IEEE International Test Conference, 2019

On Integrating Lightweight Encryption in Reconfigurable Scan Networks.

Benjamin Thiemann, Linus Feiten, Pascal Raiola, Bernd Becker, Matthias Sauer

Proceedings of the 24th IEEE European Test Symposium, 2019

On Secure Data Flow in Reconfigurable Scan Networks.

Pascal Raiola, Benjamin Thiemann, Jan Burchard, Ahmed Atteya, Natalia Lylina, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

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, Matthias Sauer

Proceedings of the 36th IEEE VLSI Test Symposium, 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, Matthias Sauer

Proceedings of the 24th IEEE International Symposium on On-Line Testing And Robust System Design, 2018

Online prevention of security violations in reconfigurable scan networks.

Ahmed Atteya, Michael A. Kochte, Matthias Sauer, Pascal Raiola, Bernd Becker, Hans-Joachim Wunderlich

Proceedings of the 23rd IEEE European Test Symposium, 2018

2017

Evaluating the Effectiveness of D-chains in SAT-based ATPG and Diagnostic TPG.

Pascal Raiola, Jan Burchard, Felix Neubauer, Dominik Erb, Bernd Becker

J. Electron. Test., 2017

Accurate Diagnosis of Interconnect Open Defects Based on the Robust Enhanced Aggressor Victim Model.

Pascal Raiola, Dominik Erb, Sudhakar M. Reddy, Bernd Becker

Proceedings of the 30th International Conference on VLSI Design and 16th International Conference on Embedded Systems, 2017

Evaluating the effectiveness of D-chains in SAT-based ATPG.

Jan Burchard, Felix Neubauer, Pascal Raiola, Dominik Erb, Bernd Becker

Proceedings of the 18th IEEE Latin American Test Symposium, 2017

Specification and verification of security in reconfigurable scan networks.

Michael A. Kochte, Matthias Sauer, Laura Rodríguez Gómez, Pascal Raiola, Bernd Becker, Hans-Joachim Wunderlich

Proceedings of the 22nd IEEE European Test Symposium, 2017

Sensitized path PUF: A lightweight embedded physical unclonable function.

Matthias Sauer, Pascal Raiola, Linus Feiten, Bernd Becker, Ulrich Rührmair, Ilia Polian

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

SAT-Based Combinational and Sequential Dependency Computation.

Mathias Soeken, Pascal Raiola, Baruch Sterin, Bernd Becker, Giovanni De Micheli, Matthias Sauer

Proceedings of the Hardware and Software: Verification and Testing, 2016