Pascal Raiola

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