Cyber-Physical Systems

Page 1 of 1.

1. Buse Ustaoglu; Sebastian Huhn; Rolf Drechsler

   A Memory-Upscaled Boolean Satisfiability Solver for Complex On-Chip Self-Verification Tasks

   In: Workshop on Interdependent Challenges of Reliability, Security and Quality (RESCUE). Workshop on Interdependent Challenges of Reliability, …

2. Buse Ustaoglu; Kenneth Schmitz; Daniel Große; Rolf Drechsler

   ReCoFused partial reconfiguration for secure moving-target countermeasures on FPGAs

   In: SN Applied Sciences, Vol. 02, Springer Nature, 2020.

3. Kenneth Schmitz; Buse Ustaoglu; Daniel Große; Rolf Drechsler

   (ReCo) Fuse Your PRC or Lose Security: Finally Reliable Reconfiguration-based Countermeasures on FPGAs

   In: Proceedings of the 15th International Symposium on Applied Reconfigurable Computing (ARC). International Symposium on Applied Reconfigurable …

4. Buse Ustaoglu; Sebastian Huhn; Frank Sill Torres; Daniel Große; Rolf Drechsler

   SAT-Hard: A Learning-based Hardware SAT-Solver

   In: EUROMICRO Digital System Design Conference (DSD). Euromicro Conference on Digital System Design (DSD-2019), August 28-30, Kallithea, Chalkidiki, …

• 1