DSpace at My University: Computer Science & Engineering

Computer Science & Engineering Community home page

The Department of Computer Science and Engineering at the Indian Institute of Technology, Kharagpur, was formed in 1980. The first undergraduate batch rolled out in the year 1982 and the first PhD was awarded in 1986. Currently the department has undergraduate students (BTech and Dual), postgraduate students (MTech) and research students (MS and PhD). The Department provides an outstanding research environment complemented by superior teaching for its students to flourish in. Graduates from the department are heavily recruited by both academia and industry.

Telephone +91-3222-282255
Departmental Web Site

Department of Computer Science and Engineering
Indian Institute of Technology Kharagpur, INDIA

Browse

Collections in this community

Validation of Optimizing and Parallelizing Transformations using Dependence Graph Abstraction

Modeling Self-Reinforcement and Inter-Competition in Multivariate Temporal Point Processes and Graph-based Semi-Supervised Learning

Methods and Apparatus for Container Resource Management in Fog Cloud Orchestration

Formal Methods for Accelerating Formal, Semi-formal and Dynamic Property Verification through Novel Specification Styles

Security Aware Architectural Exploration of Public Key Algorithms

A Study of Application of Artificial Intelligence in Customer Relationship Management

Computational Methods for Modelling and Analysis of Thyrotropic Regulation Pathway

Algorithms for Handover Management in Dense LTE Networks under Vehicular Mobility

Spatio-Temporal Data Collection and Analysis for Developing Transport Related Services

Dependence-Based Test Coverage Metrics for Object-Oriented Programs

Traffic Engineering in Software-Defined Data Center Networks for IOT

Effective Methods for Cross-Lingual Dependency Parsing

Software-Defined Networking for Internet of Things: Rule Placement and Routing

Scalable Synthesis of Logic Functions Using Memristor Crossbar Array

Restoration of a Space-Variantly Blurred Image Using Non-Local Priors

Efficient Dynamic Slicing of Programs

A Unified Framework for Managing Heterogeneous Access Control Policies

Incorporation of Manner of Articulation Knowledge to Improve the Performance of Automatic Speech Recognition System

Formal Methods and Algorithms for the Reliability Analysis of Component Based Cyber-Physical Systems

Source Modeling and Cross-Lingual Voice Conversion for High-quality Polyglot Parametric Speech Synthesis

Attribute-Based Authorization Management in Multi-Domain Collaboration

Mining Personality Traits and Behaviorally Similar Groups from Enterprise Social Networks

Online Social Networks: Evolution and Search

Site Preference and Atomic Ordering in Pd and Ni-based Intermetallics and Cu-Cd Laves Phases as Hydrogen Storage Materials: A DFT-based Approach

Hardware Software Codesign of Microprocessor Based Systems: A Knowledge Based Framework

Formal Analysis of Property Specifications Consistency, Coverage and Synthesis

A Unified Framework for Managing Heterogeneous Access Control Policies

Modeling and Learning Influence in Social Networks

Management and Verification of Power and Thermal Contracts in Integrated Circuits

Modeling Aesthetics in Fashion Recommendation using Machine Learning

Annotating and Predicting Human Activities in a Smart Environment: A Longitudinal Study

Text and Graph Processing Methods for Assisting Legal Practitioners

QoS-Aware Resource Allocation for Rendering Sensors-As-A-Service

Design Automation for Side Channel and Fault Attack Resistant Lightweight Cryptography

Trustworthy Service Provisioning for IOT-Based Systems

Unsupervised Pattern Discovery and Clustering of Speech Utterances for Information Retrieval

SAT Based Solutions for Timing and Power Estimation of Gate Level Circuits

New Approaches to Design and Control of Anytime Algorithms

Identifying and Extracting Social Signals: From Exaggerations to Code-Borrowing

Hierarchical Planning and Control in Model-Based Design of Systems and Circuits

Motion Compensated JPEG 2000: a New Video Codec

Automatic Annotation of Learning Materials for E-learning

Construction and Maintenance of Connected Dominating Set as Virtual Backbone in Wireless Network

Techniques to Facilitate Seamless Identification of Activities of Daily Living in a Smart Home

Algorithms for Online Subset Selection and Data Valuation in Data-Centric AI

Latency-Aware Performance Enhancement in Serverless Computing

Unsupervised, Semi-Supervised and Self-Supervised Learning from Multi-Spectral and Hyper-Spectral Images

