Research Projects and Implementation Work

Research line on how decentralization, security, scalability, and incentives interact under adversarial conditions.

Problem: Blockchain architectures are often described as secure and scalable without clarifying which guarantees are being traded away and where malicious behavior enters the model.

Methods: Formal proof, Threat modeling, Game-theoretic reasoning, Comparative protocol analysis

Design work on improving privacy for blockchain transactions and smart contracts at the application layer.

Problem: Public transaction and execution models expose data that many applications cannot safely disclose.

Methods: Application-layer architecture design, Security analysis, Privacy threat modeling

Identity and trust design for connected environments where centralized identity does not scale cleanly.

Problem: Web of Things deployments need stronger cross-domain identity, credential, and access-control models.

Methods: Identity architecture analysis, Credential modeling, Access-control design

Security work spanning malicious-node detection, FPGA reverse engineering, and timing-side-channel defenses.

Problem: Protocol assurances can break once implementation details, timing leakage, or hardware constraints are taken seriously.

Methods: Implementation analysis, Reverse engineering, Constant-time design, Protocol evaluation