Implementing Packet Sequence Validation using Pushdown AutomataIn the previous blog post I discussed how a formal grammar can be transformed into a pushdown automaton in order to check if a sequence of packets or tokens is part of the language described by the grammar. In this post I will discuss how I implemented said automaton in Java in order to validate OpenPGP messages in PGPainless.
https://blog.jabberhead.tk/2022/10/26/implementing-packet-sequence-validation-using-pushdown-automata/#
automaton #
java #
openpgp #
pgpainless #
pushdown
On a more serious note, a long time ago, I used to teach finite automata, so it's always fun to see people using it in real life.