Login / Signup
A Hybrid Key Generation and a Verification Scheme.
Gunes Karabulut Kurt
Yalda Khosroshahi
Enver Ozdemir
Nasim Tavakkoli
Ozan Alp Topal
Published in:
IEEE Trans. Ind. Informatics (2020)
Keyphrases
</>
model checking
real time
formal verification
learning scheme
face verification
social networks
artificial neural networks
multiresolution
formal methods
secret sharing scheme
recognition scheme
high security
functional verification