Cryptography

Differential privacy solution for secure data analysis and sharing

Cryptographic solution for outsourcing computation with verifiable results

Cryptographic technique for verifying claims without revealing sensitive data.

Cryptographic technique for secure dataset intersection without revealing data

Cryptographic protocol for secure multi-party data analysis without revealing inputs

FHE solution enabling computation on encrypted data without decryption

Formal verification of Amazon's s2n TLS library using SAW and Cryptol

Discovers & assesses crypto keys across on-prem & multicloud environments

CompTIA Security+ certification exam prep course with video tutorials

Quantum-safe encryption & key management solutions for data protection

Secure access module card for cryptographic operations and authentication

USB cryptographic token for PKI authentication and digital signatures

ISO 7816-compliant cryptographic smart card for PKI and digital signatures

Browser extension that cryptographically signs emails to prevent BEC attacks

Quantum computing consulting services for government and enterprise clients

Email encryption software using FIPS 140-2 compliant modules and RSA keys

KCMVP-certified crypto module for file/transmission encryption & key mgmt

Data encryption solutions for protecting data at rest and in transit

Platform for chip security testing and binary security analysis

DNS security posture management across multicloud and on-prem environments

Cryptography and IAM consulting services with PKI and certificate mgmt.

Cryptographic asset discovery and inventory tool for IBM Z mainframes

Post-quantum cryptography library with NIST-standardized algorithms

Identifies cryptographic algorithms and libraries in code for compliance