Publications

Publications

2017

  • Flexible VLSI Architectures for Galois Field Multipliers
    - Mohamed Asan Basiri M and Sandeep K. Shukla
    2017
    Integration, the VLSI Journal
  • Offset Assignment to Signals for Improving Frame Packing in CAN-FD
    - Prachi Joshi, S. S. Ravi, Soheil Samii, Unmesh Bordoloi, Sandeep Shukla, Haibo Zeng
    2017
    accepted for IEEE Real-Time Systems Symposium (RTSS 2017). Paris, France, December 2017
  • A High Speed KECCAK Coprocessor for Partitioned NSP Architecture on FPGA Platform
    - Rourab Paul and Saneep Kumar Shukla
    2017
    VDAT 2017: 21st International Symposium on VLSI Design and Test
  • Flexible Composite Galois Field GF ((2^m)^ 2 ) Multiplier Designs
    - Mohamed Asan Basiri M and Sandeep K Shukla
    2017
    VDAT 2017: 21st International Symposium on VLSI Design and Test
  • Editorial: Distributed Public Ledgers and Block Chains—What Good Are They for Embedded Systems?
    - Sandeep K Shukla
    2017
    ACM Transactions on Embedded Computing Systems (TECS)

2016

  • Hardware Optimizations for Crypto Implementations (Invited Paper)
    - Mohamed Asan Basiri M and Sandeep K. Shukla
    2016
    VDAT 2016: 20th International Symposium on VLSI Design and Test, IIT Guwahati
  • Cyber Security of Cyber Physical Systems: Cyber Threats and Defense of Critical Infrastructures
    - Sandeep K Shukla
    2016
    Conference: VLSI Design and 2016 15th International Conference on Embedded Systems (VLSID), 2016 29th International Conference
  • A survey of automatic protocol reverse engineering tools
    - John Narayan, Sandeep K Shukla, T Charles Clancy
    2016
    Journal: ACM Computing Surveys (CSUR)
  • Interfacing Power System and ICT Simulators: Challenges, State-of-the-Art, and Case Studies
    - Sven Christian Müller, Hanno Georg, James J Nutaro, Edmund Widl, Yi Deng, Peter Palensky, Muhammad Usman Awais, Moustafa Chenine, Markus Kuch, Matthias Stifter, Hua Lin, Sandeep K Shukla, Christian Wietfeld, Christian Rehtanz, Christian Dufour......
    2016
    Journal: IEEE Transactions on Smart Grid
  • Editorial: Science of the Big and Small and Embedded Computing Systems
    - Sandeep K Shukla
    2016
    Journal: ACM Transactions on Embedded Computing Systems (TECS)
  • Editorial: Fence Itself Grazing the Field—Security from the Sentries
    - Sandeep K Shukla
    2016
    Journal: ACM Transactions on Embedded Computing Systems (TECS)
  • Editorial: Security of Embedded Systems and Cyber Irons--Embedded Systems for Security
    - Sandeep K Shukla
    2016
    Journal: ACM Transactions on Embedded Computing Systems (TECS)
  • Timing-oriented and architecture-centric system design using contracts
    - Huafeng Yu, Jean-Pierre Talpin, Sandeep K Shukla
    2016
    Patent office-US
  • Design space exploration for deterministic ethernet-based architecture of automotive systems
    - Prachi Joshi, Haibo Zeng, Sandeep K Shukla, Chung-wei Lin, Huafeng Yu
    2016
    Conference: High Level Design Validation and Test Workshop (HLDVT), 2016 IEEE International
  • Bottom-up approach for integrating models for software components using contracts
    - Prachi Joshi, Huafeng Yu, Sandeep K Shukla, Jean-Pierre Talpin, , Jean-Pierre Talpin
    2016
    Patent office-US

