Tag: Model checking

Tag Visualization: Top 50 related tags by occurrence

Recent Related Articles to Model checking

Ethereum Drives On The CasperLabs Highway

Added to Collection on: 2019-11-03 04:37:30

Tags for this article:

Fault-tolerant computer systems
Concurrent computing
Liveness
Model checking
Consensus
Proof-of-stake
Computing
Technology
Computer architecture

Click the tags to see associated articles and topics

View Article Details
Credas Selects ID R&D to Simplify Identity Verification

Added to Collection on: 2020-11-30 12:28:54

Tags for this article:

Identity management systems
Data security
Surveillance
Computer security
Model checking
Biometrics
Identification
Computing
Identity verification service
Liveness

Click the tags to see associated articles and topics

View Article Details
Digital Identity - Prove you are not a fake?

Added to Collection on: 2020-12-16 15:16:52

Tags for this article:

Cryptography
Model checking
Computer security
Civil law common law)
Concurrent computing
Liveness
Authentication
Biometrics
Spoofing attack
Biometric device

Click the tags to see associated articles and topics

View Article Details
ID R&D passive liveness solution tackles biometric bias with new release

Added to Collection on: 2021-01-19 20:03:13

Tags for this article:

Surveillance
Model checking
Identification
Liveness
Biometrics
Access control
Authentication
Cryptography
AU10TIX
Biometric device

Click the tags to see associated articles and topics

View Article Details
iProov Secures Spot on FT 1000 List of Europe's Fastest-Growing Companies - FindBiometrics

Added to Collection on: 2022-03-03 17:15:34

Tags for this article:

Concurrent computing
Liveness
Model checking
Biometrics
Security

Click the tags to see associated articles and topics

View Article Details
TECH5 Brings Strong Liveness Tech to French Digital Trust Platform - Mobile ID World

Added to Collection on: 2024-01-15 22:55:04

Tags for this article:

Cryptography
Concurrent computing
Model checking
Safety and liveness properties
Theoretical computer science
Computer security
Verification
Namirial SAS

Click the tags to see associated articles and topics

View Article Details