Pascal Raiola

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 14

Top Topics

Security Issues

Reconfigurable Architecture

Top Venues

Publications

Tobias Paxian, Pascal Raiola, Bernd Becker
On Preprocessing for Weighted MaxSAT. VMCAI (2021)
Pascal Raiola, Tobias Paxian, Bernd Becker
Minimal Witnesses for Security Weaknesses in Reconfigurable Scan Networks. ETS (2020)
Benjamin Thiemann, Linus Feiten, Pascal Raiola, Bernd Becker, Matthias Sauer
On Integrating Lightweight Encryption in Reconfigurable Scan Networks. ETS (2019)
Natalia Lylina, Ahmed Atteya, Pascal Raiola, Matthias Sauer, Bernd Becker, Hans-Joachim Wunderlich
Security Compliance Analysis of Reconfigurable Scan Networks. ITC (2019)
Pascal Raiola, Benjamin Thiemann, Jan Burchard, Ahmed Atteya, Natalia Lylina, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer
On Secure Data Flow in Reconfigurable Scan Networks. DATE (2019)
Pascal Raiola, Michael A. Kochte, Ahmed Atteya, Laura Rodríguez Gómez, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer
Detecting and Resolving Security Violations in Reconfigurable Scan Networks. IOLTS (2018)
Felix Neubauer, Jan Burchard, Pascal Raiola, Jochen Rivoir, Bernd Becker, Matthias Sauer
Efficient generation of parametric test conditions for AMS chips with an interval constraint solver. VTS (2018)
Ahmed Atteya, Michael A. Kochte, Matthias Sauer, Pascal Raiola, Bernd Becker, Hans-Joachim Wunderlich
Online prevention of security violations in reconfigurable scan networks. ETS (2018)
Pascal Raiola, Dominik Erb, Sudhakar M. Reddy, Bernd Becker
Accurate Diagnosis of Interconnect Open Defects Based on the Robust Enhanced Aggressor Victim Model. VLSI Design (2017)
Jan Burchard, Felix Neubauer, Pascal Raiola, Dominik Erb, Bernd Becker
Evaluating the effectiveness of D-chains in SAT-based ATPG. LATS (2017)
Pascal Raiola, Jan Burchard, Felix Neubauer, Dominik Erb, Bernd Becker
Evaluating the Effectiveness of D-chains in SAT-based ATPG and Diagnostic TPG. J. Electron. Test. 33 (6) (2017)
Matthias Sauer, Pascal Raiola, Linus Feiten, Bernd Becker, Ulrich Rührmair, Ilia Polian
Sensitized path PUF: A lightweight embedded physical unclonable function. DATE (2017)
Michael A. Kochte, Matthias Sauer, Laura Rodríguez Gómez, Pascal Raiola, Bernd Becker, Hans-Joachim Wunderlich
Specification and verification of security in reconfigurable scan networks. ETS (2017)
Mathias Soeken, Pascal Raiola, Baruch Sterin, Bernd Becker, Giovanni De Micheli, Matthias Sauer
SAT-Based Combinational and Sequential Dependency Computation. Haifa Verification Conference (2016)