Tool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).
☆25Mar 3, 2026Updated this week
Alternatives and similar repositories for sec-certs
Users that are interested in sec-certs are comparing it to the libraries listed below
Sorting:
- An automated toolkit to analyze and detect changes in secure hardware and cryptographic libraries. SCRUTINY provides high-level framework…☆16Feb 12, 2026Updated 3 weeks ago
- Tool for generation of data from cryptoprimitives (block and stream ciphers, hash functions). Cryptoprimitives are round-reduced and the …☆14Nov 11, 2022Updated 3 years ago
- An embedded-focused banned.h / strsafe variant intended to assist for Secure Software Development Lifecycle for Embedded Developers☆15Jul 30, 2019Updated 6 years ago
- ☆11Dec 13, 2016Updated 9 years ago
- This repository contains the source code of the OWASP TOP 10 NodeJS Panel I have used☆10Nov 20, 2022Updated 3 years ago
- CyberX-AI-Digital-Twin is an AI-powered cybersecurity platform that uses digital twin technology to simulate, detect, and analyze cyber t…☆14Feb 13, 2025Updated last year
- A semi-decentralized web application to buy songs as well as royalties through the blockchain☆14Dec 28, 2019Updated 6 years ago
- Farmers League Gaming and NFT - Contracts and scripts☆11Sep 4, 2022Updated 3 years ago
- Formalizr, Google Chrome extension - "Remembers what you type, in case of a page crash."☆17Jul 4, 2024Updated last year
- ☆10Jan 24, 2024Updated 2 years ago
- Opensource repository for DVID V2☆16Jun 3, 2025Updated 9 months ago
- Files and Links from Go Hack Yourself book and course☆14Feb 11, 2026Updated 3 weeks ago
- A Fractional NFT Lending platform that supports 1-to-many relation between borrower and lenders with collateral protection for borrower o…☆11Feb 28, 2023Updated 3 years ago
- rddapp: Regression Discontinuity Design Application☆11Sep 2, 2025Updated 6 months ago
- Appraisal and analytics website for NFTs on Binance Smart Chain☆11Nov 8, 2021Updated 4 years ago
- A more efficient implementation of Chrono Trigger on PC made with Bevy/Rust to address performance issues and allow mods.☆13Aug 28, 2023Updated 2 years ago
- stateless model checking for thread libraries, kernels, and transactional memory☆10Dec 26, 2018Updated 7 years ago
- Easily stand up a minting page for a Decent Editions or Rentable contract☆11Jan 18, 2024Updated 2 years ago
- ☆11Jul 15, 2021Updated 4 years ago
- Enhance your cheap microphone in realtime under Linux☆10Feb 8, 2022Updated 4 years ago
- This contract allows for players to stake ETH and the pool is randomly shuffled and a winner is picked and immediately a new pool begins☆11Jan 2, 2022Updated 4 years ago
- Country information for a given IP address.☆11Mar 22, 2015Updated 10 years ago
- Programmers Editor that grows with you☆12Jan 16, 2025Updated last year
- ☆12Aug 17, 2020Updated 5 years ago
- Decentralised Coinflip gambling Dapp Built on Ethereum using Chainlink VRF Oracle for random number generation.☆10Feb 13, 2026Updated 3 weeks ago
- A cute POP3 server in PHP. Using libevent for Non blocking, event driven I/O☆16Oct 29, 2014Updated 11 years ago
- Half queue half pubsub. Super small (< 30 loc) and simple queue that supports subscribers.☆22Dec 15, 2012Updated 13 years ago
- Protect your sensitive HTML content with this AES encryption HTML loader. User will need to key in password in order to view the HTML con…☆11May 5, 2015Updated 10 years ago
- Control Consmart/Triones/Flyidea light bulb with ESP32 BLE☆11Jun 6, 2021Updated 4 years ago
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 2022Updated 4 years ago
- NFT Badge for staking on Polygon. This smart contract give a staker a NFT that represents staking period (= vesting period ) which a stak…☆11May 31, 2021Updated 4 years ago
- Urho3D extra minimal examples and demos. Tested in Ubuntu 18.04.☆11Feb 25, 2022Updated 4 years ago
- A GreaseMonkey script to allow you to overwrite and delete your Reddit comments in bulk☆12Dec 13, 2019Updated 6 years ago
- Creds is a library for managing user accounts on Linux, FreeBSD and OpenBSD.☆12Mar 20, 2024Updated last year
- ☆12Feb 17, 2023Updated 3 years ago
- Multi-user Mobile CMS with deals, rewards, business cards, QR codes and more. Demo: https://nearby.nowsquare.com/☆11Mar 2, 2023Updated 3 years ago
- Search YouTube Videos withoung using an API Key☆12Jul 24, 2021Updated 4 years ago
- This repository contains all files and exercises done from chapter 1 to 6, including some exercises for other chapters☆16Jun 10, 2023Updated 2 years ago
- 3 methods of implementing whitelist in smartcontracts: On-chain whitelist, Digital signature, Merkle tree☆12Oct 10, 2022Updated 3 years ago