Hi there! What is the status of this project? I would like to know if this project here still alive. If yes, I would like to be part of it.
Let me know any other details I need to know/learn to start real fast.
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).