Dipanjan Das

About

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.

Employment

• University of California, Santa Barbara PhD Student
  2016 - Present

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (6)

• Hybrid Pruning: Towards Precise Pointer and Taint Analysis
  Lecture Notes in Computer Science 2022 DOI: 10.1007/978-3-031-09484-2_1
  +Save
• DIANE: Identifying Fuzzing Triggers in Apps to Generate Under-constrained Inputs for IoT Devices
  IEEE Symposium on Security and Privacy (SP) 2021 DOI: 10.1109/SP40001.2021.00066
  +Save
• SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
  ArXiv 2021 DOI: 10.1109/SP46214.2022.9833721
  +Save
• PeriScope: An Effective Probing and Fuzzing Framework for the Hardware-OS Boundary
  Annual Network and Distributed System Security Symposium (ndss) 2019 DOI: 10.14722/NDSS.2019.23176
  +Save
• BootStomp: On the Security of Bootloaders in Mobile Devices
  PROCEEDINGS OF THE 26TH USENIX SECURITY SYMPOSIUM (USENIX SECURITY) 2017
  +Save
• Constant Size Ring Signature Without Random Oracle
  Lecture Notes in Computer Science 2015 DOI: 10.1007/978-3-319-19962-7_14
  +Save