Towards Scalable SDN: Enhancement in Data and Control Planes

Systematic Design and Efficient Automated Implementation of Secure Logic Locking

Exploring Side-Channel Leakages in Modern Computer Architectures

Developing Smartphone Keyboard Interaction Based Emotion Detection System

Subjective Assessment of Cognitive Load of a Human Using Brain Electroencephalogram Data

Pervasive Education: from Physical to Virtual Smart Classroom

Design and Analysis of Advanced Searchable Symmetric Encryption Systems

Reinforcement Learning for Safe and Efficient Planning in Autonomous Driving

Symmetric-Key Cryptanalysis: Modeling, Extensions, and Parallel Implementations

Analysis and Early Prediction of Student Performance using Data Mining Approaches

Network Resource Management over Shared Storage Hyperconverged Data Centers

GPU-Based Isotropic Remeshing using Centroidal Voronoi Tessellation on Voxelized Surface

Digital Circle, Ellipse and Ellipsoid: Characterization and Construction with Graphic Applications

The Rise of Hate Content in Online Social Media: Spread, Detection and Mitigation

Design and Analysis of Secured Protocols using Hardware Intrinsic Primitives

Differential Fault Analysis of Block Ciphers

A Study on Various Dimensional Parameters of Graphs and Posets

Intent Detection and Key Information Generation for Domain Specific Applications

Knowledge Extraction, Growth Study and Impact Prediction for Scientific Documents

Segmentation of Scanned Document Images and Its Applications

Resource Orchestration in Constrained IoT Devices

Molecular Mechanism of Bacterial Chemotaxis and Prediction of Protein Phosphorylation Sites

Policy Engineering in Attribute-Based Access Control

Unsupervised Clustering Algorithms for Large Data

The Hands Say It All: Some Novel Approaches for Locating Hands and Identifying Grasps and Gestures

Design and Analysis of Machine Learning based Modeling Attacks on Strong Physically Unclonable Functions

Building Trust in Deep Reinforcement Learning Using Safety Annotations

Algorithmic Fairness in Two-Sided Settings

Building Attack-Resilient Cyber-Physical Systems: Vulnerability Analysis to Resource-Efficient Security Framework Design

Design, Analysis and Implementation of Physically Unclonable Function based Authentication Frameworks for Internet-of-Things

Provisioning Sensors-as-a-Service in Sensor-Cloud-Based Internet of Things

A Formal Approach towards Pattern Guided Scheduling in Embedded Control Systems

Using Networks for Lexical Semantics: Wikification, Lexical Relation Detection, Lexical Unit Representation

Algorithmic Development in Computational Protein Design with an emphasis on Protein-Protein Interaction Modeling

Unveiling the Significance of Protein Interactome in Parallel Whole-Cell Simulation, Evolution, and Disease Biology

Detection, Analysis and Mitigation of Online Public Shaming

Evolutionary Studies from Numerically Represented Genomic Sequences

Deep Learning–Based Multimedia Forensics and Malware Classification

Thermal Aware Dynamic Resource Management in Heterogeneous Computing Platforms

Investigating Core Periphery Structure for Centrality Resilience, Prediction and Representation Learning

Sparsity-Based Approaches to Motor Imagery Electroencephalogram Signal Processing

Understanding Behavior of Linguistic Entities in Social Media

Design and Analysis of Robust Machine Learning in the Context of Computer Security

Exploring Spatiotemporal Data for Contextual Analysis of Driving Behavior: Towards Developing Ubiquitous Platforms for Road Safety

Service-Oriented Scaling of Blockchain for Industrial IoT Use Cases

Assessment of Program Comprehension

Designing News Recommendation Systems: From Mass Media to Social Media

Understanding Opinions and Sentiments in User-Generated Content by Learning through Limited Labels

Formal Methods for Design and Analysis of Physically Unclonable Functions

Multi-Rate Strategies for Power and Bandwidth Optimization in Embedded Control

Leveraging Transfer Learning with Encoder-based Multilingual Language Models for Low-Resource Languages

Effective and Scalable Algorithms for Product Recommendation

Algorithms for Formal Feature Analysis and Inference Learning for Hybrid Systems

Domain-Specific Text Summarization: Modeling and Evaluation

Application of Equivalence Checking for Evaluation of Students’ Programming Assignments

Micro-Architectural Attacks and Countermeasures on Public-Key Cryptosystems

Attacks and Analyses of Symmetric Ciphers

