Jason M. Fung
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AsiaCCS | Untitled record | Rahul Kande, Mohamadreza Rostami, Chen Chen, Hareesh Khattri, Jason M. Fung, Ahmad-Reza Sadeghi, Jeyavijayan Rajendran |
| 2024 | ASPDAC | Theoretical Patchability Quantification for IP-Level Hardware Patching Designs. | Wei-Kai Liu, Benjamin Tan, Jason M. Fung, Krishnendu Chakrabarty |
| 2024 | VLSID | Optimal Placement of TDC Sensor for Enhanced Power Side-Channel Assessment on FPGAS. | Debayan Das, Majid Sabbagh, Rana Elnaggar, Guang Chen, Sayak Ray, Jason M. Fung |
| 2023 | DAC | Power Side-Channel Vulnerability Assessment of Lightweight Cryptographic Scheme, XOODYAK. | Anupam Golder, Debayan Das, Santosh Ghosh, Avinash Varna, Majid Sabbagh, Sayak Ray, Rana Elnaggar, Joseph Friel, Daniel Dinu, Jason M. Fung |
| 2023 | ICCAD | Secure-by-Construction Design Methodology for CPUs: Implementing Secure Speculation on the RTL. | Tobias Jauch, Alex Wezel, Mohammad Rahmani Fadiheh, Philipp Schmitz, Sayak Ray, Jason M. Fung, Christopher W. Fletcher, Dominik Stoffel, Wolfgang Kunz |
| 2022 | DAC | Automating hardware security property generation: invited. | Ryan Kastner, Francesco Restuccia, Andres Meza, Sayak Ray, Jason M. Fung, Cynthia Sturton |
| 2022 | ICCAD | Don't CWEAT It: Toward CWE Analysis Techniques in Early Stages of Hardware Design. | 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 |
| 2019 | DAC | Formal Verification of Security Critical Hardware-Firmware Interactions in Commercial SoCs. | Sayak Ray, Nishant Ghosh, Ramya Jayaram Masti, Arun K. Kanuparthi, Jason M. Fung |
| 2018 | DAC | Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware. | Bo-Yuan Huang, Sayak Ray, Aarti Gupta, Jason M. Fung, Sharad Malik |
| 2016 | DATE | Verifying information flow properties of firmware using symbolic execution. | Pramod Subramanyan, Sharad Malik, Hareesh Khattri, Abhranil Maiti, Jason M. Fung |