HORNSAT, Model Checking, Verification and games (Extended Abstract). - Sandeep K. Shukla; Harry B. Hunt III; Daniel J. Rosenkrantz (CAV, 1996)

The polynomial time decidability of simulation relations for finite processes: A HORNSAT based approach. - Sandeep K. Shukla; Daniel J. Rosenkrantz; Harry B. Hunt III; Richard Edwin Stearns (Satisfiability Problem: Theory and Applications, 1996)

A simulation and validation tool for self-stabilizing protocols. - Sandeep K. Shukla; Daniel J. Rosenkrantz; S. S. Ravi (The Spin Verification System, 1996)

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 (ICALP, 1996)

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 (PODC, 1996)

Unification and Matching in Process Algebras. - Qing Guo; Paliath Narendran; Sandeep K. Shukla (RTA, 1998)

A Case Study in CORBA-based Event Management for Correlation Across Network Management Servers in a Centralized Network Operation. - A. Saxena; Sandeep Kumar Shukla; Robert Weihmayer; P. Wu (PDPTA, 1999)

A model checking approach to evaluating system level dynamic power management policies for embedded systems. - Sandeep K. Shukla; Rajesh K. Gupta 001 (HLDVT, 2001)

Interoperability as a design issue in C++ based modeling environments. - Frederic Doucet; Rajesh K. Gupta 001; Masato Otsuka; Patrick Schaumont; Sandeep K. Shukla (ISSS, 2001)

A New Heuristic for Bad Cycle Detection Using BDDs. - Ronald H. Hardin; Robert P. Kurshan; Sandeep K. Shukla; Moshe Y. Vardi (Formal Methods Syst. Des., 2001)

An Environment for Dynamic Component Composition for Efficient Co-Design . - Frederic Doucet; Sandeep K. Shukla; Rajesh K. Gupta 001; Masato Otsuka (DATE, 2002)

Competitive Analysis of Dynamic Power Management Strategies for Systems with Multiple Power Savings States. - Sandy Irani; Rajesh K. Gupta 001; Sandeep K. Shukla (DATE, 2002)

Automated Concurrency Re-Assignment in High Level System Models for Efficient System-Level Simulation. - Nick Savoiu; Sandeep K. Shukla; Rajesh K. Gupta 001 (DATE, 2002)

Structured Component Composition Frameworks for Embedded System Design. - Sandeep K. Shukla; Frederic Doucet; Rajesh K. Gupta 001 (HiPC, 2002)

Using Aspect-GAMMA in the design of embedded systems. - Mohammad Reza Mousavi 001; Giovanni Russello; Michel R. V. Chaudron; Michel A. Reniers; Twan Basten; Angelo Corsaro; Sandeep K. Shukla; Rajesh K. Gupta 001; Douglas C. Schmidt (HLDVT, 2002)

Formal analysis and validation of continuous-time Markov chain based system level power management strategies. - Gethin Norman; David Parker 001; Marta Z. Kwiatkowska; Sandeep K. Shukla; Rajesh K. Gupta 001 (HLDVT, 2002)

Efficient Simulation of Synthesis-Oriented System Level Designs. - Rajesh K. Gupta 001; Sandeep K. Shukla; Nick Savoiu (ISSS, 2002)

Concurrency in System Level Design: Conflict Between Simulation and Synthesis Goals. - Nick Savoiu; Sandeep K. Shukla; Rajesh K. Gupta 001 (IWLS, 2002)

Polychrony for Formal Refinement-Checking in a System-Level Design Methodology. - Jean-Pierre Talpin; Paul Le Guernic; Sandeep K. Shukla; Rajesh K. Gupta 001; Frederic Doucet (ACSD, 2003)

Typing abstractions and management in a component framework. - Frederic Doucet; Sandeep K. Shukla; Rajesh K. Gupta 001 (ASP-DAC, 2003)

Formal verification - prove it or pitch it. - Rajesh K. Gupta 001; Shishpal Rawat; Sandeep K. Shukla; Brian Bailey; Daniel K. Beece; Masahiro Fujita; Carl Pixley; John O'Leary; Fabio Somenzi (DAC, 2003)

Introspection in System-Level Language Frameworks: Meta-Level vs. Integrated. - Frederic Doucet; Sandeep K. Shukla; Rajesh K. Gupta 001 (DATE, 2003)

Polychrony for Refinement-Based Design. - Jean-Pierre Talpin; Paul Le Guernic; Sandeep K. Shukla; Rajesh K. Gupta 001; Frederic Doucet (DATE, 2003)

Nano, quantum, and molecular computing: are we ready for the validation and test challenges? - Sandeep K. Shukla; Ramesh Karri; Seth Copen Goldstein; Forrest Brewer; Kaustav Banerjee; Sankar Basu (HLDVT, 2003)

Formal Methods for Dynamic Power Management. - Rajesh K. Gupta 001; Sandy Irani; Sandeep K. Shukla (ICCAD, 2003)

FORGE: A Framework for Optimization of Distributed Embedded Systems Software. - Radu Cornea; Nikil D. Dutt; Rajesh K. Gupta 001; Ingolf Krüger; Alexandru Nicolau; Douglas C. Schmidt; Sandeep K. Shukla (IPDPS, 2003)

Should the space of implementation possibilities be determined by the abilities of high-level synthesis and validation? - Rajesh K. Gupta 001; Sandeep K. Shukla (MEMOCODE, 2003)

Hierarchical and Incremental Verification for System Level Design: Challenges and Accomplishments. - Grant Martin; Sandeep K. Shukla (MEMOCODE, 2003)

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 001 (VLSI Design, 2003)

BALBOA: a component-based design environment for system models. - Frederic Doucet; Sandeep K. Shukla; Masato Otsuka; Rajesh K. Gupta 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003)

Online strategies for dynamic power management in systems with multiple power-saving states. - Sandy Irani; Sandeep K. Shukla; Rajesh K. Gupta 001 (ACM Trans. Embed. Comput. Syst., 2003)

SystemC Kernel extensions for heterogeneous system modeling - a framework for multi-MoC modeling and simulation. - Hiren D. Patel; Sandeep Kumar Shukla (Kluwer, 2004)

A Behavioral Type Inference System for Compositional System-on-Chip Design. - Jean-Pierre Talpin; David Berner; Sandeep K. Shukla; Paul Le Guernic; Abdoulaye Gamatié; Rajesh Gupta 001 (ACSD, 2004)

Modular design through component abstraction. - David Berner; Jean-Pierre Talpin; Paul Le Guernic; Sandeep K. Shukla (CASES, 2004)

Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. - Mohammad Reza Mousavi 001; Paul Le Guernic; Jean-Pierre Talpin; Sandeep K. Shukla; Twan Basten (DATE, 2004)

A Functional Programming Framework of Heterogeneous Model of Computation for System Design. - Deepak Mathaikutty; Hiren D. Patel; Sandeep K. Shukla (FDL, 2004)

NANOPRISM: a tool for evaluating granularity vs. reliability trade-offs in nano architectures. - Debayan Bhaduri; Sandeep K. Shukla (ACM Great Lakes Symposium on VLSI, 2004)

Effects of property ordering in an incremental formal modeling methodology. - Syed Suhaib; Deepak Mathaikutty; Sandeep K. Shukla (HLDVT, 2004)

Tools and techniques for evaluating reliability of defect-tolerant nano architectures. - Debayan Bhaduri; Sandeep K. Shukla (IJCNN, 2004)

NANOLAB: A Tool for Evaluating Reliability of Defect-Tolerant Nano Architectures. - Debayan Bhaduri; Sandeep K. Shukla (ISVLSI, 2004)

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 (MEMOCODE, 2004)

Extreme Formal Modeling (XFM) for Hardware Models. - Syed Suhaib; Deepak Mathaikutty; Sandeep K. Shukla; David Berner (MTV, 2004)

Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking. - Gethin Norman; David Parker 001; Marta Z. Kwiatkowska; Sandeep K. Shukla (VLSI Design, 2004)

