Preston! thank you for this project.
Could you please contact me at luigi.assom at gmail please?
I would like to propose you a collaboration (you'd be hired) - i cannot find your email...
where are you located?
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).