pfg666
My interest is to develop techniques and software that solve real-world problems, particularly in the area of testing and security.
Pinned Repositories
dtls-fuzzer
Protocol state machine learner and fuzzer for DTLS servers and clients
pion-dtls-examples
Client/server (and others) programs used for state fuzzing.
scandium-dtls-examples
Client/server examples for Scandium.
ssh-fuzzer
State fuzzer for SSH
assist-project.github.io
Home page of the aSSIsT project
dot-trimmer
A java tool for trimming/improving the looks of .dot models using Graphviz and automatalib libraries.
dotToNuSMVConverter
A tool for converting Mealy machine .dot models to NuSMV models which can be checked against specifications.
jsse-dtls-server
A rough DTLS echo server used for testing the JSSE implementation of DTLS.
tcp-learner
A protocol state fuzzer for TCP stacks.
pfg666's Repositories
pfg666/dotToNuSMVConverter
A tool for converting Mealy machine .dot models to NuSMV models which can be checked against specifications.
pfg666/jsse-dtls-server
A rough DTLS echo server used for testing the JSSE implementation of DTLS.
pfg666/tcp-learner
A protocol state fuzzer for TCP stacks.
pfg666/assist-project.github.io
Home page of the aSSIsT project
pfg666/automaton-app
A very old interactive application which I sometimes use to analyze .dot Mealy machines
pfg666/basic-learning
pfg666/dot-parser
Parses from .dot FSM models corresponding automatalib instances.
pfg666/dot-trimmer
A java tool for trimming/improving the looks of .dot models using Graphviz and automatalib libraries.
pfg666/dtls-programs
pfg666/homeworld
home
pfg666/pion-dtls-server
Go DTLS server harness
pfg666/ralib-examples
Toy examples using RALib
pfg666/reproduction
Bug reproduction archives for when they get too big
pfg666/scandium-dtls-server
A DTLS server application based on Scandium/Californium which is adapted from the example on Scandium's website but has a few more knobs.
pfg666/scripts
A selection of scripts I have come to rely on over the years.
pfg666/sendmtp
sendmtp is a tool used to distribute documents to multiple addresses. The documents are located in one directory and the addresses are obtained from the naming convention used in the documents.
pfg666/w1-your-first-program
A MakeCode project