Panel Summaries. - Hans-Joachim Wunderlich; Sandeep K. Shukla (IEEE Des. Test Comput., 2004)

Preface. - Juliana Küster Filipe; Iman Poernomo; Ralf H. Reussner; Sandeep K. Shukla (FESCA@ETAPS, 2004)

Formal Refinement Checking in a System-level Design Methodology. - Jean-Pierre Talpin; Paul Le Guernic; Sandeep K. Shukla; Frederic Doucet; Rajesh K. Gupta 001 (Fundam. Informaticae, 2004)

An Introductory Survey of Networked Embedded Systems. - Hiren D. Patel; Sumit Gupta; Sandeep K. Shukla; Rajesh Gupta 001 (The Industrial Information Technology Handbook, 2005)

SystemCXML: An Exstensible SystemC Front end Using XML. - David Berner; Jean-Pierre Talpin; Hiren D. Patel; Deepak Mathaikutty; Sandeep K. Shukla (FDL, 2005)

Modelling Environment for Heterogeneous Systems based on MoCs. - Deepak Mathaikutty; Hiren D. Patel; Sandeep K. Shukla; Axel Jantsch (FDL, 2005)

Towards Behavioural Hierarchy Extensions for SystemC. - Hiren D. Patel; Sandeep K. Shukla (FDL, 2005)

Automated clock inference for stream function-based system level specifications. - Jean-Pierre Talpin; Sandeep Kumar Shukla (HLDVT, 2005)

A Cross-Layer Approach for Power-Performance Optimization in Distributed Mobile Systems. - Shivajit Mohapatra; Radu Cornea; Hyunok Oh; Kyoungwoo Lee; Minyoung Kim 002; Nikil D. Dutt; Rajesh Gupta 001; Alexandru Nicolau; Sandeep K. Shukla; Nalini Venkatasubramanian (IPDPS, 2005)

Improving SystemC simulation through Petri net reductions. - Nicolae Savoiu; Sandeep K. Shukla; Rajesh K. Gupta 001 (MEMOCODE, 2005)

Extended abstract: a race-free hardware modeling language. - Patrick Schaumont; Sandeep K. Shukla; Ingrid Verbauwhede (MEMOCODE, 2005)

Teaching Game Theory for Computer Engineering. - Sandeep K. Shukla (MSE, 2005)

Automated Extraction of Structural Information from SystemC-based IP for Validation. - David Berner; Hiren D. Patel; Deepak Mathaikutty; Sandeep K. Shukla (MTV, 2005)

System Level Design Methodology for System On Chips using Multi-Threaded Graphs. - Syed Suhaib; Deepak Mathaikutty; Sandeep K. Shukla (SoCC, 2005)

Architectural, System Level and Protocol Level Techniques for Power Optimization for Networked Embedded Systems. - Luca Benini; Sandeep K. Shukla; Rajesh K. Gupta 001 (VLSI Design, 2005)

Guest Editors' Introduction: Challenges for Reliable Design at the Nanoscale. - R. Iris Bahar; Mehdi Baradaran Tahoori; Sandeep K. Shukla; Fabrizio Lombardi (IEEE Des. Test Comput., 2005)

Preface. - Ken S. Stevens; Sandeep K. Shukla; Montek Singh; Jean-Pierre Talpin (FMGALS@MEMOCODE, 2005)

A Functional Programming Framework for Latency Insensitive Protocol Validation. - Syed Suhaib; Deepak Mathaikutty; Sandeep K. Shukla; David Berner; Jean-Pierre Talpin (FMGALS@MEMOCODE, 2005)

Using probabilistic model checking for dynamic power management. - Gethin Norman; David Parker 001; Marta Z. Kwiatkowska; Sandeep K. Shukla; Rajesh Gupta 001 (Formal Aspects Comput., 2005)

A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking. - Jean-Pierre Talpin; Paul Le Guernic; Sandeep K. Shukla; Rajesh Gupta 001 (Int. J. Parallel Program., 2005)

Evaluating the reliability of NAND multiplexing with PRISM. - Gethin Norman; David Parker 001; Marta Z. Kwiatkowska; Sandeep K. Shukla (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005)

Towards a heterogeneous simulation kernel for system-level models: a SystemC kernel for synchronous data flow models. - Hiren D. Patel; Sandeep K. Shukla (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005)

Guest editorial: Special issue on models and methodologies for co-design of embedded systems. - Sandeep K. Shukla; Jean-Pierre Talpin (ACM Trans. Embed. Comput. Syst., 2005)

XFM: An incremental methodology for developing formal models. - Syed Suhaib; Deepak Mathaikutty; Sandeep K. Shukla; David Berner (ACM Trans. Design Autom. Electr. Syst., 2005)

An overview of the competitive and adversarial approaches to designing dynamic power management strategies. - Sandy Irani; Gaurav Singh 006; Sandeep K. Shukla; Rajesh K. Gupta 001 (IEEE Trans. Very Large Scale Integr. Syst., 2005)

Design Issues for Networked Embedded Systems. - Hiren D. Patel; Sumit Gupta; Sandeep K. Shukla; Rajesh K. Gupta 001 (Embedded Systems Handbook, 2005)

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 (DATE, 2006)

Heterogeneous behavioral hierarchy for system level designs. - Hiren D. Patel; Sandeep K. Shukla; Reinaldo A. Bergamaschi (DATE, 2006)

Design with race-free hardware semantics. - Patrick Schaumont; Sandeep K. Shukla; Ingrid Verbauwhede (DATE, 2006)

MCF: A Metamodeling-based Visual Component Composition Framework. - Deepak Mathaikutty; Sandeep K. Shukla (FDL, 2006)

MMV: Metamodeling Based Microprocessor Valiation Environment. - Ajit Dingankar; Deepak Mathaikutty; Sreekumar V. Kodakara; Sandeep K. Shukla; David J. Lilja (HLDVT, 2006)

Panel: Assertion-Based Verification -What's the Big Deal? - Sandeep K. Shukla; Alan J. Hu; Jacob Abrahams; Pranav Ashar; Harry Foster; Avner Landver; Carl Pixley (HLDVT, 2006)

Polychronous Methodology For System Design: A True Concurrency Approach. - Syed Suhaib; Deepak Mathaikutty; Sandeep K. Shukla; Jean-Pierre Talpin (HLDVT, 2006)

Panel: Nano-computing - do we need new formal approaches? - M. Hsiao; Sandeep K. Shukla; Maya B. Gokhale; Alvin R. Lebeck (MEMOCODE, 2006)

A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design. - Hiren D. Patel; Sandeep K. Shukla; E. Mednick; Rishiyur S. Nikhil (MEMOCODE, 2006)

Low-power hardware synthesis from TRS-based specifications. - Gaurav Singh 006; Sandeep K. Shukla (MEMOCODE, 2006)

Deep vs. Shallow, Kernel vs. Language–What is Better for Heterogeneous Modeling in {SystemC}?. - Hiren D. Patel; Sandeep K. Shukla (MTV, 2006)

SoC Design Space Exploration through Automated IP Selection from SystemC IP Library. - Deepak Mathaikutty; Sandeep K. Shukla (SoCC, 2006)

A Trace Based Framework for Validation of SoC Designs with GALS Systems. - Syed Suhaib; Deepak Mathaikutty; Sandeep K. Shukla (SoCC, 2006)

Guest Editors' Introduction: The True State of the Art of ESL Design. - Sandeep K. Shukla; Carl Pixley; Gary Smith 001 (IEEE Des. Test Comput., 2006)

Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems. - Sandeep K. Shukla; Michael Theobald (Formal Methods Syst. Des., 2006)

Validating Families of Latency Insensitive Protocols. - Syed Suhaib; Deepak Mathaikutty; David Berner; Sandeep K. Shukla (IEEE Trans. Computers, 2006)