Lung Cancer Radiomics: Early Prognosis using Spatio-Temporal Low Dose Cone-Beam CT Images

Bias and Fairness in Information Retrieval Algorithms on E-Commerce Platforms

Deep Neural Models for Downstream Applications in E-Commerce

Addressing Language Specific Characteristics for Data-Driven Modelling of Lexical, Syntactic and Prosodic Tasks in Sanskrit

Realization of Neural Network Applications in Memristor Crossbar: Technological Challenges and Solutions

Methods and Apparatus for Blockchain Interoperability and Identity Management

Resource-Aware Service Provisioning in Fog-Based IOT Systems

Analyzing the Structure and Dynamics of Multilayer Networks: An Application Centric Study

Robust Learning in Asynchronous Event Data and Multi-agent Team Competitions

Temporal Networks: Structure, Function and Application

Extracting and Summarizing Information from Microblogs during Disasters

Sustainable and Energy-Efficient Connectivity for IoT Networks

Emotion Transformation Using Significant Events of Speech

Speech Recognition in Multilingual and Multimode Environment

Semantic Analysis of Trajectory Traces to Explore Human Movement Behaviour

Design and Analysis of Fault Resilient Symmetric Ciphers

An Investigation into Cues and Priors for Occlusion-Free Imaging

Adaptive Bitrate Streaming: Performance over Today’s Internet and Optimizations for the Future

Design and Analysis of Optimal Proof-of-Work Protocols

Concurrency Test Scenario Generation Using UML Transition Sequences

Design Automation for Functional and Defect Coverage in Mixed-Signal Integrated Circuits

Resource Management in Heterogeneous Wireless Networks: An Economics Perspective

An Investigation into Eﬀective Fault Localization

Offloading in UAV Networks

Algorithms on Temporal Graphs

Investigating the Role of Different Participating Entities in the Rise of Hateful Content in Social Media

Self-Assembly Nano Particle Simulation and Modelling of Organic Photovoltaic Materials

Revisiting Fault Analysis of Block Ciphers: Attacks, Defenses, and Vulnerability Assessment Frameworks

Depth Map Completion Using Non-Local and Low-Rank Priors

Regression Test Suite Prioritization

Towards Lightweight and Anonymous Identity-Based Broadcast Proxy Re-encryption

Representation and Classification of Spoken Word Exemplars

Application-Driven Generative Models for Graph and Text

Analyzing the Role of Information Propagation on Node Prominence in Online Social Networks

Automatic Test Specification Generation for State-based System Testing

Efficient Algorithms For Video Transcoding

Design and analysis of authenticated key establishment protocols

Design of Adaptive Distributed Systems by Protocol Switching

Slicing UML Models

New Approaches for Simulation Based Verification of Pipelined Processors

Digital Watermarking of Audio Signals Using Quantization

New Techniques in Testing and Timing Verification of System-on-Chips

Some Studies on Traffic Grooming, Routing and Wavelength Assignment in WDM Mesh Networks

Machine Learning Methods for Named Entity Recognition with Limited Resource

A Symbolic Event Propagation Approach for Solving Timing Problems of Digital Circuits

Image Steganography: Various Approaches to Resist Steganalytic Attacks,

Analyzing the Resilience and Emergence of Superpeer Networks

Test Coverage Analysis of Object-Oriented Programs

Design and Analysis of Pairing Based Cryptographic Hardware for Prime Fields

Studies on Multi Label Classification of Emotions Evoked from Text Data

Studies in Logic Synthesis, Testing, and Security Issues of Digital Circuits based on Binary Decision Diagrams

Modeling and Application of Visual Saliency

Information Management in Large Scale Networks

Design and Analysis of Stream Ciphers Using Cellular Automata

Formal Analysis of Heterogeneous Embedded Systems using Tagged Signal Model

Formal Methods for Early Time-Budgeting in Component Based Embedded Control Systems

Algorithms for Video Assisted Analysis of Infant Neurological Examinations

New Approaches in Real-Time Proportional Fair Multi-Processor Scheduling

Formal Verification of Behavioural Transformations during Embedded System Design

Topology and its Effects on the Performance of Peer-to-Peer Networks

Formal and Semi - Formal Verification Methods with Constrained Random Testbenches

Geometric Algorithms for Coverage in Wireless Sensor Networks

Processing and Analysis of Bangla Optical Characters using Geometric and Topological Features

New Multiprocessor Scheduling Techniques for Dynamic Task Graphs

