Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy JP Near, D Darais, C Abuah, T Stevens, P Gaddamadugu, L Wang, ... Proceedings of the ACM on Programming Languages 3 (OOPSLA), 172, 2019 | 48 | 2019 |
Myr: A web-based platform for teaching coding using vr C Berns, G Chin, J Savitz, J Kiesling, F Martin Proceedings of the 50th acm technical symposium on computer science …, 2019 | 29 | 2019 |
Programming Differential Privacy JP Near, C Abuah https://programming-dp.com/, 2021 | 28* | 2021 |
Guidelines for Evaluating Differential Privacy Guarantees J Near, D Darais, N Lefkovitz, G Howarth National Institute of Standards and Technology, 2023 | 11 | 2023 |
DDUO: General-Purpose Dynamic Analysis for Differential Privacy C Abuah, A Silence, D Darais, JP Near 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-15, 2021 | 9 | 2021 |
Contextual linear types for differential privacy M Toro, D Darais, C Abuah, JP Near, D Árquez, F Olmedo, É Tanter ACM Transactions on Programming Languages and Systems 45 (2), 1-69, 2023 | 8 | 2023 |
The tablet game: an embedded assessment for measuring students' programming skill in app inventor C Abuah, D Schilder, M Sherman, F Martin Journal of Computing Sciences in Colleges 33 (6), 9-21, 2018 | 4* | 2018 |
Solo: a lightweight static analysis for differential privacy C Abuah, D Darais, JP Near Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 699-728, 2022 | 3* | 2022 |
Automatic Proofs of Differential Privacy C Abuah Cybersecurity Insights, 2021 | | 2021 |
Language-Based Analysis of Differential Privacy CC Abuah University of Vermont, 2021 | | 2021 |