Skip to content
#

lowe-attack

Star

Here are 2 public repositories matching this topic...

systemslibrarian / crypto-lab-protocol-checker

Sponsor
Star 0

Browser-based symbolic protocol analysis demo — Dolev-Yao 1983, Lowe 1995. Model the attacker as someone who owns the network but can't break crypto, then let a real search enumerate the attacks you didn't think of. It finds Lowe's Needham-Schroeder trace on its own. Audit every deduction. No backends. No simulated math.

cryptography cryptanalysis model-checking formal-methods symbolic-analysis protocol-verification crypto-lab needham-schroeder dolev-yao lowe-attack
  • Updated Jul 17, 2026
  • TypeScript

systemslibrarian / crypto-lab-kerberos

Sponsor
Star 0

Browser-based Kerberos v5 authentication demo (RFC 4120) — Needham-Schroeder, Lowe attack, full AS/TGS/AP flow, AES-256-CTS-HMAC-SHA1 tickets, and clock-skew replay defense. Part of crypto-lab.

cryptography active-directory aes-256 kerberos single-sign-on kdc hmac-sha1 mutual-authentication authentication-protocol replay-attack protocol-verification crypto-lab needham-schroeder rfc-4120 lowe-attack ticket-granting-ticket
  • Updated Jul 15, 2026
  • TypeScript

Improve this page

Add a description, image, and links to the lowe-attack topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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

Learn more