cpsa

Star

Here are 4 public repositories matching this topic...

SayedPenTest / crest-cpsa-study-guide

Star

Open study notes for the CREST CPSA exam, with chapter summaries, mapped skill IDs, and exam‑style MCQs.

crt crest cpsa

Updated Dec 24, 2025

aalok-thakkar / minimal-trust-tool

Star

Computes the weakest trust a security protocol needs for a goal: the minimal ways to stop all of its minimal attacks (OCaml; bounded Dolev-Yao analyser and CPSA oracle)

ocaml formal-verification security-protocols cpsa dolev-yao hitting-sets

Updated Oct 8, 2026
OCaml

ShreyansPatell / CPSA_GNAP_Analysis

Star

Code files for GNAP model for analysis using CPSA.

cybersecurity gnap protocol-analysis cpsa

Updated May 11, 2023
Scheme

roxyrmr / isaqb-foundation-prep

Star

This repository contains mock study materials and practice content for preparing for the Foundation Level (CPSA-F) exam. It is designed as a simple resource to help review core software architecture concepts and support exam preparation.

software-architecture isaqb cpsa cpsa-f

Updated Jul 19, 2026
Python

Add this topic to your repo

To associate your repository with the cpsa topic, visit your repo's landing page and select "manage topics."

Learn more