Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Muhammad E. S. Elrabaa

dblp:97/6192 · DBLP profile ↗
← Back
12ranked-venue papers
8as first author
2since 2021 · last 2024
0000-0002-4643-0853ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 10 · 7 first-author · 1 since 2021Computer networks · 1Security and privacy · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
3 papers
Performance modeling and evaluation · 46% Reconfigurable computing and FPGAs · 28% Processor architecture and microarchitecture · 18%
Network and information security
1 paper
Hardware security and side channels · 100%

Topics — the 8 heaviest of 10, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Performance modeling and evaluation
simulation
0.622017
A Very Fast Trace-Driven Simulation Platform for Chip-Multiprocessors Architectural Explorations · IEEE Trans. Parallel Distributed Syst. 2017
Efficient Generation of Compact Execution Traces for Multicore Architectural Simulations · ACM Trans. Archit. Code Optim. 2017
Performance modeling and evaluation › simulation › discrete-event simulation
trace-driven simulation
0.622017
A Very Fast Trace-Driven Simulation Platform for Chip-Multiprocessors Architectural Explorations · IEEE Trans. Parallel Distributed Syst. 2017
Efficient Generation of Compact Execution Traces for Multicore Architectural Simulations · ACM Trans. Archit. Code Optim. 2017
Hardware security and side channels
trusted execution environments
0.512021
Secure Computing Enclaves Using FPGAs · IEEE Trans. Dependable Secur. Comput. 2021
Processor architecture and microarchitecture
chip multiprocessor
0.312017
A Very Fast Trace-Driven Simulation Platform for Chip-Multiprocessors Architectural Explorations · IEEE Trans. Parallel Distributed Syst. 2017
Reconfigurable computing and FPGAs
FPGA-accelerated simulation
0.312017
A Very Fast Trace-Driven Simulation Platform for Chip-Multiprocessors Architectural Explorations · IEEE Trans. Parallel Distributed Syst. 2017
Processor architecture and microarchitecture
many-core architecture
0.312017
A Very Fast Trace-Driven Simulation Platform for Chip-Multiprocessors Architectural Explorations · IEEE Trans. Parallel Distributed Syst. 2017
Performance modeling and evaluation › simulation › processor simulation
multicore simulation
0.312017
Efficient Generation of Compact Execution Traces for Multicore Architectural Simulations · ACM Trans. Archit. Code Optim. 2017
Cloud and datacenter computing
cloud security
0.112021
Secure Computing Enclaves Using FPGAs · IEEE Trans. Dependable Secur. Comput. 2021

Methods — techniques the papers use, named apart from their topics