CARH: service-oriented architecture for validating system-level designs. - Hiren D. Patel; Deepak Mathaikutty; David Berner; Sandeep K. Shukla (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

Complexity of Scheduling in Synthesizing Hardware from Concurrent Action Oriented Specifications. - Gaurav Singh 006; S. S. Ravi; Sumit Ahuja; Sandeep K. Shukla (Power-aware Computing Systems, 2007)

Design fault directed test generation for microprocessor validation. - Deepak Mathaikutty; Sandeep K. Shukla; Sreekumar V. Kodakara; David J. Lilja; Ajit Dingankar (DATE, 2007)

Tackling an abstraction gap: co-simulating SystemC DE with bluespec ESL. - Hiren D. Patel; Sandeep K. Shukla (DATE, 2007)

A Metamodeling based Framework for Architectural Modeling and Simulator Generation. - Deepak Mathaikutty; Ajit Dingankar; Sandeep K. Shukla (FDL, 2007)

Model-driven test generation for system level validation. - Deepak Mathaikutty; Sumit Ahuja; Ajit Dingankar; Sandeep K. Shukla (HLDVT, 2007)

Local Causal Reasoning of a Safety-Critical Subway System. - Edgar G. Daylight; Sandeep K. Shukla (MEMOCODE, 2007)

Type Inference for IP Composition. - Deepak Mathaikutty; Sandeep K. Shukla (MEMOCODE, 2007)

VT Matrix Multiply Design for MEMOCODE '07. - Eric Simpson; Pengyuan Yu; Patrick Schaumont; Sumit Ahuja; Sandeep K. Shukla (MEMOCODE, 2007)

Assertion-Based Modal Power Estimation. - Sumit Ahuja; Deepak Mathaikutty; Sandeep K. Shukla; Ajit Dingankar (MTV, 2007)

Model Checking Bluespec Specified Hardware Designs. - Gaurav Singh 006; Sandeep K. Shukla (MTV, 2007)

Scalable techniques and tools for reliability analysis of large circuits. - Debayan Bhaduri; Sandeep K. Shukla; Paul S. Graham; Maya B. Gokhale (VLSI Design, 2007)

Model Based Test Generation for Microprocessor Architecture Validation. - Sreekumar V. Kodakara; Deepak Mathaikutty; Ajit Dingankar; Sandeep K. Shukla; David J. Lilja (VLSI Design, 2007)

Guest Editors' Introduction: GALS Design and Validation. - Michael Kishinevsky; Sandeep K. Shukla; Ken S. Stevens (IEEE Des. Test Comput., 2007)

Dataflow Architectures for GALS. - Syed Suhaib; Deepak Mathaikutty; Sandeep K. Shukla (FMGALS@MEMOCODE, 2007)

Algorithms for low power hardware synthesis from Concurrent Action Oriented Specifications (CAOS). - Gaurav Singh 006; Sandeep K. Shukla (Int. J. Embed. Syst., 2007)

Techniques for Power-Aware Hardware Synthesis from Concurrent Action Oriented Specifications. - Gaurav Singh 006; Jacob B. Schwartz; Sumit Ahuja; Sandeep K. Shukla (J. Low Power Electron., 2007)

Algorithms for power savings. - Sandy Irani; Sandeep K. Shukla; Rajesh Gupta 001 (ACM Trans. Algorithms, 2007)

Heterogeneous Behavioral Hierarchy Extensions for SystemC. - Hiren D. Patel; Sandeep K. Shukla; Reinaldo A. Bergamaschi (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007)

Reliability Analysis of Large Circuits Using Scalable Techniques and Tools. - Debayan Bhaduri; Sandeep K. Shukla; Paul S. Graham; Maya B. Gokhale (IEEE Trans. Circuits Syst. I Regul. Pap., 2007)

EWD: A metamodeling driven customizable multi-MoC system modeling framework. - Deepak Mathaikutty; Hiren D. Patel; Sandeep K. Shukla; Axel Jantsch (ACM Trans. Design Autom. Electr. Syst., 2007)

Ingredients for Successful System Level Design Methodology. - Hiren D. Patel; Sandeep Kumar Shukla (Springer, 2008)

Formal Transformation of a KPN Specification to a GALS Implementation. - Syed Suhaib; Bijoy Antony Jose; Sandeep K. Shukla; Deepak Mathaikutty (FDL, 2008)

On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications. - Bijoy Antony Jose; Sandeep K. Shukla; Hiren D. Patel; Jean-Pierre Talpin (MEMOCODE, 2008)

Applying Verification Collaterals for Accurate Power Estimation. - Sumit Ahuja; Deepak Mathaikutty; Sandeep K. Shukla (MTV, 2008)

Verifying Compiler Based Refinement of BluespecTM. - Gaurav Singh 006; Sandeep K. Shukla (SPIN, 2008)

SML-Sys: a functional framework with multiple models of computation for modeling heterogeneous system. - Deepak Mathaikutty; Hiren D. Patel; Sandeep K. Shukla; Axel Jantsch (Des. Autom. Embed. Syst., 2008)

Mining metadata for composability of IPs from SystemC IP library. - Deepak Mathaikutty; Sandeep K. Shukla (Des. Autom. Embed. Syst., 2008)

C-Based Design of Heterogeneous Embedded Systems. - Christoph Grimm 001; Axel Jantsch; Sandeep Kumar Shukla; Eugenio Villar (EURASIP J. Embed. Syst., 2008)

Model-Driven Validation of SystemC Designs. - Hiren D. Patel; Sandeep K. Shukla (EURASIP J. Embed. Syst., 2008)

Generating Multi-Threaded code from Polychronous Specifications. - Bijoy Antony Jose; Hiren D. Patel; Sandeep K. Shukla; Jean-Pierre Talpin (SLAP@ETAPS, 2008)

On Cosimulating Multiple Abstraction-Level System-Level Models. - Hiren D. Patel; Sandeep K. Shukla (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

MMV: A Metamodeling Based Microprocessor Validation Environment. - Deepak Mathaikutty; Sreekumar V. Kodakara; Ajit Dingankar; Sandeep K. Shukla; David J. Lilja (IEEE Trans. Very Large Scale Integr. Syst., 2008)

MCF: A Metamodeling-Based Component Composition Framework - Composing SystemC IPs for Executable System Models. - Deepak Mathaikutty; Sandeep K. Shukla (IEEE Trans. Very Large Scale Integr. Syst., 2008)

A Trace-Based Framework for Verifiable GALS Composition of IPs. - Syed Suhaib; Deepak Mathaikutty; Sandeep K. Shukla (IEEE Trans. Very Large Scale Integr. Syst., 2008)

Metamodeling-Driven IP Reuse for SoC Integration and Microprocessor Design. - Deepak Mathaikutty; Sandeep Kumar Shukla (Artech House, 2009)

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 (FDL, 2009)

On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study. - Edgar G. Daylight; Sandeep K. Shukla (FM, 2009)

MCBCG: Model Checking Based Sequential Clock-Gating. - Sumit Ahuja; Sandeep K. Shukla (HLDVT, 2009)

Distributed Simulation of AADL Specifications in a Polychronous Model of Computation. - Yue Ma 004; Jean-Pierre Talpin; Sandeep K. Shukla; Thierry Gautier (ICESS, 2009)

Power estimation methodology for a high-level synthesis framework. - Sumit Ahuja; Deepak Mathaikutty; Gaurav Singh 006; Joe Stetzer; Sandeep K. Shukla; Ajit Dingankar (ISQED, 2009)

Accurate power estimation of hardware co-processors using system level simulation. - Sumit Ahuja; Deepak Mathaikutty; Avinash Lakshminarayana; Sandeep K. Shukla (SoCC, 2009)

Model-Driven Engineering and Safety-Critical Embedded Software. - Sandeep K. Shukla (Computer, 2009)

Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic - Edgar G. Daylight; Sandeep K. Shukla; Davide Sergio (EXPRESS, 2009)

Hardware Coprocessor Synthesis from an ANSI C Specification. - Sumit Ahuja; Swathi T. Gurumani; Chad Spackman; Sandeep K. Shukla (IEEE Des. Test Comput., 2009)

Metamodeling: An Emerging Representation Paradigm for System-Level Design. - Alberto L. Sangiovanni-Vincentelli; Sandeep K. Shukla; Janos Sztipanovits; Guang Yang 004; Deepak Mathaikutty (IEEE Des. Test Comput., 2009)

Metamodeling: What is it good for? - Sandeep K. Shukla (IEEE Des. Test Comput., 2009)

An Analysis of the Composition of Synchronous Systems. - Bijoy Antony Jose; Bin Xue; Sandeep K. Shukla (FMGALS@DATE, 2009)

Preface. - Sandeep K. Shukla; Jean-Pierre Talpin (FMGALS@DATE, 2009)

Modeling and Analyzing the Implementation of Latency-Insensitive Protocols Using the Polychrony Framework. - Bin Xue; Sandeep K. Shukla (FMGALS@DATE, 2009)

Guest editorial: IEEE/ACM symposium on nanoscale architectures (NANOARCH07). - Sandeep K. Shukla (ACM J. Emerg. Technol. Comput. Syst., 2009)

SCoPE: Statistical Regression Based Power Models for Co-Processors Power Estimation. - Sumit Ahuja; Deepak Mathaikutty; Avinash Lakshminarayana; Sandeep K. Shukla (J. Low Power Electron., 2009)

A Formally Verified Peak-Power Reduction Technique for Hardware Synthesis from Concurrent Action-Oriented Specifications. - Gaurav Singh 006; Jacob B. Schwartz; Sandeep K. Shukla (J. Low Power Electron., 2009)

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications. - Gaurav Singh 006; Sandeep Kumar Shukla (Springer, 2010)

MRICDF: A Polychronous Model for Embedded Software Synthesis. - Bijoy Antony Jose; Sandeep K. Shukla (Synthesis of Embedded Software, 2010)

The Model Checking View to Clock Gating and Operand Isolation. - Jens Brandt 001; Klaus Schneider 001; Sumit Ahuja; Sandeep K. Shukla (ACSD, 2010)

Faster Software Synthesis Using Actor Elimination Techniques for Polychronous Formalism. - Bijoy Antony Jose; Jason Pribble; Sandeep K. Shukla (ACSD, 2010)

An alternative polychronous model and synthesis methodology for model-driven embedded software. - Bijoy Antony Jose; Sandeep K. Shukla (ASP-DAC, 2010)

SCGPSim: a fast SystemC simulator on GPUs. - Mahesh Nanjundappa; Hiren D. Patel; Bijoy Antony Jose; Sandeep K. Shukla (ASP-DAC, 2010)

System level simulation guided approach to improve the efficacy of clock-gating. - Sumit Ahuja; Wei Zhang; Sandeep K. Shukla (HLDVT, 2010)

Optimization of back pressure and throughput for latency insensitive systems. - Bin Xue; Sandeep K. Shukla (ICCD, 2010)

Coprocessor design space exploration using high level synthesis. - Avinash Lakshminarayana; Sumit Ahuja; Sandeep K. Shukla (ISQED, 2010)

Translating concurrent action oriented specifications to synchronous guarded actions. - Jens Brandt 001; Klaus Schneider 001; Sandeep K. Shukla (LCTES, 2010)

Minimizing back pressure for latency insensitive system synthesis. - Bin Xue; Sandeep K. Shukla; S. S. Ravi (MEMOCODE, 2010)

A Methodology for Power Aware High-Level Synthesis of Co-processors from Software Algorithms. - Sumit Ahuja; Wei Zhang; Avinash Lakshminarayana; Sandeep K. Shukla (VLSI Design, 2010)

Analysis of Scheduled Latency Insensitive Systems with Periodic Clock Calculus. - Bin Xue; Sandeep K. Shukla (J. Electron. Test., 2010)

Power Aware High Level Synthesis of Hardware Coprocessors. - Sumit Ahuja; Wei Zhang; Avinash Lakshminarayana; Sandeep K. Shukla (J. Low Power Electron., 2010)

Integrating system descriptions by clocked guarded actions. - Jens Brandt 001; Mike Gemunde; Klaus Schneider 001; Sandeep K. Shukla; Jean-Pierre Talpin (FDL, 2011)

High Level Power Estimation Models for FPGAs. - Avinash Lakshminarayana; Sumit Ahuja; Sandeep K. Shukla (ISVLSI, 2011)

SMT based false causal loop detection during code synthesis from Polychronous specifications. - Bijoy Antony Jose; Abdoulaye Gamatié; Julien Ouy; Sandeep K. Shukla (MEMOCODE, 2011)

Guest Editors' Introduction: Multicore SoC Validation with Transaction-Level Models. - Prabhat Mishra 001; Zeljko Zilic; Sandeep K. Shukla (IEEE Des. Test Comput., 2011)

A Brief History of Multiprocessors and EDA. - Sandeep K. Shukla; Prabhat Mishra 001; Zeljko Zilic (IEEE Des. Test Comput., 2011)

Challenges of Rapidly Emerging Consumer Space Multiprocessors. - Zeljko Zilic; Prabhat Mishra 001; Sandeep K. Shukla (IEEE Des. Test Comput., 2011)

Guest Editors' Introduction: Special Section on Science of Design for Safety Critical Systems. - Sandeep K. Shukla; Jean-Pierre Talpin (IEEE Trans. Computers, 2011)

Low Power Design with High-Level Power Estimation and Power-Aware Synthesis. - Sumit Ahuja; Avinash Lakshminarayana; Sandeep Kumar Shukla (Springer, 2012)

Accelerating SystemC simulations using GPUs. - Mahesh Nanjundappa; Anirudh M. Kaushik; Hiren D. Patel; Sandeep K. Shukla (HLDVT, 2012)

A detailed analysis of the effective-load-carrying-capacity behavior of plug-in electric vehicles in the power grid. - Soumyo V. Chakraborty; Sandeep K. Shukla; James S. Thorp (ISGT, 2012)

Communication network modeling and simulation for Wide Area Measurement applications. - Yi Deng 005; Hua Lin; Arun G. Phadke; Sandeep K. Shukla; James S. Thorp; Lamine Mili (ISGT, 2012)

Cyber security impacts on all-PMU state estimator - a case study on co-simulation platform GECO. - Hua Lin; Yi Deng 005; Sandeep K. Shukla; James S. Thorp; Lamine Mili (SmartGridComm, 2012)

Formal Verification of Hierarchically Distributed Agent Based Protection Scheme in Smart Grid. - Shravan Garlapati; Sandeep K. Shukla (SPIN, 2012)

Vulnerabilities and Countermeasures - A Survey on the Cyber Security Issues in the Transmission Subsystem of a Smart Grid. - Yi Deng 005; Sandeep K. Shukla (J. Cyber Secur. Mobil., 2012)

GECO: Global Event-Driven Co-Simulation Framework for Interconnected Power System and Communication Network. - Hua Lin; Santhosh S. Veda; Sandeep K. Shukla; Lamine Mili; James S. Thorp (IEEE Trans. Smart Grid, 2012)

A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications. - Mahesh Nanjundappa; Matthew Kracht; Julien Ouy; Sandeep Kumar Shukla (ACSD, 2013)

Simplification of C-RTL equivalent checking for fused multiply add unit using intermediate models. - Bin Xue; Prosenjit Chatterjee; Sandeep K. Shukla (ASP-DAC, 2013)

On Model-Based Software Development. - Constance L. Heitmeyer; Sandeep K. Shukla; Myla M. Archer; Elizabeth I. Leonard (Perspectives on the Future of Software Engineering, 2013)

A Distributed Real-Time Event Correlation Architecture for SCADA Security. - Yi Deng 005; Sandeep K. Shukla (Critical Infrastructure Protection, 2013)

APECS: An AADL and polychrony based embedded computing system design environment with an elevator control case study. - Matthew Anderson; Sandeep K. Shukla (MEMOCODE, 2013)

Abstraction of polychronous dataflow specifications into mode-automata. - Julien Ouy; Matthew Kracht; Sandeep K. Shukla (ICSAMOS, 2013)

Embedding Polychrony into Synchrony. - Jens Brandt 001; Mike Gemunde; Klaus Schneider 001; Sandeep K. Shukla; Jean-Pierre Talpin (IEEE Trans. Software Eng., 2013)

Verification of unit and dimensional consistencies in polychronous specifications. - Mahesh Nanjundappa; Sandeep K. Shukla (FDL, 2014)

APECS code synthesis: Extending ocarina for multi-threaded code synthesis from AADL models for Safety Critical applications. - Matthew Anderson; Sandeep K. Shukla (ICNSC, 2014)

Compiling polychronous programs into conditional partial orders for ASIP synthesis. - Mahesh Nanjundappa; Sandeep K. Shukla (FormaliSE, 2014)

Construction of a microgrid communication network. - Srivats Shukla; Yi Deng 005; Sandeep K. Shukla; Lamine Mili (ISGT, 2014)

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 (ACVI@MoDELS, 2014)

Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions. - Jens Brandt 001; Mike Gemünde; Klaus Schneider 001; Sandeep K. Shukla; Jean-Pierre Talpin (Des. Autom. Embed. Syst., 2014)

Constructive polychronous systems. - Jean-Pierre Talpin; Jens Brandt 001; Mike Gemünde; Klaus Schneider 001; Sandeep K. Shukla (Sci. Comput. Program., 2014)

Editorial: Embedded everywhere for everyone. - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2014)

Editorial: Embedded, Cyber-Physical, Hybrid... - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2014)

