Zero-knowledge cryptographic technology allows someone to prove something is true without revealing the underlying information.

Model checking is a fundamental technique for verifying finite state concurrent systems. Traditionally, model designs were initially created to facilitate the application of model checking. This ...

Document verification is a complex domain that involves processes to authenticate original documents. Some original documents like birth certificate, university diploma, contract, certificate of ...

🧩 Description Build a reusable identity system with support for: authId (safe external identifier) internalAuthId (private DB reference) OTP verification middleware (isOtpVerified) verifyToken ...

In this project we use Lambda Authorizer for API Gateway that authenticates the user using Yubikey OTP. The version tagged v1 does it by connecting to YubiCloud.