2015

  • Model-Based Integration for Automotive Control Software
    - Huafeng Yu, Joshi Prashi, Jean-Pierre Talpin, Sandeep Kumar Shukla, Shin'Ichi Shiraishi
    2015
    Conference: Digital Automation Conference
  • Liquid Clocks-Refinement Types for Time-Dependent Stream Functions
    - Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla
    2015
    Institution: INRIA Rennes-Bretagne Atlantique; INRIA
  • A framework for analyzing and optimizing renewable energy portfolios
    - Soumyo V Chakraborty, Sandeep K Shukla, James Thorp
    2015
    Conference: PowerTech, 2015 IEEE Eindhoven
  • VSCADA: A reconfigurable virtual SCADA test-bed for simulating power utility control center operations
    - Avik Dayal, Yi Deng, Ahmad Tbaileh, Sandeep Shukla
    2015
    Conference: Power & Energy Society General Meeting, 2015 IEEE
  • Towards refinement types for time-dependent data-flow networks
    - Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla
    2015
    IEEE
  • Design of Cyber Security for Critical Infrastructures: A Case for a Schizoid Design Approach
    - Avik Dayal, Yi Deng, Sandeep K Shukla
    2015
    Conference: International Conference on Security, Privacy, and Applied Cryptography Engineering
  • Industry Strength Tool and Technology for Automated Synthesis of Safety-Critical Applications from Formal Specifications
    - Sandeep K Shukla, Mahesh Nanjundappa, Matthew Anderson, Avik Dayal, Mathew Kracht
    2015
    VIRGINIA POLYTECHNIC INST AND STATE UNIV BLACKSBURG
  • Translating Discrete Time SIMULINK to SIGNAL Traduction des temps discrets SIMULINK en SIGNAL
    - Safa Messaoud, Neda Saeedloei, Sandeep Shukla
    2015
    Laboratoire SIR Departement Génie Informatique Ecole Mohammadia d'ingénieurs
  • Editorial: Big Data, Internet of Things, Cybersecurity—A New Trinity of Embedded Systems Research
    - Sandeep K Shukla
    2015
    Journal: ACM Transactions on Embedded Computing Systems (TECS)
  • Flexible VLSI Architectures for Galois Field Multipliers
    Mohamed Asan Basiri M and Sandeep K Shukla
  • Hardware Optimizations for Crypto Implementations
    Mohamed Asan Basiri M and Sandeep K Shukla
  • Flexible Composite Galois Field GF((2^m)^2) Multiplier Designs
    Mohamed Asan Basiri M and Sandeep K Shukla
  • A High Speed KECCAK Coprocessor for Partitioned NSP Architecture on FPGA Platform
    Rourab Paul, Sandeep K Shukla
  • A SCADA test bed For Cyber Security Education & Research
    Rohit Negi, Abhay Kumar, Saurabh Kumar, Sandeep K Shukla, Avik Dayal
Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
Authors:
Ahuja, Sumit, Lakshminarayana, Avinash, Shukla, Sandeep Kumar
Springer
2012
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Authors:
Singh, Gaurav, Shukla, Sandeep Kumar
Springer
2010
Synthesis of Embedded Software
Authors:
Shukla, Sandeep Kumar, Talpin, Jean-Pierre (Eds.)
Springer
2010
Fundamental Problems in Computing
Authors:
Ravi, Sekharipuram S., Shukla, Sandeep Kumar (Eds.)
Springer
2009
Metamodeling-Driven IP Reuse for SoC Integration and Microprocessor Design
Authors:
Mathaikutty, Deepak A.; Shukla, Sandeep
Copyright
2009
Ingredients for Successful System Level Design Methodology
Authors:
Patel, Hiren D., Shukla, Sandeep Kumar
Springer
2008
SystemC Kernel Extensions for Heterogeneous System Modeling: A Framework for Multi-MoC Modeling & Simulation
Authors:
Patel, Hiren, Shukla, Sandeep Kumar
Springer
2005
Formal Methods and Models for System Design: A System Level Perspective
Authors:
Gupta, R., Le Guernic, P., Shukla, S.K., Talpin, J.-P. (Eds.)
Springer
2004
Nano, Quantum and Molecular Computing Implications to High Level Design and Validation
Authors:
Shukla, Sandeep Kumar, Bahar, R. Iris (Eds.)
Springer
2004

2017

  • Flexible VLSI Architectures for Galois Field Multipliers
    - Mohamed Asan Basiri M and Sandeep K. Shukla
    2017
    Integration, the VLSI Journal
  • Offset Assignment to Signals for Improving Frame Packing in CAN-FD
    - Prachi Joshi, S. S. Ravi, Soheil Samii, Unmesh Bordoloi, Sandeep Shukla, Haibo Zeng
    2017
    accepted for IEEE Real-Time Systems Symposium (RTSS 2017). Paris, France, December 2017
  • A High Speed KECCAK Coprocessor for Partitioned NSP Architecture on FPGA Platform
    - Rourab Paul and Saneep Kumar Shukla
    2017
    VDAT 2017: 21st International Symposium on VLSI Design and Test
  • Flexible Composite Galois Field GF ((2^m)^ 2 ) Multiplier Designs
    - Mohamed Asan Basiri M and Sandeep K Shukla
    2017
    VDAT 2017: 21st International Symposium on VLSI Design and Test
  • Editorial: Distributed Public Ledgers and Block Chains—What Good Are They for Embedded Systems?
    - Sandeep K Shukla
    2017
    ACM Transactions on Embedded Computing Systems (TECS)

