Muhtadi Choudhury

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 7

Top Topics

Linear Programming

Symbolic Execution

Top Venues

ACM Trans. Design Autom. Electr. Syst.

Publications

Muhtadi Choudhury, Minyan Gao, Avinash Varna, Elad Peer, Domenic Forte
Enhanced PATRON: Fault Injection and Power-aware FSM Encoding Through Linear Programming. ACM Trans. Design Autom. Electr. Syst. 28 (6) (2023)
Farhaan Fowze, Muhtadi Choudhury, Domenic Forte
EISec: Exhaustive Information Flow Security of Hardware Intellectual Property Utilizing Symbolic Execution. AsianHOST (2022)
Muhtadi Choudhury, Minyan Gao, Shahin Tajik, Domenic Forte
TAMED: Transitional Approaches for LFI Resilient State Machine Encoding. ITC (2022)
Muhtadi Choudhury, Shahin Tajik, Domenic Forte
SPARSE: Spatially Aware LFI Resilient State Machine Encoding. HASP@MICRO (2021)
Muhtadi Choudhury, Domenic Forte, Shahin Tajik
PATRON: A Pragmatic Approach for Encoding Laser Fault Injection Resistant FSMs. DATE (2021)
Nitin Pundir, Fathi Amsaad, Muhtadi Choudhury, Mohammed Y. Niamat
Novel technique to improve strength of weak arbiter PUF. MWSCAS (2017)
Muhtadi Choudhury, Nitin Pundir, Mohammed Y. Niamat, Muslim Mustapa
Analysis of a novel stage configurable ROPUF design. MWSCAS (2017)