Advertisement
Sender Verification for ThunderBird
Sender Verification for ThunderBird - ThunderBird add-on that protects you from phishing attacks....
verify protect phish phishing protection sender verification
Isabelle
Isabelle - Generic proof assistant that allows mathematical formulas to be expressed in a formal language...
assistant proof assistant proof formalize mathematical proof formal verification