1
Publications
10
Citations
1
H-Index
2008
Active since
Affiliations
Hebrew University of Jerusalem(Current)
Michael Ben Or is an author at Hebrew University of Jerusalem specializing in automated reasoning, formal verification, and quantum cryptography.
Top concepts
EngineeringFormal MethodsQuantum ScienceComputer ScienceQuantum SecurityQuantum ComputingQuantum NetworkingAutomated ReasoningFormal VerificationQuantum Cryptography
Publications per year
2008–2008
1
1
Rows per page
1–1 of 1