Calculate evidence in automata with the help of the model checker NuSMV
Python
Collection of tools to build and run a distributed spamtrap system, consisting of IMAP and SMTP collectors and a backend that extracts attachments, potentially analyzes malware and reports results …