symmetric key establishment · 1.0integrity check · 1.0authentication · 1.0verilog · 0.3trace-driven simulation · 0.3trace compression · 0.3binary encoding · 0.3
YearPublicationVenuePosition
2024 Accelerating memory and I/O intensive HPC applications using hardware compression
Saleh Alsaleh, Muhammad E. S. Elrabaa, Aiman H. El-Maleh, Khaled A. Daud, Ayman Hroub, Muhamed F. Mudawar, Thierry-Laurent D. Tonellot
J. Parallel Distributed Comput.2
2021 Secure Computing Enclaves Using FPGAs
abstract
A new scheme for securing users' data and applications in public clouds and data centers using Field Programmable Gate Arrays (FPGAs) has been developed. This scheme incorporates all necessary protocols, hardware, and software components to provide protection against many known potential attacks including internal attacks. It achieves perfect forward secrecy, provides FPGA authentication and integrity checks, and securely establishes a symmetric session key between the user and the FPGA. A complete prototype has been implemented to show the feasibility of the proposed scheme with current FPGAs. Experimental results showed that an FPGA-based compute node can be set up in a cloud in 3.36s; 12.6 times faster than booting a medium-size conventional Virtual Machine (VM) on the same cloud. Based on the average global Internet speed, the time it takes to set up the FPGA-based machine from anywhere in the world was estimated to be 15s. Also, running an experimental secure image processing application on the FPGA took 50 percent less time than running the same application on a conventional state-of-the art processor (without a secure container).
Muhammad E. S. Elrabaa, Mohammed Alasli, Marwan H. Abu-Amara
IEEE Trans. Dependable Secur. Comput.1
2019 FPGA-Based Symmetric Re-Encryption Scheme to Secure Data Processing for Cloud-Integrated Internet of Things
abstract
A new scheme using field programmable gate arrays (FPGAs) to secure Internet of Things (IoT) data processing in public clouds against various attacks (including attacks from insiders) is proposed. The proposed scheme supports various business models involving multiple parties and allow the data owner to give temporary access to IoT data to specific clients at a public market place (the cloud). The scheme achieves perfect forward secrecy, provides FPGA authentication, a secure way to establish a symmetric session key between the on-cloud FPGA, the IoT device and the client, and allows user's configuration integrity check while running in the cloud FPGA. A symmetric proxy re-encryption (PRE) scheme is used to support the publish/subscribe mode of operation of IoT. A complete prototype has been implemented to show the feasibility of the proposed scheme. Formal verification of the proposed protocol verified that it does not have any vulnerabilities. Experimental results showed that an FPGA implementation of the proposed PRE was 6× faster than the SW implementation in transforming a ciphertext of size 1 GB.
Mohammed Alasli, Muhammad E. S. Elrabaa, Marwan H. Abu-Amara
IEEE Internet Things J.2
2019 A Protection and Pay-per-use Licensing Scheme for On-cloud FPGA Circuit IPs
abstract
Using security primitives, a novel scheme for licensing hardware intellectual properties (HWIPs) on Field Programmable Gate Arrays (FPGAs) in public clouds is proposed. The proposed scheme enforces a pay-per-use model, allows HWIP's installation only on specific on-cloud FPGAs, and efficiently protects the HWIPs from being cloned, reverse engineered, or used without the owner's authorization by any party, including a cloud insider. It also provides protection for the users’ designs integrated with the HWIP on the same FPGA. This enables cloud tenants to license HWIPs in the cloud from the HWIP vendors at a relatively low price based on usage instead of paying the expensive unlimited HWIP license fee. The scheme includes a protocol for FPGA authentication, HWIP secure decryption, and usage by the clients without the need for the HWIP vendor to be involved or divulge their secret keys. A complete prototype test-bed implementation showed that the proposed scheme is very feasible with relatively low resource utilization. Experiments also showed that a HWIP could be licensed and set up in the on-cloud FPGA in 0.9s. This is 15 times faster than setting up the same HWIP from outside the cloud, which takes about 14s based on the average global Internet speed.
Muhammad E. S. Elrabaa, Mohammed Alasli, Marwan H. Abu-Amara
ACM Trans. Reconfigurable Technol. Syst.1
2017 Efficient Generation of Compact Execution Traces for Multicore Architectural Simulations
abstract
Requiring no functional simulation, trace-driven simulation has the potential of achieving faster simulation speeds than execution-driven simulation of multicore architectures. An efficient, on-the-fly, high-fidelity trace generation method for multithreaded applications is reported. The generated trace is encoded in an instruction-like binary format that can be directly “interpreted” by a timing simulator to simulate a general load/store or x8-like architecture. A complete tool suite that has been developed and used for evaluation of the proposed method showed that it produces smaller traces over existing trace compression methods while retaining good fidelity including all threading- and synchronization-related events.
Ayman Hroub, Muhammad E. S. Elrabaa, Muhamed F. Mudawar, Ahmad Khayyat
ACM Trans. Archit. Code Optim.2
2017 A Very Fast Trace-Driven Simulation Platform for Chip-Multiprocessors Architectural Explorations
abstract
Simulation is the main tool for computer architects and parallel application developers for developing new architectures and parallel algorithms on many-core machines. Simulating a many-core architecture represent a challenge to software simulators even with parallelization of these SW on multi-cores. Field Programmable Gate Arrays offer an excellent implementation platform due to inherent parallelism. Existing FPGA-based simulators however, are mostly execution-driven which consumes too many FPGA resources. Hence, they still trade-off accuracy with simulation speed as SW simulators do. In this work, an application-level trace-driven FPGA-based many-core simulator is presented. A parameterized Verilog template was developed that can generate any number of simulator tiles. The input trace has an architecturally agnostic format that is directly interpreted by the FPGA-based timing model to re-construct the execution events of the original application with accurate timing. This allows fitting a large number of simulation tiles on a single FPGA without sacrificing simulation speed or accuracy. Experimental results show that the simulator's average accuracy is ~14 percent with simulation speeds ranging from 100's of MIPs to over 2,200 MIPS for a 16-core target architecture. Hence, with accuracy similar to SW simulators, its speed is higher than all other FPGA-based simulators.
Muhammad E. S. Elrabaa, Ayman Hroub, Muhamed F. Mudawar, Amran Al-Aghbari, Mohammed Alasli, Ahmad Khayyat
IEEE Trans. Parallel Distributed Syst.1
2017 A Fault Tolerance Technique for Combinational Circuits Based on Selective-Transistor Redundancy
abstract
With fabrication technology reaching nanolevels, systems are becoming more prone to manufacturing defects with higher susceptibility to soft errors. This paper is focused on designing combinational circuits for soft error tolerance with minimal area overhead. The idea is based on analyzing random pattern testability of faults in a circuit and protecting sensitive transistors, whose soft error detection probability is relatively high, until desired circuit reliability is achieved or a given area overhead constraint is met. Transistors are protected based on duplicating and sizing a subset of transistors necessary for providing the protection. In addition to that, a novel gate-level reliability evaluation technique is proposed that provides similar results to reliability evaluation at the transistor level (using SPICE) with the orders of magnitude reduction in CPU time. LGSynth'91 benchmark circuits are used to evaluate the proposed algorithm. Simulation results show that the proposed algorithm achieves better reliability than other transistor sizing-based techniques and the triple modular redundancy technique with significantly lower area overhead for 130-nm process technology at a ground level.
Ahmad T. Sheikh, Aiman H. El-Maleh, Muhammad E. S. Elrabaa, Sadiq M. Sait
IEEE Trans. Very Large Scale Integr. Syst.3
2016 A low-cost platform for the prototyping and characterization of digital circuit IPs
Muhammad E. S. Elrabaa, Amran Al-Aghbari, Mohammed Alasli, Aiman H. El-Maleh, Abdelhafid Bouhraoua, Mohammad R. Alshayeb
Integr.1
2014 A portable high-frequency digitally controlled oscillator (DCO)
Muhammad E. S. Elrabaa
Integr.1
2013 A portable high-frequency digitally controlled oscillator (DCO)
abstract
A novel digitally-controlled oscillator (DCO) is reported. Utilizing a new capacitive load, the new DCO is capable of producing much higher output frequencies than existing DCOs. All other components are fully digital and modular, allowing portability to any CMOS process and customization for different applications. At the heart of the DCO is a digital ring oscillator (DRO) that utilizes the new shunt-capacitive loads. Unprecedented higher frequencies are obtained through a novel idea of electrically removing the effect of un-enabled loads. Simple design conditions for achieving proper operation of the DRO are provided. Spice simulations verified the correct and superior operation of the DCO even with device mismatch. A custom layout of the DRO was generated using LFoundry's 150 nm technology. The total DRO area was found to be 418 μm2.
Muhammad E. S. Elrabaa
ACM Great Lakes Symposium on VLSI1
2011 Robust Two-Phase RZ Asynchronous SoC Interconnects
abstract
A novel two-phase RZ delay-insensitive asynchronous handshaking protocol for on-chip communication has been developed along with an efficient and robust dual-rail circuit implementation (Transmitter/Receiver). Performance was verified using SPICE simulations with a 0.13 μm, 1.2 V technology and compared to that of the best-in-class asynchronous transceivers in terms of forward and backward latencies, throughput, energy per bit transfer and design complexity. Results demonstrate the superior overall performance of the new transceiver.
Muhammad E. S. Elrabaa
IEEE Trans. Very Large Scale Integr. Syst.1
2000 A contention-free domino logic for scaled-down CMOS technologies with ultra low threshold voltages
abstract
A new contention-free domino logic (CF-Domino) that is especially suited for low threshold voltage (LVT) is reported. Its superior noise margin and speed over conventional domino circuits for LVTs are demonstrated using HSPICE(R) simulations and a 0.25 /spl mu/m CMOS technology with a supply voltage of 2.5 V. The impacts of the new technique on dynamic and leakage powers and area are also presented.
Muhammad E. S. Elrabaa, Mohab H. Anis, Mohamed I. Elmasry
ISCAS1