Azure Quantum Development Kit, including the Q# programming language, resource estimator, and Quantum Katas

10 Weeks, 20 Lessons, Data Science for All!

12 Weeks, 24 Lessons, AI for All!

12 weeks, 26 lessons, 52 quizzes, classic Machine Learning for all

Automated security verification of IoT protocols using Tamarin Prover

Formal Reasoning About Programs

Web application for course on Formal Reasoning About Programs

Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023

Cryptography Toolkit

A list of resources on how/why to do a PhD

Digital Communication with Python

Simple matlab2python converter

UT Tamarin: A Tool for Efficient Development of Tamarin Models

A Tamarin model and analysis of EMV

An Encrypted PEP for Modern Satcoms Security

Exploration of NIST post-quantum signatures on-ramp candidates

Active Sensing for Communications by Learning

Komondor Wireless Networks Simulator

An open source threat modeling tool from OWASP

A transparent, highly scalable and cryptographically verifiable data store.

RedEye is a visual analytic tool supporting Red & Blue Team operations

Cybersecurity Evaluation Tool

Production-ready fullstack but simple mail server (SMTP, IMAP, LDAP, Antispam, Antivirus, etc.) running inside a container.

Provision, configure and control Bluetooth mesh devices with nRF Mesh library.

Personal website, forked from mmistakes/minimal-mistakes