Editorial: Embedded systems - more than methodology. - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2014)

Editorial: Diversity Galore & A Call for Resilient, Sustainable and Secure System Design. - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2014)

The challenge of interoperability: model-based integration for automotive control software. - Huafeng Yu; Prachi Joshi; Jean-Pierre Talpin; Sandeep K. Shukla; Shin'ichi Shiraishi (DAC, 2015)

Towards refinement types for time-dependent data-flow networks. - Jean-Pierre Talpin; Pierre Jouvelot; Sandeep Kumar Shukla (MEMOCODE, 2015)

Mapping functional behavior onto architectural model in a model driven embedded system design. - Prachi Joshi; Sandeep K. Shukla; Jean-Pierre Talpin; Huafeng Yu (SAC, 2015)

Design of Cyber Security for Critical Infrastructures: A Case for a Schizoid Design Approach. - Avik Dayal; Yi Deng 005; Sandeep K. Shukla (SPACE, 2015)

Optimization of Latency Insensitive Systems Through Back Pressure Minimization. - Bin Xue; Sandeep K. Shukla; S. S. Ravi (IEEE Trans. Computers, 2015)

Editorial: Regular, Special, and Related Issues. - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2015)

Editorial: Oh Security - Where Art Thou? - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2015)

Editorial: Schizoid Design for Critical Embedded Systems. - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2015)

