Charu Arora

Validating Integrity for the Ephemerizer's Protocol with CL-Atse

Charu Arora, Mathieu Turuani, 2009, Formal to Practical Security.

Bifurcation Analysis of a Delayed Modified Holling-Tanner Predator-Prey Model with Refuge

Charu Arora, Vivek Kumar, Vivek Kumar, 2017, ICMC.

Adding Integrity to the Ephemerizer's Protocol

Charu Arora, Mathieu Turuani, 2006 .