selected publications

• chapter

  • SPOT+: Secure and Privacy-Preserving Proximity-Tracing Protocol with Efficient Verification over Multiple Contact Information.  Communications in computer and information science. 1-19. 2023

• conference paper

  • SEVIL: Secure and Efficient VerifIcation over Massive Proofs of KnowLedge.  . 13-24. 2022