Rohit Chadha -

Registered user since Sun 23 Aug 2020

Name:Rohit Chadha

Affiliation:University of Missouri

Contributions

TyDe 2020	Author of Strongly Bounded Termination with Applications to Security and Hardware Synthesis within the TyDe 2020-track
POPL 2021	Author of Deciding Accuracy of Differential Privacy Schemes within the POPL-track