Jason M. Fung

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 21

Top Topics

Protection Schemes

Bug Localization

Symbolic Execution

Hardware Designs

Top Venues

IEEE J. Emerg. Sel. Topics Circuits Syst.

Publications

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