OpenPGP smart card minidriver
☆14Nov 6, 2024Updated 2 years ago
Alternatives and similar repositories for openpgpmdrv
Users that are interested in openpgpmdrv are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A CSP for the OpenPGP card - goal: add write support for certificate enrollment☆44Oct 16, 2026Updated 3 weeks ago
- Notes about OpenPGP card and configuration☆15Nov 10, 2020Updated 6 years ago
- Use your webcam and a credit card to measure the size of an object, in this example, a ring finger.☆13Jul 15, 2013Updated 13 years ago
- ☆14Sep 29, 2026Updated last month
- PIV applet for JavaCard 2.2.2 and 3.0.4+ with full ECDSA/ECDH support☆142Jan 30, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Crypto Samples in .NET☆20Jan 25, 2021Updated 5 years ago
- An open source reference card application for NIST FIPS 201-2 / NIST SP800-73-4, targeting Javacard 3.0.4+☆94Jul 3, 2026Updated 4 months ago
- DEPRECATED SmartCard plugin for Windows☆17May 16, 2024Updated 2 years ago
- PersoSim - the open source eID simulator☆16May 21, 2026Updated 5 months ago
- A secure-oriented Java Card Virtual Machine☆22Apr 9, 2020Updated 6 years ago
- Website to easily update Solo firmware on keys.☆34Oct 8, 2021Updated 5 years ago
- modular ISDN kernel driver☆12Jan 28, 2023Updated 3 years ago
- Hardware design files for the PMOD based MUX☆13Aug 22, 2019Updated 7 years ago
- Cheap and simple I²C to USB interface☆10Sep 17, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Generic User Registration Utility v3☆36Apr 3, 2025Updated last year
- [ICLR2026] SparseEval: Efficient Evaluation of Large Language Models by Sparse Optimization☆14Feb 10, 2026Updated 9 months ago
- GBA/GBC Emulator for Windows 10☆20Aug 29, 2018Updated 8 years ago
- CTF Challenge for CSAW Finals 2021☆13Nov 17, 2021Updated 4 years ago
- Sources of the EuroProofNet web site.☆13Updated this week
- A Quick Launch search provider for searching Stack Overflow in Visual Studio☆20Oct 4, 2021Updated 5 years ago
- Unified Maude model-checking tool☆13Oct 18, 2026Updated 3 weeks ago
- Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"☆13Jan 13, 2026Updated 9 months ago
- CH341A emulation for Bluepill STM32F10x☆13Jul 6, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Common interface to GlobalPlatforms compliant Trusted Execution Environment☆10Jan 21, 2022Updated 4 years ago
- ☆17Feb 16, 2019Updated 7 years ago
- An airgapped encryption/decryption device for off-grid communication☆10Aug 22, 2026Updated 2 months ago
- Golang implementation of parsing and building BER-TLV.☆10Apr 14, 2026Updated 6 months ago
- Remote provisioning and management of the eUICC in IoT Devices as defined in SGP.31 eSIM IoT Architecture and Requirements☆13Mar 18, 2026Updated 7 months ago
- This is a Tamarin model of TLS 1.3☆10Apr 19, 2023Updated 3 years ago
- We introduce a benchmark for testing how well LLMs can find vulnerabilities in cryptographic protocols. By combining LLMs with symbolic r…☆14Jun 30, 2025Updated last year
- GoTEE - example application☆17Nov 3, 2026Updated last week
- Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)☆11May 3, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Active Iridium Antenna☆11Jun 7, 2022Updated 4 years ago
- ☆13Aug 6, 2024Updated 2 years ago
- Awesome list of formal verification tools, verified systems, papers, and learning resources☆16Oct 31, 2026Updated last week
- No one writes dumb malware anymore. This is a repo for dumb malware.☆10Apr 18, 2017Updated 9 years ago
- A tool to infer the security handshake state machine of a given WiFi router. Useful for vulnerability analysis☆16Oct 19, 2022Updated 4 years ago
- ☆13Sep 6, 2023Updated 3 years ago
- Optimization bugs found in popular quantum computing SDKs due to poor numerical handling☆12Oct 12, 2026Updated 3 weeks ago
Are these results useful?