Protocol Extendable AnalyzeR

last update: 26/01/05

PEAR is a tool letting you perform static analyses on cryptographic protocols. This is the site homepage, from here you may WebStart PEAR and see it running.

a PEAR screenshot