A user-first approach to threat modeling.
☆23May 1, 2025Updated 11 months ago
Alternatives and similar repositories for ictm
Users that are interested in ictm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This library is archived; see crypto-primities for the latest version of this code☆21Feb 15, 2023Updated 3 years ago
- pretty bad protocol☆64Feb 3, 2021Updated 5 years ago
- Tiny app to forward phone calls, record voicemail, bridge SMS to email☆22Feb 25, 2014Updated 12 years ago
- A collection of best practices UX flows for various circumstances that arise from interacting with PGP☆16Feb 24, 2016Updated 10 years ago
- Create mails showing your configuration drift from an ansible repo☆19Apr 10, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Website for Modern PGP☆14Mar 15, 2018Updated 8 years ago
- Struct and methods for union-find operation.☆22Apr 7, 2026Updated 3 weeks ago
- Store for video frames and metadata. Seekable & scaleable☆11Feb 20, 2026Updated 2 months ago
- MPC implementation for a structured reference string (SRS) generation for SONIC proof system☆23Feb 3, 2019Updated 7 years ago
- Supporting data for BAD TRAFFIC Citizen Lab report.☆23Mar 8, 2018Updated 8 years ago
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 2 years ago
- secure messaging, file-transfer, and directory synchronization☆41Jul 20, 2017Updated 8 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- Python framework for extracting secret data from compression oracles such as those exploited by the BEAST and CRIME attacks.☆12Apr 22, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Tools for analyzing how the Rust ecosystem is using the language☆12Jan 21, 2015Updated 11 years ago
- Backup system built on Borg Backup☆25Apr 2, 2019Updated 7 years ago
- The Authentic Software Guard☆13Dec 20, 2015Updated 10 years ago
- Soft realtime electrophysiology setup☆14Jan 8, 2016Updated 10 years ago
- Traversals in Rust☆21Oct 10, 2016Updated 9 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- A silent threshold encryption scheme, which does not require any interaction during the setup phase☆39Jun 16, 2025Updated 10 months ago
- Timer Wheels With Various Runtimes In Rust☆15Nov 29, 2017Updated 8 years ago
- A simple test of fuzzing Java with AFL and GCJ☆16Jan 31, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Libp2p Kademlia Exporter exposing Prometheus metrics☆21Jan 18, 2024Updated 2 years ago
- Haskell implementation of the InterPlanetary File System☆14Jul 30, 2014Updated 11 years ago
- asynchronous I/O in Rust☆14Jan 8, 2017Updated 9 years ago
- Authenticated encryption scheme prover/synthesizer☆16Aug 25, 2022Updated 3 years ago
- TLS labs☆30Apr 24, 2020Updated 6 years ago
- Logging scopes for slog-rs☆14Jan 14, 2026Updated 3 months ago
- The labsystem eLearning system for creating and managing hands-on courses.☆15Nov 4, 2021Updated 4 years ago
- A compiler plugin to enable tests to be defined upon rust's traits.☆10Jan 2, 2020Updated 6 years ago
- A curated list of awesome Rust code and resources.☆10Mar 21, 2015Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Constant Time Operations for Crypto Libraries☆10Jun 22, 2017Updated 8 years ago
- Experimental High Assurance Cryptographic Library☆21Feb 1, 2016Updated 10 years ago
- Simple proxy designed to intercept and modify connections on the transport level. This means you can also modify TLS raw bytes.☆17Dec 13, 2021Updated 4 years ago
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Jul 24, 2018Updated 7 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆18Jun 21, 2015Updated 10 years ago
- Tool to convert literate code between styles or to code.☆11Jun 4, 2019Updated 6 years ago
- misc stuff☆19Jun 1, 2017Updated 8 years ago