Some Studies in Heuristic Search Theory and Algorithms

Formal Methods for Aiding Verification of Local Design Changes in Digital Integrated Circuits

Early Processing of Digital Color Images

Utilisation of a Single Type of Orthogonal Polynomial Based Operators for Image Analysis

Analysis of Time-Driven Cache Attacks on Block Ciphers

Search Techniques for Finding Alternative Solutions for and/or Graphs and Biobjective Optimization Problems

Regression Test Selection and Prioritization for Object-Oriented Programs

Processing of Brain MR Images

Algorithms for Personalized Recommender Systems and Rank Aggregation

Performance Analysis and improvement of Information Dissemination Protocols in DTNS

Design Automation Algorithms for Sample Preparation on a Digital Microfluidic Lab-On-A-Chip

New Algorithms and Applications of Searching State-Space Graphs and Monotone Mulch-Dimensional Arrays

Diagnosis Techniques for Identifying Faults in Digital VLSI Circuits

Reversible Watermarking of Digital Images: Algorithms and Implementation

Side Channel Attacks of Stream Ciphers and Countermeasures

Distributed Video Coding Using Local Rank Transform

Unifying Heuristics and Evolutionary Computing for Characterizing and Solving Certain Combinatorial Optimization Problems

Fractal Image and Video Compression

Strategies for Dynamic Load Balancing on Network of Workstations

Some Studies on Logic Design with Multiplexers and Testing of Digital Circuits

Synthesis of Enhanced Systolic Arrays

Batch Verification of Elliptic Curve and Edwards Curve Digital Signatures

Formal Verification of Liveness Properties of Distributed System Protocols by Model Checking

Improved Test Techniques for Network-on-Chip Based Memory Systems

Improving the Performance of a Bengali to Hindi Machine Translation System Through Systematic Processing of Errors

Dynamics of Information Dissemination: A Structural and Functional Study

Unsupervised Approaches to Syntactic Analysis of web Search Queries

A Study on the Performance of Checkpoint and Recovery Protocols in Message Passing Distributed Systems

Dynamic Slicing of Object-Oriented Programs

Design and Analysis of Cryptographic Boolean Functions with Improved Side-Channel Resistance

Algorithms and Techniques for Connection Establishment in Wavelength Routed WDM Networks

Quality of Service Provisioning in WDM Networks

A Logic Based Framework for Planning with Auxiliary Goals

Collaborative Problem Solving Among Organizations Using a Multiagent Framework

A New Test Techniques for Heterogeneous Embedded Cores in SOC

Some Studies in Exact and Approximation Algorithms for Tree Search Problems

A Semantic Net Based Approach to Generic Object Recognition

On the Computational Complexity & the Design of Algorithms for Multi-Layer Channel Routing

Slicing of Parallel and Distributed Programs

New Visibility Problems: Combinatorial & Computational Complexities

Some Studies on Additive Cellular Automata and Their Applications

Study of Issue in Multiconnected Distributed Loop Interconnection Networks

Fault-Tolerant Scheduling in Parallel and Distributed Real- Time Systems

On the Star Graph Inter-Connection Topology for Paralle Computing

On Fault Diagnosis & Cellular Realization of Some Error Detecting/Correcting Codes

Some Studies on Error Correcting Code and Data Compression

On Farey Sequence and Farey Table with Digital-geometric Applications to Image Analysis

Unsupervised Learning for Gene Selection and Enrichment Using Microarray Data

Some Techniques to Address Traffic Congestion and Capacity Constraints in Mobile Networks

Formal Methods for Architectural Power Intent Verification and Functional Reliability Analysis

Community Analysis in Large Networks: Methods and Applications

Assertions: from a Mixed - Signal Prespective

Conex: an Expert System Structure for Control Engineering

Curvature, Circularity, and Related Applications: a Digital-geometric Perspective

Design and Analysis of Key Distribution Mechanisms in Wireless Sensor Networks

Models and Algorithms for Design of Scanning Keyboards

An Orthogonal Polynomials based Unified framework for Edge detection and Texture analysis with its usage in some...

Diagnostic Logic Graph for Analysis and Diagnosis of Digital Networks

Enhancing Solution Quality of Multiobjective Combinatorial Optimization with Hybridization of Evolutionary Algorithm...

On Transaction Modeling and Concurrency Control in Active DBMS

Methods for Harnessing a Network of Workstations for Parallel Processing

