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
Computing
Technology
Computer science

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
Mastercard, NEC team up for biometric in-store payments - iTWire

Added to Collection on: 2023-11-15 05:47:10

Tags for this article:

Concurrent computing
Model checking
Safety and liveness properties
Theoretical computer science
FinTech
NEC
Facial recognition system
Enablement
Verification
MasterCard
NEC Corporation

Click the tags to see associated articles and topics

View Article Details
The Benefits of Biometric Liveness in Fraud Detection - Pindrop

Added to Collection on: 2023-11-20 23:00:51

Tags for this article:

Biometrics
Identification
Surveillance
Model checking
Fingerprint
Authentication
Safety and liveness properties
Face ID
Biometric device

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
Book a Demo