Editorial: Big Data, Internet of Things, Cybersecurity - A New Trinity of Embedded Systems Research. - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2015)

Design space exploration for deterministic ethernet-based architecture of automotive systems. - Prachi Joshi; Vedahari Narasimhan G.; Haibo Zeng 001; Sandeep K. Shukla; Chung-Wei Lin; Huafeng Yu (HLDVT, 2016)

Hardware optimizations for crypto implementations (Invited paper). - M. Mohamed Asan Basiri; Sandeep K. Shukla (VDAT, 2016)

Cyber Security of Cyber Physical Systems: Cyber Threats and Defense of Critical Infrastructures. - Sandeep K. Shukla (VLSID, 2016)

A Survey of Automatic Protocol Reverse Engineering Tools. - John Narayan; Sandeep K. Shukla; T. Charles Clancy (ACM Comput. Surv., 2016)

Editorial: Science of the Big and Small and Embedded Computing Systems. - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2016)

Editorial: Fence Itself Grazing the Field - Security from the Sentries. - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2016)

Editorial: Security of Embedded Systems and Cyber Irons - Embedded Systems for Security. - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2016)

Editorial: Distributed Public Ledgers and Block Chains - What Good Are They for Embedded Systems? - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2016)

The Multi-Domain Frame Packing Problem for CAN-FD. - Prachi Joshi; Haibo Zeng 001; Unmesh D. Bordoloi; Soheil Samii; S. S. Ravi; Sandeep K. Shukla (ECRTS, 2017)

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 001 (RTSS, 2017)

Flexible Composite Galois Field GF((2^m)^2) Multiplier Designs. - M. Mohamed Asan Basiri; Sandeep K. Shukla (VDAT, 2017)

A High Speed KECCAK Coprocessor for Partitioned NSP Architecture on FPGA Platform. - Rourab Paul; Sandeep Kumar Shukla (VDAT, 2017)

Flexible VLSI architectures for Galois field multipliers. - M. Mohamed Asan Basiri; Sandeep K. Shukla (Integr., 2017)

Editorial: Continuing the Course. - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2017)

Editorial: Cyber Security, IoT, Block Chains - Risks and Opportunities. - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2017)

Editorial: Security of Mobile Devices. - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2017)

Efficient Hardware-Software Codesigns of AES Encryptor and RS-BCH Encoder. - M. Mohamed Asan Basiri; Sandeep K. Shukla (VDAT, 2018)

Partitioned security processor architecture on FPGA platform. - Rourab Paul; Sandeep K. Shukla (IET Comput. Digit. Tech., 2018)

Low power hardware implementations for network packet processing elements. - M. Mohamed Asan Basiri; Sandeep K. Shukla (Integr., 2018)

Editorial: Trust and Security Must Become a Primary Design Concern in Embedded Computing. - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2018)

Editorial: Industry 4.0 - A Confluence of Embedded Artificial Intelligence, Machine Learning, Robotics and Security. - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2018)

Editorial: To Use or Not To? Embedded Systems for Voting. - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2018)

Editorial: Early Career Researchers in Embedded Computing. - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2018)

Editorial: Need for Artifact Verified Articles in ACM Transactions. - Sandeep Kumar Shukla (ACM Trans. Embed. Comput. Syst., 2018)

Interfacing Power System and ICT Simulators: Challenges, State-of-the-Art, and Case Studies. - IEEE Task Force on Interfacing Techniques for Simulation Tools; Sven Christian Müller; Hanno Georg; James J. Nutaro; Edmund Widl; Yi Deng 005; Peter Palensky; Muhammad Usman Awais; Moustafa Chenine; Markus Küch; Matthias Stifter; Hua Lin; et al. (IEEE Trans. Smart Grid, 2018)

Malware Classification using Early Stage Behavioral Analysis. - Nitesh Kumar; Subhasis Mukhopadhyay; Mugdha Gupta; Anand Handa; Sandeep K. Shukla (AsiaJCIS, 2019)

PeerClear: Peer-to-Peer Bot-net Detection. - Amit Kumar; Nitesh Kumar; Anand Handa; Sandeep Kumar Shukla (CSCML, 2019)

Malware Classification Using Image Representation. - Ajay Singh; Anand Handa; Nitesh Kumar; Sandeep Kumar Shukla (CSCML, 2019)

Evading API Call Sequence Based Malware Classifiers. - Fenil Fadadu; Anand Handa; Nitesh Kumar; Sandeep Kumar Shukla (ICICS, 2019)

Vulnerability Assessment and Mitigation for Industrial Critical Infrastructures with Cyber Physical Test Bed. - Rohit Negi; Parvin Kumar; Shibashis Ghosh; Sandeep K. Shukla; Ashish Gahlot Intern (ICPS, 2019)

A Study of Inequality in the Ethereum Smart Contract Ecosystem. - Bishwas C. Gupta; Sandeep K. Shukla (IoTSMS, 2019)

