Not finding it? Sign in to also search OpenAlex live.
-
A Faceted Classification of Authenticator-Centric Authentication Techniques2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science User Authentication and Security Systems Open access
Alex R. Mattukat, Vincent Schmandt, Langstrof Timo, Zerbe Michael, Horst Lichter
0citations -
Counter Example Guided Abstraction Refinement for IEC 60848 GRAFCET2025 IEEE Industrial Electronics Society Annual On-Line Conference (ONCON) conference-paper Computer Science Formal Methods in Verification
Robin Mroß, Luca Söthe, Darko Divkovic, Aron Schnakenbeck, Marcus Völker, Alexander Fay, +1 more
0citations -
Intelligent Anomaly Detection for Lane Rendering Using Transformer with Self-Supervised Pre-Training and Customized Fine-Tuning2023 arXiv (Cornell University) preprint Computer Science Anomaly Detection Techniques and Applications Open access
Yongqi Dong, Xingmin Lu, Ruohan Li, Wei Song, Bart van Arem, Haneen Farah
0citations -
QTFlow: Quantitative Timing-Sensitive Information Flow for Security-Aware Hardware Design on RTL2024 arXiv (Cornell University) preprint Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access
Lennart M. Reimann, Anschul Prashar, Chiara Ghinami, Rebecca Pelke, Dominik Šišejković, Farhad Merchant, +1 more
0citations