Chiké Abuah, Ph.D.


abuahchu@gmail.com
google scholar
github
linkedin


Interests

My interests include data privacy, cybersecurity, and automated reasoning.


News

  • My revised privacy thesis slides are available here in PDF and PPTX
  • Solo paper accepted for publication at OOPSLA '22!
  • Invited to the Program Committee (PC) for FCS '22: Workshop on Foundations of Computer Security!
  • Invited to the Program Committee (PC) for TPDP '22: Theory and Practice of Differential Privacy!
  • Invited to the OOPSLA’22 Extended Review and Artifact Evaluation Committee (ERC+AEC)!

Publications

  • DDUO: General-Purpose Dynamic Analysis for Differential Privacy.
    Chiké T. Abuah, Alex Silence, David Darais, Joseph P. Near.
    In Computer Security Foundations (CSF), 2021. (pdf)

  • Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy.
    Joseph P. Near, David Darais, Chiké T. Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song.
    In Object-oriented Programming, Systems, Languages, and Applications (OOPSLA). 2019. (pdf)
    **ACM SIGPLAN Distinguished Paper Award**
    Download implementation here

  • Solo: A Lightweight Static Analysis for Differential Privacy.
    Chiké T. Abuah, David Darais, Joseph P. Near.
    OOPSLA '22. (pdf)

  • Contextual Linear Types for Differential Privacy.
    Matias Toro, David Darais, Chiké T. Abuah, Joseph P. Near, Federico Olmedo, Eric Tanter.
    Under journal review. (pdf)


Books


Other Writing


Talks

DDUO @ CSF 2021





SOLO @ FCS 2021


Teaching


Contributions/Acknowledgements/Older Projects

  • Served on the Program Committee for FCS 2021

  • Acknowledged for contributing to the book: Programming Language Foundations in Agda.


Bio

Chiké Abuah is a computer scientist, specializing in data privacy, cybersecurity, and automated reasoning. He received his PhD in computer science at the University of Vermont in 2021. Currently he researches and implements programming languages and analysis tools which help programmers build reliable software. Chiké received his BA from Grinnell College, and MS from the University of Massachusetts.

I am grateful for my mentors and advisers Joe Near and David Darais








Chiké Abuah