Preserving Patient's Privacy using Proxy Re-encryption in Permissioned Blockchain. - Devendra K. Meena; Ras Dwivedi; Sandeep K. Shukla (IoTSMS, 2019)

Formal Hardware Verification of InfoSec Primitives. - M. Mohamed Asan Basiri; Sandeep K. Shukla (ISVLSI, 2019)

Automated Classification of Web-Application Attacks for Intrusion Detection. - Harsh Bhagwani; Rohit Negi; Aneet Kumar Dutta; Anand Handa; Nitesh Kumar; Sandeep Kumar Shukla (SPACE, 2019)

Verity: Blockchains to Detect Insider Attacks in DBMS. - Shubham S. Srivastava; Medha Atre; Shubham Sharma 003; Rahul Gupta; Sandeep K. Shukla (CoRR, 2019)

Sequence to sequence deep learning models for solar irradiation forecasting. - Bhaskar Pratim Mukhoty; Vikas Maurya; Sandeep Kumar Shukla (CoRR, 2019)

Asynchronous hardware implementations for crypto primitives. - M. Mohamed Asan Basiri; Sandeep K. Shukla (Microprocess. Microsystems, 2019)

LFSR based versatile divider architectures for BCH and RS error correction encoders. - M. Mohamed Asan Basiri; Sandeep K. Shukla (Microprocess. Microsystems, 2019)

Editorial: Embedded Security Challenge: Cyber Security Contests in the Embedded Computing Domain. - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2019)

Editorial: Human Factors in Embedded Computing. - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2019)

Editorial: Reflections on the History of Cyber-Physical versus Embedded Systems. - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2019)

Editorial: Adversaries and Robustness. - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2019)

Machine learning in cybersecurity: A review. - Anand Handa; Ashu Sharma; Sandeep K. Shukla (WIREs Data Mining Knowl. Discov., 2019)

Static Ransomware Analysis Using Machine Learning and Deep Learning Models. - Kartikeya Gaur; Nitesh Kumar; Anand Handa; Sandeep K. Shukla (ACeS, 2020)

Malware Detection in Word Documents Using Machine Learning. - Riya Khan; Nitesh Kumar; Anand Handa; Sandeep K. Shukla (ACeS, 2020)

Verity: Blockchain Based Framework to Detect Insider Attacks in DBMS. - Shubham Sahai; Medha Atre; Shubham Sharma 003; Rahul Gupta; Sandeep K. Shukla (Blockchain, 2020)

Decentralized Device Authentication Model using the Trust Score and Blockchain Technology for Dynamic Networks. - Venkatesan Subramanian 002; Yuvaraj Rajendra; Shubham Sahai; Sandeep K. Shukla (Blockchain, 2020)

Detecting Word Based DGA Domains Using Ensemble Models. - P. V. Sai Charan; Sandeep K. Shukla; P. Mohan Anand (CANS, 2020)

STDNeut: Neutralizing Sensor, Telephony System and Device State Information on Emulated Android Environments. - Saurabh Kumar 007; Debadatta Mishra; Biswabandan Panda; Sandeep K. Shukla (CANS, 2020)

Detecting Malicious Accounts on the Ethereum Blockchain with Supervised Learning. - Nitesh Kumar; Ajay Singh; Anand Handa; Sandeep Kumar Shukla (CSCML, 2020)

Intrusion Detection & Prevention in Programmable Logic Controllers: A Model-driven Approach. - Rohit Negi; Aneet Kumar Dutta; Anand Handa; Ujjwal Ayyangar; Sandeep K. Shukla (ICPS, 2020)

An Insecurity Study of Ethereum Smart Contracts. - Bishwas C. Gupta; Nitesh Kumar; Anand Handa; Sandeep K. Shukla (SPACE, 2020)

Unsupervised Learning Based Robust Multivariate Intrusion Detection System for Cyber-Physical Systems using Low Rank Matrix. - Aneet Kumar Dutta; Bhaskar Pratim Mukhoty; Sandeep K. Shukla (CoRR, 2020)

Approaches for Assigning Offsets to Signals for Improving Frame Packing in CAN-FD. - Prachi Joshi; S. S. Ravi; Qingyu Liu; Unmesh D. Bordoloi; Soheil Samii; Sandeep Kumar Shukla; Haibo Zeng 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Editorial: Embedded Computing and Society. - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2020)

TECS Editorial: Rethinking and Re-evaluating in the Time of Crisis. - Sandeep K. Shukla (ACM Trans. Embed. Comput. Syst., 2020)

A Storage Efficient Blockchain Model for Constrained Applications. - Yuvaraj Rajendra; Sachin Sahu; Venkatesan Subramanian 002; Sandeep Kumar Shukla (BCCA, 2021)

Towards Malicious address identification in Bitcoin. - Deepesh Chaudhari; Rachit Agarwal 002; Sandeep Kumar Shukla (Blockchain, 2021)

CatchAll: A Robust Multivariate Intrusion Detection System for Cyber-Physical Systems using Low Rank Matrix. - Aneet Kumar Dutta; Bhaskar Mukhoty; Sandeep K. Shukla (CPSIOTSEC@CCS, 2021)

Robust Multivariate Anomaly-Based Intrusion Detection System for Cyber-Physical Systems. - Aneet Kumar Dutta; Rohit Negi; Sandeep Kumar Shukla (CSCML, 2021)

Adversaries Strike Hard: Adversarial Attacks Against Malware Classifiers Using Dynamic API Calls as Features. - Hariom; Anand Handa; Nitesh Kumar; Sandeep Kumar Shukla (CSCML, 2021)

Vulnerability and Transaction Behavior Based Detection of Malicious Smart Contracts. - Rachit Agarwal 002; Tanmay Thapliyal; Sandeep Kumar Shukla (CSS, 2021)

DeepDetect: A Practical On-device Android Malware Detector. - Saurabh Kumar 007; Debadatta Mishra; Biswabandan Panda; Sandeep Kumar Shukla (QRS, 2021)

Topology Validator - Defense Against Topology Poisoning Attack in SDN. - Abhay Kumar; Sandeep K. Shukla (QSHINE, 2021)

Android Malware Family Classification: What Works - API Calls, Permissions or API Packages? - Saurabh Kumar 007; Debadatta Mishra; Sandeep Kumar Shukla (SIN, 2021)

Automated Flag Detection and Participant Performance Evaluation for Pwnable CTF. - Manikant Singh; Rohit Negi; Sandeep K. Shukla (SVCC, 2021)

Detecting malicious accounts in permissionless blockchains using temporal graph properties. - Rachit Agarwal 002; Shikhar Barve; Sandeep Kumar Shukla (Appl. Netw. Sci., 2021)

Detecting Malicious Accounts showing Adversarial Behavior in Permissionless Blockchains. - Rachit Agarwal 002; Tanmay Thapliyal; Sandeep K. Shukla (CoRR, 2021)

Security of Healthcare Data Using Blockchains: A Survey. - Mayank Pandey; Rachit Agarwal 002; Sandeep K. Shukla; Nishchal K. Verma (CoRR, 2021)

Identifying malicious accounts in Blockchains using Domain Names and associated temporal properties. - Rohit Kumar Sachan; Rachit Agarwal 002; Sandeep Kumar Shukla (CoRR, 2021)

Understanding Money Trails of Suspicious Activities in a cryptocurrency-based Blockchain. - Banwari Lal; Rachit Agarwal 002; Sandeep Kumar Shukla (CoRR, 2021)

Reputation-based PoS for the Restriction of Illicit Activities on Blockchain: Algorand Usecase. - Mayank Pandey; Rachit Agarwal 002; Sandeep Kumar Shukla; Nishchal Kumar Verma (CoRR, 2021)

RBMon: Real Time System Behavior Monitoring Tool. - Nitesh Kumar; Anand Handa; Sandeep K. Shukla (AsiaCCS, 2022)

