Jason M. Fung

22 papers A* 5A 3B 1Misc 1Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
RAG-Based Fuzzing of Cross-Architecture Compilers.
CoRR
Rana Elnaggar, Brian Delgado, Jason M. Fung
2024 Misc conf
Optimal Placement of TDC Sensor for Enhanced Power Side-Channel Assessment on FPGAS.
VLSID
Debayan Das, Majid Sabbagh, Rana Elnaggar, Guang Chen, Sayak Ray, Jason M. Fung
2024 B conf
Theoretical Patchability Quantification for IP-Level Hardware Patching Designs.
ASPDAC
Wei-Kai Liu, Benjamin Tan, Jason M. Fung, Krishnendu Chakrabarty
2023 J jnl
An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors.
IEEE Trans. Computers
Mohammad Rahmani Fadiheh, Alex Wezel, Johannes Müller, Jörg Bormann, Sayak Ray, Jason M. Fung, Subhasish Mitra, Dominik Stoffel, Wolfgang Kunz
2023 J jnl
Hardware-Supported Patching of Security Bugs in Hardware IP Blocks.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Wei-Kai Liu, Benjamin Tan, Jason M. Fung, Ramesh Karri, Krishnendu Chakrabarty
2023 A* conf
Power Side-Channel Vulnerability Assessment of Lightweight Cryptographic Scheme, XOODYAK.
DAC
Anupam Golder, Debayan Das, Santosh Ghosh, Avinash Varna, Majid Sabbagh, Sayak Ray, Rana Elnaggar, Joseph Friel, Daniel Dinu, Jason M. Fung
2023 A conf
Secure-by-Construction Design Methodology for CPUs: Implementing Secure Speculation on the RTL.
ICCAD
Tobias Jauch, Alex Wezel, Mohammad Rahmani Fadiheh, Philipp Schmitz, Sayak Ray, Jason M. Fung, Christopher W. Fletcher, Dominik Stoffel, Wolfgang Kunz
2023 J jnl
Theoretical Patchability Quantification for IP-Level Hardware Patching Designs.
CoRR
Wei-Kai Liu, Benjamin Tan, Jason M. Fung, Krishnendu Chakrabarty
2022 A* conf
Automating hardware security property generation: invited.
DAC
Ryan Kastner, Francesco Restuccia, Andres Meza, Sayak Ray, Jason M. Fung, Cynthia Sturton
2022 A conf
Don't CWEAT It: Toward CWE Analysis Techniques in Early Stages of Hardware Design.
ICCAD
Baleegh Ahmad, Wei-Kai Liu, Luca Collini, Hammond Pearce, Jason M. Fung, Jonathan Valamehr, Mohammad Bidmeshki, Piotr Sapiecha, Steve Brown, Krishnendu Chakrabarty, Ramesh Karri, Benjamin Tan
2022 J jnl
Don't CWEAT It: Toward CWE Analysis Techniques in Early Stages of Hardware Design.
CoRR
Baleegh Ahmad, Wei-Kai Liu, Luca Collini, Hammond Pearce, Jason M. Fung, Jonathan Valamehr, Mohammad Bidmeshki, Piotr Sapiecha, Steve Brown, Krishnendu Chakrabarty, Ramesh Karri, Benjamin Tan
2021 J jnl
An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors.
CoRR
Mohammad Rahmani Fadiheh, Alex Wezel, Johannes Müller, Jörg Bormann, Sayak Ray, Jason M. Fung, Subhasish Mitra, Dominik Stoffel, Wolfgang Kunz
2021 J jnl
Hardware Security in Emerging Technologies: Vulnerabilities, Attacks, and Solutions.
IEEE J. Emerg. Sel. Topics Circuits Syst.
Naghmeh Karimi, Kanad Basu, Chip-Hong Chang, Jason M. Fung
2021 — conf
Methodology of Assessing Information Leakage through Software-Accessible Telemetries.
HOST
Chen Liu, Monodeep Kar, Xueyang Wang, Nikhil Chawla, Neer Roggel, Bilgiday Yuce, Jason M. Fung
2021 J jnl
Toward Hardware-Based IP Vulnerability Detection and Post-Deployment Patching in Systems-on-Chip.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Benjamin Tan, Rana Elnaggar, Jason M. Fung, Ramesh Karri, Krishnendu Chakrabarty
2021 J jnl
Two Sides of the Same Coin: Boons and Banes of Machine Learning in Hardware Security.
IEEE J. Emerg. Sel. Topics Circuits Syst.
Wenye Liu, Chip-Hong Chang, Xueyang Wang, Chen Liu, Jason M. Fung, Mohammad Ebrahimabadi, Naghmeh Karimi, Xingyu Meng, Kanad Basu
2019 A* conf
Formal Verification of Security Critical Hardware-Firmware Interactions in Commercial SoCs.
DAC
Sayak Ray, Nishant Ghosh, Ramya Jayaram Masti, Arun K. Kanuparthi, Jason M. Fung
2019 A* conf
HardFails: Insights into Software-Exploitable Hardware Bugs.
USENIX Security Symposium
Ghada Dessouky, David Gens, Patrick Haney, Garrett Persyn, Arun K. Kanuparthi, Hareesh Khattri, Jason M. Fung, Ahmad-Reza Sadeghi, Jeyavijayan Rajendran
2018 A* conf
Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware.
DAC
Bo-Yuan Huang, Sayak Ray, Aarti Gupta, Jason M. Fung, Sharad Malik
2018 J jnl
When a Patch is Not Enough - HardFails: Software-Exploitable Hardware Bugs.
CoRR
Ghada Dessouky, David Gens, Patrick Haney, Garrett Persyn, Arun K. Kanuparthi, Hareesh Khattri, Jason M. Fung, Ahmad-Reza Sadeghi, Jeyavijayan Rajendran
2017 J jnl
Guest Editors Introduction: Security of Beyond CMOS Devices: Issues and Opportunities.
IEEE Trans. Emerg. Top. Comput.
Swarup Bhunia, An Chen, Ozgur Sinanoglu, Jason M. Fung
2016 A conf
Verifying information flow properties of firmware using symbolic execution.
DATE
Pramod Subramanyan, Sharad Malik, Hareesh Khattri, Abhranil Maiti, Jason M. Fung