Python script that collects SSL/TLS information from hosts

TLS Client Handshake Pure Python implementation

A verified(?) TCP client/server chat application

ECE Department of Tehran University - Computer Network Lab. Under the supervision of Dr. Ahmad Khonsari.

Solutions for Network Security Labs offered by SEED Labs

Download market data from Yahoo! Finance's API

Sketching out verifiable credential selective disclosure presentation on Mina with snarky.js

Design and implementation of a threshold-cryptography library

LLMs + Lean, on your laptop or in the cloud

Printable (A4) overview of tactics in Lean 4 for beginners

Matrix by fin (finite set over nat) in Coq.

Sidetree Specification and Reference Implementation

ElGamal encryption and related zero-knowledge proofs

Hyperledger Indy Project Enhancements

Awesome list for cryptographic secure computation paper. This repo includes *Lattice*, *DifferentialPrivacy*, *MPC* and also a comprehensive summary for top conferences.

A unified framework for privacy-preserving data analysis and machine learning

Security proofs written to be machine checkable.

A curated list of awesome security resources for ZK.

Anonymous. Uncensored. Sovereign.

A Course in Cryptanalysis

My work for Rareskills ZK Book.

This repository contains my first battle in the ZK war. My enemy: Groth16.

Fast and formally verified UNSAT certificate checker

ElectionGuard is a set of open source software components that can be used to create and publish end to end verifiable elections as well create a publishable artifact for ballot comparison audits.

Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.

TLS implementation in pure python, focused on interoperability testing

Efficient and Interactive Zero-Knowledge Proofs