| 2026 | AAAI | Towards Effective Offensive Security LLM Agents: Hyperparameter Tuning, LLM as a Judge, and a Lightweight CTF Benchmark. | Minghao Shao, Nanda Rani, Kimberly Milner, Haoran Xi, Meet Udeshi, Saksham Aggarwal, Venkata Sai Charan Putrevu, Sandeep K. Shukla, Prashanth Krishnamurthy, Farshad Khorrami, Ramesh Karri, Muhammad Shafique |
| 2025 | ICISSP | Attackers' Profiling Based on Multi-Attack Patterns in SSH Service. | Kriti Majumdar, Nitesh Kumar, Anand Handa, Sandeep K. Shukla |
| 2024 | ICISSP | ArkThor: Threat Categorization Based on Malware's C2 Communication. | Mohammed Jawed, Sriram Parameshwaran, Nitesh Kumar, Anand Handa, Sandeep K. Shukla |
| 2023 | CRITIS | Evasion Attack Against Multivariate Singular Spectrum Analysis Based IDS. | Vikas Maurya, Rachit Agarwal, Sandeep K. Shukla |
| 2023 | DASC | Monitoring Application Behaviours to Detect Android Malware. | Aman Pratap Singh, Rohit Negi, Anand Handa, Sandeep K. Shukla |
| 2023 | ISPEC | RTR-Shield: Early Detection of Ransomware Using Registry and Trap Files. | P. Mohan Anand, P. V. Sai Charan, Hrushikesh Chunduri, Sandeep K. Shukla |
| 2022 | AsiaCCS | RBMon: Real Time System Behavior Monitoring Tool. | Nitesh Kumar, Anand Handa, Sandeep K. Shukla |
| 2022 | SecureComm | A Generalized Unknown Malware Classification. | Nanda Rani, Ayushi Mishra, Rahul Kumar, Sarbajit Ghosh, Sandeep K. Shukla, Priyanka Bagade |
| 2021 | CCS | CatchAll: A Robust Multivariate Intrusion Detection System for Cyber-Physical Systems using Low Rank Matrix. | Aneet Kumar Dutta, Bhaskar Mukhoty, Sandeep K. Shukla |
| 2021 | Qshine | Topology Validator - Defense Against Topology Poisoning Attack in SDN. | Abhay Kumar, Sandeep K. Shukla |
| 2020 | CANS | Detecting Word Based DGA Domains Using Ensemble Models. | P. V. Sai Charan, Sandeep K. Shukla, P. Mohan Anand |
| 2020 | CANS | STDNeut: Neutralizing Sensor, Telephony System and Device State Information on Emulated Android Environments. | Saurabh Kumar, Debadatta Mishra, Biswabandan Panda, Sandeep K. Shukla |
| 2017 | ECRTS | The Multi-Domain Frame Packing Problem for CAN-FD. | Prachi Joshi, Haibo Zeng, Unmesh D. Bordoloi, Soheil Samii, S. S. Ravi, Sandeep K. Shukla |
| 2017 | RTSS | Offset Assignment to Signals for Improving Frame Packing in CAN-FD. | Prachi Joshi, S. S. Ravi, Soheil Samii, Unmesh D. Bordoloi, Sandeep K. Shukla, Haibo Zeng |
| 2016 | VLSID | Cyber Security of Cyber Physical Systems: Cyber Threats and Defense of Critical Infrastructures. | Sandeep K. Shukla |
| 2015 | DAC | The challenge of interoperability: model-based integration for automotive control software. | Huafeng Yu, Prachi Joshi, Jean-Pierre Talpin, Sandeep K. Shukla, Shin'ichi Shiraishi |
| 2015 | SAC | Mapping functional behavior onto architectural model in a model driven embedded system design. | Prachi Joshi, Sandeep K. Shukla, Jean-Pierre Talpin, Huafeng Yu |
| 2014 | FDL | Verification of unit and dimensional consistencies in polychronous specifications. | Mahesh Nanjundappa, Sandeep K. Shukla |
| 2014 | ICSE | Compiling polychronous programs into conditional partial orders for ASIP synthesis. | Mahesh Nanjundappa, Sandeep K. Shukla |
| 2014 | MODELS | Towards an Architecture-Centric Approach Dedicated to Model-Based Virtual Integration for Embedded Software Systems. | Huafeng Yu, Jean-Pierre Talpin, Sandeep K. Shukla, Prachi Joshi, Shin'ichi Shiraishi |
| 2013 | ASPDAC | Simplification of C-RTL equivalent checking for fused multiply add unit using intermediate models. | Bin Xue, Prosenjit Chatterjee, Sandeep K. Shukla |
| 2013 | LFCS | Constructive Polychronous Systems. | Jean-Pierre Talpin, Jens Brandt, Mike Gemnde, Klaus Schneider, Sandeep K. Shukla |
| 2013 | MEMOCODE | APECS: An AADL and polychrony based embedded computing system design environment with an elevator control case study. | Matthew Anderson, Sandeep K. Shukla |
| 2011 | FDL | Integrating system descriptions by clocked guarded actions. | Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin |
| 2011 | MEMOCODE | SMT based false causal loop detection during code synthesis from Polychronous specifications. | Bijoy Antony Jose, Abdoulaye Gamati, Julien Ouy, Sandeep K. Shukla |
| 2010 | ASPDAC | An alternative polychronous model and synthesis methodology for model-driven embedded software. | Bijoy Antony Jose, Sandeep K. Shukla |
| 2010 | ASPDAC | SCGPSim: a fast SystemC simulator on GPUs. | Mahesh Nanjundappa, Hiren D. Patel, Bijoy Antony Jose, Sandeep K. Shukla |
| 2010 | ICCD | Optimization of back pressure and throughput for latency insensitive systems. | Bin Xue, Sandeep K. Shukla |
| 2010 | MEMOCODE | Minimizing back pressure for latency insensitive system synthesis. | Bin Xue, Sandeep K. Shukla, S. S. Ravi |
| 2010 | VLSID | A Methodology for Power Aware High-Level Synthesis of Co-processors from Software Algorithms. | Sumit Ahuja, Wei Zhang, Avinash Lakshminarayana, Sandeep K. Shukla |
| 2009 | FDL | EmCodeSyn: A visual framework for multi-rate data flow specifications and code synthesis for embedded applications. | Bijoy Antony Jose, Jason Pribble, Lemaire Stewart, Sandeep K. Shukla |
| 2009 | FM | On the Difficulties of Concurrent-System Design, Illustrated with a 22 Switch Case Study. | Edgar G. Daylight, Sandeep K. Shukla |
| 2008 | FDL | Formal Transformation of a KPN Specification to a GALS Implementation. | Syed Suhaib, Bijoy Antony Jose, Sandeep K. Shukla, Deepak Mathaikutty |
| 2008 | MEMOCODE | On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications. | Bijoy Antony Jose, Sandeep K. Shukla, Hiren D. Patel, Jean-Pierre Talpin |
| 2007 | DAC | Model-driven Validation of SystemC Designs. | Hiren D. Patel, Sandeep K. Shukla |
| 2007 | DATE | Design fault directed test generation for microprocessor validation. | Deepak Mathaikutty, Sandeep K. Shukla, Sreekumar V. Kodakara, David J. Lilja, Ajit Dingankar |
| 2007 | DATE | Tackling an abstraction gap: co-simulating SystemC DE with bluespec ESL. | Hiren D. Patel, Sandeep K. Shukla |
| 2007 | FDL | A Metamodeling based Framework for Architectural Modeling and Simulator Generation. | Deepak Mathaikutty, Ajit Dingankar, Sandeep K. Shukla |
| 2007 | MEMOCODE | Local Causal Reasoning of a Safety-Critical Subway System. | Edgar G. Daylight, Sandeep K. Shukla |
| 2007 | MEMOCODE | Type Inference for IP Composition. | Deepak Mathaikutty, Sandeep K. Shukla |
| 2007 | MEMOCODE | VT Matrix Multiply Design for MEMOCODE '07. | Eric Simpson, Pengyuan Yu, Patrick Schaumont, Sumit Ahuja, Sandeep K. Shukla |
| 2007 | VLSID | Scalable techniques and tools for reliability analysis of large circuits. | Debayan Bhaduri, Sandeep K. Shukla, Paul S. Graham, Maya B. Gokhale |
| 2007 | VLSID | Model Based Test Generation for Microprocessor Architecture Validation. | Sreekumar V. Kodakara, Deepak Mathaikutty, Ajit Dingankar, Sandeep K. Shukla, David J. Lilja |
| 2006 | DATE | A hybrid framework for design and analysis of fault-tolerant architectures. | Debayan Bhaduri, Sandeep K. Shukla, Deji Coker, Valerie E. Taylor, Paul S. Graham, Maya B. Gokhale |
| 2006 | DATE | Heterogeneous behavioral hierarchy for system level designs. | Hiren D. Patel, Sandeep K. Shukla, Reinaldo A. Bergamaschi |
| 2006 | DATE | Design with race-free hardware semantics. | Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede |
| 2006 | FDL | Mining Metadata for Composability of IPs from SystemC IP Library. | Deepak Mathaikutty, Sandeep K. Shukla |
| 2006 | FDL | MCF: A Metamodeling-based Visual Component Composition Framework. | Deepak Mathaikutty, Sandeep K. Shukla |
| 2006 | MEMOCODE | Panel: Nano-computing - do we need new formal approaches? | M. Hsiao, Sandeep K. Shukla, Maya B. Gokhale, Alvin R. Lebeck |
| 2006 | MEMOCODE | A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design. | Hiren D. Patel, Sandeep K. Shukla, Elliot Mednick, Rishiyur S. Nikhil |
| 2006 | MEMOCODE | Low-power hardware synthesis from TRS-based specifications. | Gaurav Singh, Sandeep K. Shukla |
| 2005 | FDL | SystemCXML: An Exstensible SystemC Front end Using XML. | David Berner, Jean-Pierre Talpin, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla |
| 2005 | FDL | Modelling Environment for Heterogeneous Systems based on MoCs. | Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch |
| 2005 | FDL | Towards Behavioural Hierarchy Extensions for SystemC. | Hiren D. Patel, Sandeep K. Shukla |
| 2005 | MEMOCODE | Improving SystemC simulation through Petri net reductions. | Nicolae Savoiu, Sandeep K. Shukla, Rajesh K. Gupta |
| 2005 | MEMOCODE | Extended abstract: a race-free hardware modeling language. | Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede |
| 2005 | VLSID | Architectural, System Level and Protocol Level Techniques for Power Optimization for Networked Embedded Systems. | Luca Benini, Sandeep K. Shukla, Rajesh K. Gupta |
| 2004 | CASES | Modular design through component abstraction. | David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla |
| 2004 | DATE | Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. | Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten |
| 2004 | FDL | A Functional Programming Framework of Heterogeneous Model of Computation for System Design. | Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla |
| 2004 | IJCNN | Tools and techniques for evaluating reliability of defect-tolerant nano architectures. | Debayan Bhaduri, Sandeep K. Shukla |
| 2004 | MEMOCODE | Panel: given that hardware verification has been an uphill battle, what is the future of software verification? | Sandeep K. Shukla, Tevfik Bultan, Constance L. Heitmeyer |
| 2004 | VLSID | Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking. | Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla |
| 2003 | ASPDAC | Typing abstractions and management in a component framework. | Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupta |
| 2003 | DAC | Formal verification - prove it or pitch it. | Rajesh K. Gupta, Shishpal Rawat, Sandeep K. Shukla, Brian Bailey, Daniel K. Beece, Masahiro Fujita, Carl Pixley, John O'Leary, Fabio Somenzi |
| 2003 | DATE | Introspection in System-Level Language Frameworks: Meta-Level vs. Integrated. | Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupta |
| 2003 | DATE | Polychrony for Refinement-Based Design. | Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet |
| 2003 | ICCAD | Formal Methods for Dynamic Power Management. | Rajesh K. Gupta, Sandy Irani, Sandeep K. Shukla |
| 2003 | MEMOCODE | Should the space of implementation possibilities be determined by the abilities of high-level synthesis and validation? | Rajesh K. Gupta, Sandeep K. Shukla |
| 2003 | MEMOCODE | Hierarchical and Incremental Verification for System Level Design: Challenges and Accomplishments. | Grant Martin, Sandeep K. Shukla |
| 2003 | SODA | Algorithms for power savings. | Sandy Irani, Sandeep K. Shukla, Rajesh K. Gupta |
| 2003 | VLSID | High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap. | Sandeep K. Shukla, Jean-Pierre Talpin, Stephen A. Edwards, Rajesh K. Gupta |
| 2002 | DATE | An Environment for Dynamic Component Composition for Efficient Co-Design . | Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupta, Masato Otsuka |
| 2002 | DATE | Competitive Analysis of Dynamic Power Management Strategies for Systems with Multiple Power Savings States. | Sandy Irani, Rajesh K. Gupta, Sandeep K. Shukla |
| 2002 | DATE | Automated Concurrency Re-Assignment in High Level System Models for Efficient System-Level Simulation. | Nick Savoiu, Sandeep K. Shukla, Rajesh K. Gupta |
| 2002 | HiPC | Structured Component Composition Frameworks for Embedded System Design. | Sandeep K. Shukla, Frederic Doucet, Rajesh K. Gupta |
| 1996 | CAV | HORNSAT, Model Checking, Verification and games (Extended Abstract). | Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz |
| 1996 | ICALP | On the Complexity of Relational Problems for Finite State Processes (Extended Abstract). | Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz, Richard Edwin Stearns |
| 1996 | PODC | I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract). | Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz, S. S. Ravi, Richard Edwin Stearns |