Section: Application Domains

Static Analysis

Analyzing cryptographic protocols per se is fine, but a more realistic approach consists in analyzing actual code implementing specific roles of cryptographic protocols, such as ssh or slogin , which implement the SSL/TLS protocols [101] are are used on every personal computer running Unix today. SECSI pioneered the domain [89] . We collaborate with EADS Innovation Works on analyzing multi-threaded programs.