Concepedia

Hengchu Zhang

HZ

Statistics

Publications

3

Citations

52

H-Index

3

Active since

2019

Affiliations

California University of Pennsylvania(Current)

Hengchu Zhang is an author at California University of Pennsylvania specializing in data privacy, data security, and formal methods.

Top concepts

Publications per year

2019–2021

3

Publications

3

Verifying an HTTP Key-Value Server with Interaction Trees and VST

Hengchu Zhang, Wolf Honoré, Nicolas Koh et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2021 · 20 citations · Full text

Fuzzi: a three-level logic for differential privacy

Hengchu Zhang, Edo Roth, Andreas Haeberlen et al. · Proceedings of the ACM on Programming Languages · 2019 · 18 citations · Full text

, , +16

Testing differential privacy with dual interpreters

Hengchu Zhang, Edo Roth, Andreas Haeberlen et al. · Proceedings of the ACM on Programming Languages · 2020 · 14 citations · Full text

, , +16

1–3 of 3