2016

  • Hardware Optimizations for Crypto Implementations (Invited Paper)
    - Mohamed Asan Basiri M and Sandeep K. Shukla
    2016
    VDAT 2016: 20th International Symposium on VLSI Design and Test, IIT Guwahati
  • Cyber Security of Cyber Physical Systems: Cyber Threats and Defense of Critical Infrastructures
    - Sandeep K Shukla
    2016
    Conference: VLSI Design and 2016 15th International Conference on Embedded Systems (VLSID), 2016 29th International Conference
  • A survey of automatic protocol reverse engineering tools
    - John Narayan, Sandeep K Shukla, T Charles Clancy
    2016
    Journal: ACM Computing Surveys (CSUR)
  • Interfacing Power System and ICT Simulators: Challenges, State-of-the-Art, and Case Studies
    - Sven Christian Müller, Hanno Georg, James J Nutaro, Edmund Widl, Yi Deng, Peter Palensky, Muhammad Usman Awais, Moustafa Chenine, Markus Kuch, Matthias Stifter, Hua Lin, Sandeep K Shukla, Christian Wietfeld, Christian Rehtanz, Christian Dufour......
    2016
    Journal: IEEE Transactions on Smart Grid
  • Editorial: Science of the Big and Small and Embedded Computing Systems
    - Sandeep K Shukla
    2016
    Journal: ACM Transactions on Embedded Computing Systems (TECS)
  • Editorial: Fence Itself Grazing the Field—Security from the Sentries
    - Sandeep K Shukla
    2016
    Journal: ACM Transactions on Embedded Computing Systems (TECS)
  • Editorial: Security of Embedded Systems and Cyber Irons--Embedded Systems for Security
    - Sandeep K Shukla
    2016
    Journal: ACM Transactions on Embedded Computing Systems (TECS)
  • Timing-oriented and architecture-centric system design using contracts
    - Huafeng Yu, Jean-Pierre Talpin, Sandeep K Shukla
    2016
    Patent office-US
  • Design space exploration for deterministic ethernet-based architecture of automotive systems
    - Prachi Joshi, Haibo Zeng, Sandeep K Shukla, Chung-wei Lin, Huafeng Yu
    2016
    Conference: High Level Design Validation and Test Workshop (HLDVT), 2016 IEEE International
  • Bottom-up approach for integrating models for software components using contracts
    - Prachi Joshi, Huafeng Yu, Sandeep K Shukla, Jean-Pierre Talpin, , Jean-Pierre Talpin
    2016
    Patent office-US

2015

  • Model-Based Integration for Automotive Control Software
    - Huafeng Yu, Joshi Prashi, Jean-Pierre Talpin, Sandeep Kumar Shukla, Shin'Ichi Shiraishi
    2015
    Conference: Digital Automation Conference
  • Liquid Clocks-Refinement Types for Time-Dependent Stream Functions
    - Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla
    2015
    Institution: INRIA Rennes-Bretagne Atlantique; INRIA
  • A framework for analyzing and optimizing renewable energy portfolios
    - Soumyo V Chakraborty, Sandeep K Shukla, James Thorp
    2015
    Conference: PowerTech, 2015 IEEE Eindhoven
  • VSCADA: A reconfigurable virtual SCADA test-bed for simulating power utility control center operations
    - Avik Dayal, Yi Deng, Ahmad Tbaileh, Sandeep Shukla
    2015
    Conference: Power & Energy Society General Meeting, 2015 IEEE
  • Towards refinement types for time-dependent data-flow networks
    - Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla
    2015
    IEEE
  • Design of Cyber Security for Critical Infrastructures: A Case for a Schizoid Design Approach
    - Avik Dayal, Yi Deng, Sandeep K Shukla
    2015
    Conference: International Conference on Security, Privacy, and Applied Cryptography Engineering
  • Industry Strength Tool and Technology for Automated Synthesis of Safety-Critical Applications from Formal Specifications
    - Sandeep K Shukla, Mahesh Nanjundappa, Matthew Anderson, Avik Dayal, Mathew Kracht
    2015
    VIRGINIA POLYTECHNIC INST AND STATE UNIV BLACKSBURG
  • Translating Discrete Time SIMULINK to SIGNAL Traduction des temps discrets SIMULINK en SIGNAL
    - Safa Messaoud, Neda Saeedloei, Sandeep Shukla
    2015
    Laboratoire SIR Departement Génie Informatique Ecole Mohammadia d'ingénieurs
  • Editorial: Big Data, Internet of Things, Cybersecurity—A New Trinity of Embedded Systems Research
    - Sandeep K Shukla
    2015
    Journal: ACM Transactions on Embedded Computing Systems (TECS)