Popular repositories Loading

1. ZhengYeah.github.io ZhengYeah.github.io Public

   This is the source code for Ye Zheng's public website: https://zhengyeah.com/

   HTML 4 1

2. AbstraCMP AbstraCMP Public

   [JOS 22] & [IJSI] Multi-path Back-Propagation for Neural Network Verification

   Python 2

3. MpBP MpBP Public

   [FSE 22 Demonstration] MpBP: Verifying Robustness of Neural Networks with Multi-path Bound Propagation

   Python

4. Optimal-GPM Optimal-GPM Public

   [PETS'25] Optimal Piecewise-based Mechanism for Collecting Bounded Numerical Data under Local Differential Privacy

   Python

5. JRR JRR Public

   [PETS'25] Locally Differentially Private Frequency Estimation via Joint Randomized Response

   MATLAB

6. TraCS TraCS Public

   TraCS: Trajectory Collection in Continuous Space under Local Differential Privacy

   Python