• Sign in
  • Sign up
conf.researchr.org / Depeng Liu
  • APLAS & ATVA 2026 profile
  • POPL 2022 profile

Registered user since Fri 26 Nov 2021

Name:Depeng Liu
Country:China
Affiliation:Institute of Software, Chinese Academy of Sciences
Personal website: https://tis.ios.ac.cn/?page_id=1211

Contributions

2026

APLAS

  • Author of Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees within the ATVA Research Papers-track

2022

VMCAI

  • Author of Verifying Pufferfish Privacy in Hidden Markov Models within the VMCAI 2022-track
Share
xSun 18 Oct 00:33
using conf.researchr.org (v1.76.1)
Support page
Sign Up