Pascal Raiola

Orcid: 0000-0003-1630-5952

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Security of data flow in IEEE Std 1687 reconfigurable scan networks.
PhD thesis, 2022

2021
On Preprocessing for Weighted MaxSAT.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

2020
Minimal Witnesses for Security Weaknesses in Reconfigurable Scan Networks.
Proceedings of the IEEE European Test Symposium, 2020

2019
Security Compliance Analysis of Reconfigurable Scan Networks.
Proceedings of the IEEE International Test Conference, 2019

On Integrating Lightweight Encryption in Reconfigurable Scan Networks.
Proceedings of the 24th IEEE European Test Symposium, 2019

On Secure Data Flow in Reconfigurable Scan Networks.
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.
Proceedings of the 36th IEEE VLSI Test Symposium, 2018

Detecting and Resolving Security Violations in Reconfigurable Scan Networks.
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.
Proceedings of the 23rd IEEE European Test Symposium, 2018

2017
Evaluating the Effectiveness of D-chains in SAT-based ATPG and Diagnostic TPG.
J. Electron. Test., 2017

Accurate Diagnosis of Interconnect Open Defects Based on the Robust Enhanced Aggressor Victim Model.
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.
Proceedings of the 18th IEEE Latin American Test Symposium, 2017

Specification and verification of security in reconfigurable scan networks.
Proceedings of the 22nd IEEE European Test Symposium, 2017

Sensitized path PUF: A lightweight embedded physical unclonable function.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016
SAT-Based Combinational and Sequential Dependency Computation.
Proceedings of the Hardware and Software: Verification and Testing, 2016


  Loading...