Validating Integrity for the Ephemerizer's Protocol with CL-Atse. - Charu Arora; Mathieu Turuani (Formal to Practical Security, 2009)

Bifurcation Analysis of a Delayed Modified Holling-Tanner Predator-Prey Model with Refuge. - Charu Arora; Vivek Kumar (ICMC, 2017)