DNS based In-Browser Cryptojacking Detection. - Rohit Kumar Sachan; Rachit Agarwal 002; Sandeep Kumar Shukla (BCCA, 2022)

TrustSim: A Decentralized Reputation and Trust Model Simulator. - Venkatesan Subramanian 002; Sandeep Kumar Shukla; Yuvaraj Rajendra (BCCA, 2022)

A Comprehensive API Call Analysis for Detecting Windows-Based Ransomware. - P. Mohan Anand; P. V. Sai Charan; Sandeep K. Shukla (CSR, 2022)

Security Orchestration, Automation, and Response Engine for Deployment of Behavioural Honeypots. - Upendra Bartwal; Subhasis Mukhopadhyay; Rohit Negi; Sandeep K. Shukla (DSC, 2022)

DARK-KERNEL: Design and Implementation of a Kernel Level Active Darknet Sensor. - Venkata Sai Charan Putrevu; Gowtham Ratnakaram; Sandeep K. Shukla (EICC, 2022)

Volatility Custom Profiling for Automated Hybrid ELF Malware Detection. - Rahul Varshney; Nitesh Kumar; Anand Handa; Sandeep Kumar Shukla (ICDF2C, 2022)

Commissioning Random Matrix Theory and Synthetic Minority Oversampling Technique for Power System Faults Detection and Classification. - Ayush Sinha; Shubham Dwivedi; Sandeep Kumar Shukla; O. P. Vyas 001 (ICONIP (7), 2022)

DOTMUG: A Threat Model for Target Specific APT Attacks-Misusing Google Teachable Machine. - P. V. Sai Charan; P. Mohan Anand; Sandeep K. Shukla; Naveen Selvan; Hrushikesh Chunduri (ISDFS, 2022)

AndroOBFS: Time-tagged Obfuscated Android Malware Dataset with Family Information. - Saurabh Kumar 007; Debadatta Mishra; Biswabandan Panda; Sandeep Kumar Shukla (MSR, 2022)

A Generalized Unknown Malware Classification. - Nanda Rani; Ayushi Mishra; Rahul Kumar; Sarbajit Ghosh; Sandeep K. Shukla; Priyanka Bagade (SecureComm, 2022)

RemOD: Operational Drift-Adaptive Intrusion Detection. - Vikas Maurya; Nanda Rani; Sandeep Kumar Shukla (SPACE, 2022)

Analyzing Malicious Activities and Detecting Adversarial Behavior in Cryptocurrency based Permissionless Blockchains: An Ethereum Usecase. - Rachit Agarwal 002; Tanmay Thapliyal; Sandeep K. Shukla (Distributed Ledger Technol. Res. Pract., 2022)

Insider attack mitigation in a smart metering infrastructure using reputation score and blockchain technology. - Jaya Singh; Ayush Sinha; Priyanka Goli; Venkatesan Subramanian 002; Sandeep Kumar Shukla; Om Prakash Vyas (Int. J. Inf. Sec., 2022)

Automated Windows behavioral tracing for malware analysis. - Shubham Rana; Nitesh Kumar; Anand Handa; Sandeep K. Shukla (Secur. Priv., 2022)

AndroOBFS: Time-tagged Obfuscated Android Malware Dataset with Family Information. - Saurabh Kumar 007; Debadatta Mishra; Biswabandan Panda; Sandeep Kumar Shukla (IEEE DataPort, 2022)

Tactics, Techniques and Procedures of Cybercrime: A Methodology and Tool for Cybercrime Investigation Process. - Gargi Sarkar; Hardeep Singh; Subodh Kumar; Sandeep K. Shukla (ARES, 2023)

AProctor - A practical on-device antidote for Android malware. - Akash Patel; Nitesh Kumar; Anand Handa; Sandeep K. Shukla (ACSW, 2023)

Early Detection of Ransomware Activity based on Hardware Performance Counters. - Mohan Anand Putrevu; Venkata Sai Charan Putrevu; Sandeep Kumar Shukla (ACSW, 2023)

TTPHunter: Automated Extraction of Actionable Intelligence as TTPs from Narrative Threat Reports. - Nanda Rani; Bikash Saha; Vikas Maurya; Sandeep Kumar Shukla (ACSW, 2023)

Cross-Chain Atomic Swaps without Time Locks. - Ras Dwivedi; Tushar Singla; Sandeep K. Shukla (BCCA, 2023)

Pluggable Integrity Layer for Property Registration. - Ras Dwivedi; Mukul Verma; Tanmay Yadav; Sandeep K. Shukla (BCCA, 2023)

BlockPaaS: Blockchain Platform as a Service. - Yuvaraj Rajendra; Venkatesan Subramanian 002; Sandeep Kumar Shukla (COMSNETS, 2023)

Evasion Attack Against Multivariate Singular Spectrum Analysis Based IDS. - Vikas Maurya; Rachit Agarwal 002; Sandeep K. Shukla (critis, 2023)

Ransomware Detection based on Network Behavior using Machine Learning and Hidden Markov Model with Gaussian Emission. - Aman Srivastava; Nitesh Kumar; Anand Handa; Sandeep K. Shukla (CSR, 2023)

Monitoring Application Behaviours to Detect Android Malware. - Aman Pratap Singh; Rohit Negi; Anand Handa; Sandeep K. Shukla (DASC/PiCom/CBDCom/CyberSciTech, 2023)

A Framework for Advanced Persistent Threat Attribution using Zachman Ontology. - Venkata Sai Charan Putrevu; Hrushikesh Chunduri; Mohan Anand Putrevu; Sandeep K. Shukla (EICC, 2023)

Automated Security Audit Testbed For IP-Based IoT Devices Without Physical Access. - Ashutosh Kumar; Brijesh Peshvani; S. Venkatesan 002; Manish Kumar; Suneel Yadav; Sandeep Kumar Shukla (IOTSMS, 2023)

RTR-Shield: Early Detection of Ransomware Using Registry and Trap Files. - P. Mohan Anand; P. V. Sai Charan; Hrushikesh Chunduri; Sandeep K. Shukla (ISPEC, 2023)

MalXCap: A Method for Malware Capability Extraction. - Bikash Saha; Nanda Rani; Sandeep Kumar Shukla (ISPEC, 2023)

From Text to MITRE Techniques: Exploring the Malicious Use of Large Language Models for Generating Cyber Attack Payloads. - P. V. Sai Charan; Hrushikesh Chunduri; P. Mohan Anand; Sandeep K. Shukla (CoRR, 2023)

Blockchain-Based Transferable Digital Rights of Land. - Ras Dwivedi; Sumit Patel; Sandeep K. Shukla (CoRR, 2023)

InviSeal: A Stealthy Dynamic Analysis Framework for Android Systems. - Saurabh Kumar 007; Debadatta Mishra; Biswabandan Panda; Sandeep Kumar Shukla (DTRAP, 2023)

HiPeR - Early Detection of a Ransomware Attack using Hardware Performance Counters. - P. Mohan Anand; P. V. Sai Charan; Sandeep K. Shukla (DTRAP, 2023)

Storage efficient blockchain models for constrained applications. - Yuvaraj Rajendra; Sachin Sahu; Venkatesan Subramanian 002; Sandeep Kumar Shukla (Clust. Comput., 2023)

DKaaS: DARK-KERNEL as a service for active cyber threat intelligence. - P. V. Sai Charan; Gowtham Ratnakaram; Hrushikesh Chunduri; P. Mohan Anand; Sandeep Kumar Shukla (Comput. Secur., 2023)

EPASAD: ellipsoid decision boundary based Process-Aware Stealthy Attack Detector. - Vikas Maurya; Rachit Agarwal 002; Saurabh Kumar 007; Sandeep K. Shukla (Cybersecur., 2023)

Evading malware classifiers using RL agent with action-mask. - Saurabh Pandey; Nitesh Kumar; Anand Handa; Sandeep Kumar Shukla (Int. J. Inf. Sec., 2023)