A Unified Framework Based on Orthogonal Polynomials for Edge Detection, Texture Analysis and Compression in Color Images

Development of Methodologies for Recognition Partially Obscured Planar Shapes

Development of Methodologies for Recognition Partially Obscured Planar Shapes

Scheduling in Large Scale Mobile Systems

Securing Loosely-coupled Collaborations in a SaaS Cloud through Risk Estimation and Access Conict Mediation

Automated Planning Based Methods for Early Verification of Reactive Control Systems

Correlation-Aware Network Management Of Wireless Sensor Networks

Thermal-Aware Design and Test Techniques for Two- and Three-Dimensional Networks-on-Chip

Power Aware Software

Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking

Temporal Role Mining

Secured Multi-Tenant Network Collocation in Horizontal IaaS Federation

Computational Modeling of Text Readability in Bangla: A Reader Oriented Approach

Object Identification in RFID Technology

On Discretization of Sphere and Related Problems in 3D Integer Space

Cognitively Motivated Computational Models for Representing Bangla Morphologically Complex Words in a Lexicon

Source Modeling For Improvement of Quality of Hmm-Based Speech Synthesis

A Logic Based Object Oriented Approach for Modeling and Management of Video of Dynamic Objects

Motion Vector Estimation in Video Compression

Machine Learning Algorithms for Prediction of Indian Summer Monsoon

Enhancing Document Retrieval with Enriched Representation of Query Terms

Remote Dynamic Partial Reconfiguration for Emerging Iot Applications: Threats and Countermeasures

Cooperation-Aided Distributed Topology Management and Resource Allocation in Wireless Multimedia Sensor Networks

Behavioral and Security Analysis of Future Generation Networks

Fingerprint Biometric-Based Approaches to Remote User Authentication Schemes

Semantic Kriging: A Semantically Enhanced Approach for Spatial Interpolation

Characterizing Collision and Optimizing Energy Consumption In Nanoscale Communication Networks Nabiul

Study of Cellular Automata and Their Applications to Stream Ciphers

Fully Homomorphic Encryption Based Algorithms: Design and Challenges

Path Based Equivalence Checking of Petri NET Representation of Programs for Translation Validation

Theory and Application of Additive Cellular Automata for Easily Testable VLSI Circuit Design

Synthesis of Testable VLSI Designs from High Level Specifications

Methods for Synthesis of PLA-based FSM ’s

Inductive Reasoning in formal Verification of Hardware

New Methods for Automated Synthesis and Verification of Analog Circuits

Content-Based Image and Video Retrieval Using the Properties of the HSV Color Space

Genetic Algorithms for a Class of Graph Problems with Applications in VLSI Design

Model Checking Techniques for Reasoning about Events and Extremal Properties in Timed Systems

Design of Easily Testable PLAs & their Testing Algorithms

On Fault Diagnosis of Timed Discrete Event Systems and Hybrid Systems

Design-for-Test Techniques for SOC Designs

Complexity Analysis and Algorithms for Data Path Synthesis

Some Problem Solving Methods using Neural Networks

Characterizing Twitter Users for Building Social Systems

Design and Analysis of Secure Physically Unclonable Function Compositions

Design for Manufacturability aware Early Global Routing

Reservation and Admission Control for QoS Provisioning in Mobile Networks

Sensors-As-A-Service: Towards the Conceptualization of Sensor-Cloud

Jamming-Aware Quality-of-Service Enhancement in Wireless Sensor Networks

Couplet based Analysis of Phylogenetic Trees

Bisecting Families for Set Systems and Related Problems

An Object Oriented Approach to Digital Circuit Synthesis

Logic Synthesis for Low Power High Performance VLSI Circuits

Theory and Applications of Additive Cellular Automata for Reliable and Testable VLSI Circuit Design

Failure Diagnosis of Fair Discrete Event System Models and its Application to on-Line Testing of Sequential VLSI Circuits

Some Studies on Theory and Applications of Additive Cellular Automata

A Framework for Modeling, Analysis and Transcription of Bharatanatyam Dance Performances

Spatio-Temporal Prediction: Data-Driven Models With Intelligent Framework

Design and Analysis of Cellular Automata Based Cryptographic Algorithms

Content Based Retrieval of Official Documents

Cryptanalysis of Hash Functions and Authenticated Encryption Schemes

Design Intent Verification by Formal Property Coverage

Content Dissemination in Opportunistic Mobile Networks