Ali Bagherzandi

AB

2

Publications

226

Citations

2

H-Index

2008

Active since

Ali Bagherzandi is an author at University of California, Irvine specializing in formal verification, formal methods, and cryptography.

Publications per year

2008–2011

2

Publications

2