Relevance to Beneficiaries

The technologies developed in this project will be of interest to, among others, (1) researchers and practitioners who wish to apply significant PA techniques, especially IFAs and related analyses, to real-world programs for ensuring their safety; (2) researchers and practitioners who wish to develop new techniques of program analyses or integrate known ideas; and (3) language designers who wish to experiment with interaction among diverse program constructs, analyses techniques and their formal properties, and use the results as a guideline for their design. The developed technology may also be supplied for test usage in the EU project SecSafe in which some of the PIs are involved.

More broadly, the typed $\pi$-calculus (including its probabilistic version) and its use as a basic tool for program analysis would be of interest to the process calculus community, the program analysis community and the security community. The connection of the calculus to the foregoing semantic theories, as well as investigation of its mathematical structures, would be of interests to the semantic community in general.