Seguir
Chiké Abuah
Chiké Abuah
Otros nombresChukwunweike Abuah, Chike Abuah, C Abuah
Amazon Web Services (AWS)
Dirección de correo verificada de amazon.com - Página principal
Título
Citado por
Citado por
Año
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
422019
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
282019
Programming Differential Privacy
JP Near, C Abuah
https://programming-dp.com/, 2021
16*2021
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
72021
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
52023
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
3*2018
Guidelines for Evaluating Differential Privacy Guarantees
J Near, D Darais, N Lefkovitz, G Howarth
National Institute of Standards and Technology, 2023
22023
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
2*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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–10