RESEARCH / FOUR CONNECTED THEMES
Study the boundary. Test the claim.
Our themes reflect Dr. Jangid’s stated research interests and his verified earlier publications. The questions below describe the areas we explore; they do not announce completed lab projects.
Formal verification
Research question
What security properties does a protocol actually guarantee under a stated attacker model?
How we examine it
Specify protocol states, attacker capabilities and desired properties, then analyze them with formal models.
Why it matters
Careful models can expose behavior that informal reasoning misses.
System security & privacy
Research question
What can an observer infer from the way devices communicate, even when identities change?
How we examine it
Analyze system behavior and protocol traces, then evaluate mitigations.
Why it matters
Confidential messages can still reveal relationships through observable behavior.
Trusted execution environments
Research question
How should enclave-backed systems preserve security across interruptions and interactions with untrusted software?
How we examine it
Study enclave state, trust assumptions and protocol design with formal analysis and prototypes.
Why it matters
Hardware isolation helps only when surrounding state and protocols are designed carefully.
Cryptography & protocol design
Research question
Where do authentication, privacy and efficiency requirements pull a protocol in different directions?
How we examine it
Define adversaries and security goals, then assess concrete protocol choices.
Why it matters
A secure primitive still needs a sound protocol around it.