Rakesh Podder
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2024–2025
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | PST | Formal Specification and Verification of Protection in Transit (PIT) Protocol Using UPPAAL. | Takwa Rhaimi, Hamed Aghayarzadeh, Rakesh Podder, Indrakshi Ray |
| 2025 | SACMAT | SPEAR: Security Posture Evaluation using AI Planner-Reasoning on Attack-Connectivity Hypergraphs. | Rakesh Podder, Turgay Caglar, Shadaab Kawnain Bashir, Sarath Sreedharan, Indrajit Ray, Indrakshi Ray |
| 2025 | SECRYPT | VKG2AG : Generating Automated Knowledge-Enriched Attack Graph (AG) from Vulnerability Knowledge Graph (VKG). | Md. Rakibul Hasan Talukder, Rakesh Podder, Indrajit Ray |
| 2024 | ICISS | S-RFUP: Secure Remote Firmware Update Protocol. | Rakesh Podder, Tyler Rios, Indrajit Ray, Presanna Raman, Stefano Righi |
| 2024 | QRS | The PIT-Cerberus Framework: Preventing Device Tampering During Transit. | Rakesh Podder, Jack Sovereign, Indrajit Ray, Madhan B. Santharam, Stefano Righi |