1 citations · 1 across the 3 of their papers we have counts for
5 papers
WarpGuard: Towards Control-Flow Attestation for Heterogeneous CPU-GPU Execution
Christian Lindenmeier, Meni Orenbach, Amro Awad +3
Heterogeneous CPU-GPU workloads are increasingly used in safety-critical embedded systems, yet no existing approach provides joint attestation of their execution. Prior Control-Flo…
Hazel: Secure and Efficient Disaggregated Storage
Marcin Chrapek, Meni Orenbach, Ahmad Atamli +4
Disaggregated storage with NVMe-over-Fabrics (NVMe-oF) has emerged as the standard solution in modern supercomputers and data center clusters, achieving superior performance, resou…
One for All and All for One: GNN-based Control-Flow Attestation for Embedded Devices
Marco Chilese, Richard Mitev, Meni Orenbach +3
Control-Flow Attestation (CFA) is a security service that allows an entity (verifier) to verify the integrity of code execution on a remote computer system (prover). Existing CFA s…
Securing Access to Untrusted Services From TEEs with GateKeeper
Meni Orenbach, Bar Raveh, Alon Berkenstadt +3
Applications running in Trusted Execution Environments (TEEs) commonly use untrusted external services such as host File System. Adversaries may maliciously alter the normal servic…
NearBucket-LSH: Efficient Similarity Search in P2P Networks
Naama Kraus, David Carmel, Idit Keidar +1
We present NearBucket-LSH, an effective algorithm for similarity search in large-scale distributed online social networks organized as peer-to-peer overlays. As communication is a…