Asset Publisher
Doron Drusinsky
Ph.D., Weizmann Institute of Science, Rehovot, Israel, 1988
My research interests are in several areas of computer science. In the past these included automata, run-time verification and execution-based model checking.  In recent years, these have been replaced by the intersection of biometric authentication and cryptography, the intersection of biometric authentication and cryptocurrency, the adaptation of AI to the verification of cyber-physical systems, and business applications of zero-knowledge proofs.

Author Publication List