FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
Dipanjan Das

Registered user since Sun 15 Jan 2023

Name:Dipanjan Das
Bio:

My research extends in two distinct directions. I develop automated program analysis techniques to uncover vulnerabilities in low-level systems, such as, operating system kernel, bootloader, and Internet of Things (IoT) devices. In addition, I took a deep dive into the areas related to vulnerability analysis of smart contracts, and various aspects of cryptoeconomics, specifically the design flaws, and the market manipulation strategies employed in the decentralized finance (DeFi) ecosystem.

Country:United States
Affiliation:University of California, Santa Barbara
Personal website: https://dipanjan.in
Research interests:Low-level systems, DeFi

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile