Two papers have been accepted recently:

  1. Haobin’s paper (with Hongbo, Mingshen, and XiaoFeng) on formally verified enforcement for data-in-use policies has been accepted by Usenix Security 25, congrats! This also marks my first advised student paper at IU.
  2. My paper (with Lina, Johes and Yukui) on Synopsis Assisted Secure Collaborative Analytics has been accepted by VLDB 25. Interestingly, as a DB researcher, this is my first VLDB paper—likely because I’ve primarily submitted to SIGMOD in the past.