The AVISPA Project AVISPA aims at developing a push-button, industrial-strength technology for the analysis of large-scale Internet security-sensitive protocols and applications. This technology will speed up the development of the next generation of network protocols, improve their security, and therefore increase the public acceptance of advanced, distributed IT applications based on them. We at AVISPA will achieve this by advancing specification and deduction technology to the point where industry protocols can be specified and automatically analyzed. A central aim of the project is then to integrate this technology into a robust automated tool, tuned on practical, large-scale problems, and migrated to standardization bodies, whose protocol designers are in dire need of such tools. Avispa-project.org~Site InfoWhoisTrace RouteRBL Check
SAT Live! satlive sat live satisfiability boolean mathematics verification workshop using methods computer science proof engines introduction probleme progres test models handbook engineering defis generation pattern null papers general daniel june french berre applications conference pdmc ann arbor usa problem technology practical Satlive.org~Site InfoWhoisTrace RouteRBL Check
