Aruna Jayasena

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 15

Top Topics

Hardware Implementation

Injection Attacks

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Aruna Jayasena, Prabhat Mishra
Design for Trust Utilizing Rareness Reduction. VLSID (2024)
Sahan Sanjaya, Aruna Jayasena, Prabhat Mishra
Information Leakage through Physical Layer Supply Voltage Coupling Vulnerability. CoRR (2024)
Aruna Jayasena, Richard Bachmann, Prabhat Mishra
EvilCS: An Evaluation of Information Leakage through Context Switching on Security Enclaves. DATE (2024)
Aruna Jayasena, Richard Bachmann, Prabhat Mishra
CISELeaks: Information Leakage Assessment of Cryptographic Instruction Set Extension Prototypes. IACR Cryptol. ePrint Arch. 2024 (2024)
Aruna Jayasena, Prabhat Mishra
Directed Test Generation for Hardware Validation: A Survey. ACM Comput. Surv. 56 (5) (2024)
Hasini Witharana, Aruna Jayasena, Prabhat Mishra
Incremental Concolic Testing of Register-Transfer Level Designs. ACM Trans. Design Autom. Electr. Syst. 29 (3) (2024)
Aruna Jayasena, Emma Andrews, Prabhat Mishra
TVLA*: Test Vector Leakage Assessment on Hardware Implementations of Asymmetric Cryptography Algorithms. IEEE Trans. Very Large Scale Integr. Syst. 31 (9) (2023)
Hasini Witharana, Aruna Jayasena, Andrew Whigham, Prabhat Mishra
Automated Generation of Security Assertions for RTL Models. ACM J. Emerg. Technol. Comput. Syst. 19 (1) (2023)
Aruna Jayasena, Prabhat Mishra
DETER: Design for Trust utilizing Rareness Reduction. CoRR (2023)
Aruna Jayasena, Prabhat Mishra
HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction. CoRR (2023)
Hasini Witharana, Aruna Jayasena, Prabhat Mishra
Sequence-Based Incremental Concolic Testing of RTL Models. CoRR (2023)
Yuntao Liu, Aruna Jayasena, Prabhat Mishra, Ankur Srivastava
Logic Locking based Trojans: A Friend Turns Foe. CoRR (2023)
Aruna Jayasena, Prabhat Mishra
Scalable Detection of Hardware Trojans Using ATPG-Based Activation of Rare Events. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (12) (2023)
Aruna Jayasena, Khushboo Rani, Prabhat Mishra
Efficient Finite State Machine Encoding for Defending Against Laser Fault Injection Attacks. ICCD (2022)
Aruna Jayasena, Binod Kumar, Subodha Charles, Hasini Witharana, Prabhat Mishra
Network-on-Chip Trust Validation Using Security Assertions. J. Hardw. Syst. Secur. 6 (3-4) (2022)