Submitted a full version of a paper introducing a Bounded memory Dolev-Yao intruder. Comments are welcome.
Vivek started following the work of Ariadna Blanca Romero, Ludwig-Maximilians-Universität München, Earth and Environmental Sciences.
Vivek started following the work of Juan Antonio Cordero Fuertes, Ecole polytechnique, Laboratoire d'Informatique.
Vivek started following the work of Nimisha Nigam, Tata Institute of Social Sciences, Center for HRM &LR.
Vivek Submitted a paper on Maintaining Distributed Recursive View Incrementally. Feedback on this work is greatly appreciated (for a draft contact me directly).
Post-Doc, Mathematics
