Sheikh Ariful Islam

dblp:219/2539 · DBLP profile ↗
← Back
7ranked-venue papers
1as first author
5since 2021 · last 2022
0000-0002-3127-3760ORCID · corroborated

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

Systems, architecture and hardware · 4 · 1 first-author · 2 since 2021Security and privacy · 2 · 2 since 2021
YearPublicationVenuePosition
2022 Multi-Operator Intelligent UAV Delivery Networks in Beyond Visual Line of Sight Operations
abstract
Unmanned Aerial Vehicle (UAV) based delivery networks have emerged as a promising mode of parcel delivery owing to their efficient and cost-effective operations. In this paper, we propose a novel techno-economic framework to facilitate multi-operator UAV delivery networks in Beyond Visual Line of Sight (BVLoS) communications. The proposed model aims at partitioning a large delivery zone into several small cells, each receiving separate licensing to carry out UAV operations. A controlling entity called UAV Traffic Controller (UTC) governs each cell and manages all UAV movements within the cell while adhering to the Federal Aviation Authority’s regulations. A UTC also authenticates all UAVs running within its airspace and secures delivery service providers’ and customers’ privacy.
Anindo Mahmood, Kevin Ramirez Reynoso, Mostafizur Rahman, Sheikh Ariful Islam
CCNC4
2022 Differentially private data publication with multi-level data utility
abstract
Conventional private data publication mechanisms aim to retain as much data utility as possible while ensuring sufficient privacy protection on sensitive data. Such data publication schemes implicitly assume that all data analysts and users have the same data access privilege levels. However, it is not applicable for the scenario that data users often have different levels of access to the same data, or different requirements of data utility. The multi-level privacy requirements for different authorization levels pose new challenges for private data publication. Traditional PPDP mechanisms only publish one perturbed and private data copy satisfying some privacy guarantee to provide relatively accurate analysis results. To find a good tradeoff between privacy preservation level and data utility itself is a hard problem, let alone achieving multi-level data utility on this basis. In this paper, we address this challenge in proposing a novel framework of data publication with compressive sensing supporting multi-level utility-privacy tradeoffs, which provides differential privacy. Specifically, we resort to compressive sensing (CS) method to project a n-dimensional vector representation of users’ data to a lower m-dimensional space, and then add deliberately designed noise to satisfy differential privacy. Then, we selectively obfuscate the measurement vector under compressive sensing by adding linearly encoded noise, and provide different data reconstruction algorithms for users with different authorization levels. Extensive experimental results demonstrate that ML-DPCS yields multi-level of data utility for specific users at different authorization levels.
Honglu Jiang, S. M. Sarwar, Haotian Yu, Sheikh Ariful Islam
High Confid. Comput.4
2022 A survey on security analysis of Amazon echo devices
abstract
Since its launch in 2014, Amazon Echo family of devices has seen a considerable increase in adaptation in consumer homes and offices. With a market worth millions of dollars, Echo is used for diverse tasks such as accessing online information, making phone calls, purchasing items, and controlling the smart home. Echo offers user-friendly voice interaction to automate everyday tasks making it a massive success. Though many people view Amazon Echo as a helpful assistant at home or office, few know its underlying security and privacy implications. In this paper, we present the findings of our research on Amazon Echo’s security and privacy concerns. The findings are divided into different categories by vulnerability or attacks. The proposed mitigation(s) to the vulnerabilities are also presented in the paper. We conclude that though numerous privacy concerns and security vulnerabilities associated with the device are mitigated, many vulnerabilities still need to be addressed.
Surendra Pathak, Sheikh Ariful Islam, Honglu Jiang, Lei Xu 0012, Emmett Tomai
High Confid. Comput.2
2021 Partial evaluation based triple modular redundancy for single event upset mitigation
Srinivas Katkoori, Sheikh Ariful Islam, Sujana Kakarla
Integr.2
2021 High-Level Synthesis of Key-Obfuscated RTL IP with Design Lockout and Camouflaging
abstract
We propose three orthogonal techniques to secure Register-Transfer-Level (RTL) Intellectual Property (IP). In the first technique, the key-based RTL obfuscation scheme is proposed at an early design phase during High-Level Synthesis (HLS). Given a control-dataflow graph, we identify operations on non-critical paths and leverage synthesis information during and after HLS to insert obfuscation logic. In the second approach, we propose a robust design lockout mechanism for a key-obfuscated RTL IP when an incorrect key is applied more than the allowed number of attempts. We embed comparators on obfuscation logic output to check if the applied key is correct or not and a finite-state machine checker to enforce design lockout. Once locked out, only an authorized user (designer) can unlock the locked IP. In the third technique, we design four variants of the obfuscating module to camouflage the RTL design. We analyze the security properties of obfuscation, design lockout, and camouflaging. We demonstrate the feasibility on four datapath-intensive IPs and one crypto core for 32-, 64-, and 128-bit key lengths under three design corners (best, typical, and worst) with reasonable area, power, and delay overheads on both ASIC and FPGA platforms.
Sheikh Ariful Islam, Love Kumar Sah, Srinivas Katkoori
ACM Trans. Design Autom. Electr. Syst.1
2020 Basic Block Encoding Based Run-time CFI Check for Embedded Software
abstract
Modern control flow attacks circumvent existing defense mechanisms to transfer the program control to attacker chosen malicious code in the program, leaving application vulnerable to attack. Advanced attacks such as Return-Oriented Programming (ROP) attack and its variants, transfer program execution to gadgets (code-snippet that ends with return instruction). The code space to generate gadgets is large and attacks using these gadgets are Turing-complete. One big challenge to harden the program against ROP attack is to confine gadget selection to a limited locations, thus leaving the attacker to search entire code space according to payload criteria. In this paper, we present a novel approach to label the nodes of the Control-Flow Graph (CFG) of a program such that labels of the nodes on a valid control flow edge satisfy a Hamming distance property. The newly encoded CFG enables detection of illegal control flow transitions during the runtime in the processor pipeline. Experimentally, we have demonstrated that the proposed Control Flow Integrity (CFI) implementation is effective against control-flow hijacking and the technique can reduce the search space of the ROP gadgets upto 99.28%. We have also validated our technique on seven applications from MiBench and the proposed labeling mechanism incurs no instruction count overhead while, on average, it increases instruction width to a maximum of 12.13%.
Love Kumar Sah, Srivarsha Polnati, Sheikh Ariful Islam, Srinivas Katkoori
VLSI-SOC3
2020 Interval Arithmetic and Self-Similarity Based RTL Input Vector Control for Datapath Leakage Minimization
abstract
With technology scaling, subthreshold leakage has dominated the overall power consumption in a design. Input vector control is an effective technique to minimize subthreshold leakage. Low leakage input vector determination is not often possible due to large design space and simulation time. Similarly, applying an appropriate minimum leakage vector (MLV) to each Register Transfer Level (RTL) module instance in a design often results in a low leakage state with significant area overhead. In this work, we propose a top-down and bottom-up approach for propagating the input vector interval to identify low leakage input vector at primary inputs of an RTL datapath. For each module, via Monte Carlo simulation, we identify a set of MLV intervals such that maximum leakage is within (say) 10% of the lowest leakage points. As the module bit width increases, exhaustive simulation to find the low leakage vector is not feasible. Further, we need to uniformly search the entire input space to obtain as many low leakage intervals as possible. Based on empirical observations, we observe self-similarity in the subthreshold leakage distribution of adder/multiplier modules with highly regular bit-slice architectures when input space is partitioned into smaller cells. This property enables the uniform search of low leakage vectors in the entire input space where the time taken for characterization increases linearly with the module size. We further process the reduced interval set with simulated annealing to arrive at the best low-leakage vector at the primary inputs. We also propose to reduce area overhead (in some cases to 0%) by choosing Primary Input (PI) MLVs such that resultant inputs to internal nodes are also MLVs. Compared to existing work, experimental results for DSP filters simulated in 16nm technology demonstrated leakage savings of 93.6% and 89.2% for top-down and bottom-up approaches with no area overhead.
Shilpa Pendyala, Sheikh Ariful Islam, Srinivas Katkoori
ACM Trans. Design Autom. Electr. Syst.2