MAD: A Meta-Learning Approach to Detect Advanced Persistent Threats using Provenance Data in Industrial IoT. - Bikash Saha; Nanda Rani; Sandeep Kumar Shukla (ACSAC Workshops, 2024)

Trusted Yet Disguised: Analysing the Subversive Role of LOLBins in Contemporary Cyber Threats. - Hrushikesh Chunduri; P. Mohan Anand; Sandeep K. Shukla; P. V. Sai Charan (IEEE Big Data, 2024)

Blockstash Intelligence: Real-time Crypto Crime Investigation and Forensics tool. - Deepesh Chaudhari; Sandeep K. Shukla (BRAINS, 2024)

ArkThor: Threat Categorization Based on Malware's C2 Communication. - Mohammed Jawed; Sriram Parameshwaran; Nitesh Kumar; Anand Handa; Sandeep K. Shukla (ICISSP, 2024)

Genesis of Cyber Threats: Towards Malware-based Advanced Persistent Threat (APT) Attribution. - Nanda Rani; Bikash Saha; Ravi Kumar; Sandeep Kumar Shukla (TPS-ISA, 2024)

A Comprehensive Survey of Advanced Persistent Threat Attribution: Taxonomy, Methods, Challenges and Open Research Problems. - Nanda Rani; Bikash Saha; Sandeep Kumar Shukla (CoRR, 2024)

A Comprehensive Analysis of Machine Learning Based File Trap Selection Methods to Detect Crypto Ransomware. - Mohan Anand Putrevu; Hrushikesh Chunduri; Venkata Sai Charan Putrevu; Sandeep K. Shukla (CoRR, 2024)

Chasing the Shadows: TTPs in Action to Attribute Advanced Persistent Threats. - Nanda Rani; Bikash Saha; Vikas Maurya; Sandeep Kumar Shukla (CoRR, 2024)

Automated Classification of Cybercrime Complaints using Transformer-based Language Models for Hinglish Texts. - Nanda Rani; Divyanshu Singh; Bikash Saha; Sandeep Kumar Shukla (CoRR, 2024)

ADAPT: Adaptive Camouflage Based Deception Orchestration For Trapping Advanced Persistent Threats. - Venkata Sai Charan Putrevu; Subhasis Mukhopadhyay; Subhajit Manna; Nanda Rani; Ansh Vaid; Hrushikesh Chunduri; Mohan Anand Putrevu; Sandeep K. Shukla (DTRAP, 2024)

Understanding Rug Pulls: An In-depth Behavioral Analysis of Fraudulent NFT Creators. - Trishie Sharma; Rachit Agarwal 002; Sandeep Kumar Shukla (ACM Trans. Web, 2024)

Sybil attack detection in ultra-dense VANETs using verifiable delay functions. - Yuvaraj Rajendra; Venkatesan Subramanian 002; Sandeep Kumar Shukla (Peer Peer Netw. Appl., 2024)

Adversarially robust and real-time DDoS detection and classification framework using AutoML. - Sambhrant Maurya; Anand Handa; Nitesh Kumar; Sandeep K. Shukla (Inf. Secur. J. A Glob. Perspect., 2024)

TTPXHunter: Actionable Threat Intelligence Extraction as TTPs from Finished Cyber Threat Reports. - Nanda Rani; Bikash Saha; Vikas Maurya; Sandeep Kumar Shukla (Digit. Threat. Res. Pract., 2024)

A Hybrid Approach for Intrusion Detection in FTP Logs via Multi-Pattern Feature Engineering. - Kriti Majumdar; Nitesh Kumar; Anand Handa; Sandeep Kumar Shukla (ACSW, 2025)

Automated IoT Device Identification Based on Full Packet Information Using Real-Time Network Traffic. - Swaroop Dora; Brijesh Peshvani; Ashutosh Kumar; Piyush Tiwari; S. Venkatesan 002; Sandeep Kumar Shukla; Rahamatullah Khondoker (COMSNETS, 2025)

PARAG: Proactive Answering Framework Integrating LLMs with Retrieval-Augmented Generation. - Bikash Saha; Nanda Rani; Joheen Chakraborty; Divyanshu Singh; Soumyo V. Chakraborty; Sandeep Kumar Shukla (EICC, 2025)

Attackers' Profiling Based on Multi-Attack Patterns in SSH Service. - Kriti Majumdar; Nitesh Kumar; Anand Handa; Sandeep K. Shukla (ICISSP (2), 2025)

RANDART: A Hybrid Approach Leveraging File Traps and Registry Monitoring to Thwart Crypto Ransomware on Windows Endpoints. - P. Mohan Anand; P. V. Sai Charan; Hrushikesh Chunduri; Sandeep K. Shukla (EnCyCriS, 2025)

MaLAware: Automating the Comprehension of Malicious Software Behaviours using Large Language Models (LLMs). - Bikash Saha; Nanda Rani; Sandeep Kumar Shukla (MSR, 2025)

A comprehensive survey of automated Advanced Persistent Threat attribution: Taxonomy, methods, challenges and open research problems. - Nanda Rani; Bikash Saha; Sandeep Kumar Shukla (J. Inf. Secur. Appl., 2025)

D-CIPHER: Dynamic Collaborative Intelligent Agents with Planning and Heterogeneous Execution for Enhanced Reasoning in Offensive Security. - Meet Udeshi; Minghao Shao; Haoran Xi; Nanda Rani; Kimberly Milner; Venkata Sai Charan Putrevu; Brendan Dolan-Gavitt; Sandeep Kumar Shukla; Prashanth Krishnamurthy; Farshad Khorrami; Ramesh Karri; Muhammad Shafique 001 (CoRR, 2025)

IoT device security audit tools: a comprehensive analysis and a layered architecture approach for addressing expanded security requirements. - Ashutosh Kumar; L. Kavisankar; S. Venkatesan 002; Manish Kumar; Suneel Yadav; Sandeep Kumar Shukla; Rahamatullah Khondoker (Int. J. Inf. Sec., 2025)

The Hidden Risks of LLM-Generated Web Application Code: A Security-Centric Evaluation of Code Generation Capabilities in Large Language Models. - Swaroop Dora; Deven Lunkad; Naziya Aslam; S. Venkatesan 002; Sandeep Kumar Shukla (CoRR, 2025)

Generative AI in Financial Institution: A Global Survey of Opportunities, Threats, and Regulation. - Bikash Saha; Nanda Rani; Sandeep Kumar Shukla (CoRR, 2025)

CRAKEN: Cybersecurity LLM Agent with Knowledge-Based Execution. - Minghao Shao; Haoran Xi; Nanda Rani; Meet Udeshi; Venkata Sai Charan Putrevu; Kimberly Milner; Brendan Dolan-Gavitt; Sandeep Kumar Shukla; Prashanth Krishnamurthy; Farshad Khorrami; Ramesh Karri; Muhammad Shafique 001 (CoRR, 2025)

MalGEN: A Generative Agent Framework for Modeling Malicious Software in Cybersecurity. - Bikash Saha; Sandeep Kumar Shukla (CoRR, 2025)

AURA: A Multi-Agent Intelligence Framework for Knowledge-Enhanced Cyber Threat Attribution. - Nanda Rani; Sandeep Kumar Shukla (CoRR, 2025)

Cyber security of Mega Events: A Case Study of Securing the Digital Infrastructure for MahaKumbh 2025 - A 45 days Mega Event of 600 Million Footfalls. - Rohit Negi; Amit Negi; Manish Sharma; S. Venkatesan 002; Prem Kumar; Sandeep K. Shukla (CoRR, 2025)

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 Kumar Shukla; Prashanth Krishnamurthy; Farshad Khorrami; Ramesh Karri; Muhammad Shafique 001 (CoRR, 2025)

Discovering NFT Rug Pulls: Matching Behavior Patterns Using Graph Isomorphism Networks. - Trishie Sharma; Sandeep Kumar Shukla (ACM Trans. Internet Techn., 2025)