Arnav Jindal

AJ

Statistics

Publications

1

Citations

10

H-Index

1

Active since

2016

Arnav Jindal is an author at Indian Institute of Technology Jodhpur specializing in formal methods, formal verification, and data security.

Publications per year

2016–2016

1

Publications

1