Network Security assignments
-
Updated
Oct 26, 2021 - Python
#
needham-schroeder
Here are 9 public repositories matching this topic...
Project for the Formal Methods In Software Development course at the University of "La Sapienza" in Master in Computer Science A.A. 2021/2022
-
Updated
Jun 20, 2022 - MATLAB
Secure IRC Chat is a platform designed to facilitate secure communication between users
-
Updated
Aug 31, 2024 - C
Modeling and Model Checking of the Needham-Schroeder Symmetric-Key (NSSK) Protocol using PRISM
cryptography prism model-checking formal-methods formal-verification needham-schroeder probabilistic-model-checking prismmodelchecker
-
Updated
Jul 16, 2023
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
A re-formatted version of the writeup on computer security protocols I submitted for my higher project qualification (HPQ), for which I received the highest grade.
-
Updated
May 15, 2021 - TeX
Computer Security exercises containing password cracking, user authentication, HMAC, Needham Schroeder Protocol and Linux file and folder permissions
-
Updated
Apr 3, 2022 - Python
Needham Schroeder protocol implementation for the Networks Security midterm project
distributed-systems python3 aes-encryption kdc authen networksecurity needham-schroeder two-way-authentication
-
Updated
Apr 21, 2025 - Python
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 needham-schroeder topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the needham-schroeder topic, visit your repo's landing page and select "manage topics."