Not finding it? Sign in to also search OpenAlex live.
-
A secure hardware-software solution based on RISC-V, logic locking and microkernel2020 International Workshop on Software and Compilers for Embedded Systems (SCOPES) conference-paper Computer Science Security and Verification in Computing
Dominik Šišejković, Farhad Merchant, Lennart M. Reimann, Rainer Leupers, Massimiliano Giacometti, Sascha Kegreiß
21citations -
L2M-AID: Autonomous Cyber-Physical Defense by Fusing Semantic Reasoning of Large Language Models with Multi-Agent Reinforcement Learning5citations
-
HAGAR: Hashgraph-based Aggregated Communication and Remote Attestation2024 ACM International Conference on Computing Frontiers: Workshops and Special Sessions (CF Companion) conference-paper Computer Science Blockchain Technology Applications and Security Open access
Jo Vliegen, Md Masoom Rabbani, Wouter Hellemans, Nele Mentens
1citations -
AirDIV: Over-the-Air Cloud-Fog Data Integrity Verification Scheme for Industrial Cyber-Physical Systems2025 IEEE Journal on Selected Areas in Communications article Computer Science Cloud Data Security Solutions
Yao Zhao, Yong Xiang, Md Palash Uddin, Yushu Zhang, Lu Liu, Yansong Liu, +1 more
1citations -
R-MTLLMF: Resilient Multi-Task Large Language Model Fusion at the Wireless Edge2025 International Conference on Communications conference-paper Computer Science Adversarial Robustness in Machine Learning Open access
Aladin Djuhera, Vlad C. Andrei, Mohsen Pourghasemian, Haris Gacanin, Holger Boche, Walid Saad
1citations -
RESERVE: Remote Attestation of Intermittent loT devices2021 Zenodo (CERN European Organization for Nuclear Research) conference-paper Computer Science Security and Verification in Computing Open access
Md Masoom Rabbani, Edlira Dushku, Jo Vliegen, An Braeken, Nicola Dragoni, Nele Mentens
0citations -
Enabling a Secured Communication in Distributed IoT Using the Smart Systems Service Infrastructure8citations
-
iScanU: A Portable Scanner for Undocumented Instructions on RISC Processors2020 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) conference-paper Computer Science Security and Verification in Computing Open access
Rens Dofferhoff, Michael G. Goebel, Kristian F. D. Rietveld, Erik van der Kouwe
11citations -
SoftFlow: Automated HW-SW Confidentiality Verification for Embedded Processors2023 IFIP/IEEE International Conference on Very Large Scale Integration conference-paper Computer Science Security and Verification in Computing
Lennart M. Reimann, Jonathan Wiesner, Dominik Šišejković, Farhad Merchant, Rainer Leupers
1citations -
Systematic Comparison and Improvement of Pre-silicon Leakage Analysis Tools2026 ACM International Conference on Computing Frontiers: Workshops and Special Sessions (CF Companion) conference-paper Computer Science Cryptographic Implementations and Security Open access
Abolfazl Sajadi, Nuša Zidarič, Todor P. Stefanov, Nele Mentens
0citations -
SoftFlow: Automated HW-SW Confidentiality Verification for Embedded Processors2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Security and Verification in Computing Open access
Lennart M. Reimann, Jonathan Wiesner, Dominik Šišejković, Farhad Merchant, Rainer Leupers
0citations -
SPICe Chronicles 2025: The Year with Hot Papers, a Spicy New Lecture and a Sizzling Round of Applause2025 HAL (Le Centre pour la Communication Scientifique Directe) report Computer Science Information and Cyber Security Open access
Martin Henze, Stefan Lenz, Sotiris Michaelides, Gabriel Roson da Silva
0citations