-
Using Pushdown Automata to verify Packet Sequences
As a software developer, most of my work day is spent working practically by coding and hacking away. Recently though I stumbled across an interesting problem which required another, more theoretical approach…
-
Why Signature Verification in OpenPGP is hard
Signature Verification in OpenPGP is hard. Here is why.