A C++ library for handling Finite-State Machines, their testing and learning.

My Bachelor's thesis in computer science.

Bachelors Thesis project in Comp-sci. WIP

An automated framework for detecting state machine bugs in network protocol implementations.

State fuzzer for SSH

Code from old Setkia website

Useful CMake Examples

AsyncSSH is a Python package which provides an asynchronous client and server implementation of the SSHv2 protocol on top of the Python asyncio framework.

A fork of Paramiko - The Python SSHv2 protocol library

A Java library for CBOR, COSE, CWT and mdoc

A beautiful, simple, clean, and responsive Jekyll theme for academics

⚡ HugoBlox: Markdown sites in minutes. Academic/resume/lab/portfolio for AI researchers & startups. Premium templates. Deploy to GitHub Pages now in 1-click 👇

Curated list of project-based tutorials

Assorted functional-oriented data structures and algorithms for Java.

LaTeX resume format

Generic Protocol State Fuzzer

AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)

🔭 Turning Windows into an environment ready for modern development

An open source, portable, easy to use, readable and flexible TLS library, and reference implementation of the PSA Cryptography API. Releases are on a varying cadence, typically around 3 - 6 months …

jConstraints abstraction layer for Z3

TLS in pure OCaml

An Automata Learning Library Written in Python

Fingerprint TLS implementations

A free, open-source Java library for automata learning algorithms

Eclipse Plugin to paste text as Java string (with escape multi-line) when Ctrl+Shift+V pressed