Team ATEAMS

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Contracts and Grants with Industry

National Initiatives

  • VEMPS, VeriÞcation and Epistemics of Multi-Party Protocol Security, Funding “Open Competitive” NWO (NWO project funding) Partners are Technische Universiteit Eindhoven, Vrije Universiteit, Uni versiteit Leiden and Universiteit Utrecht.

  • NWO TOP proposal “Domain-Specific Languages: A Big Future for Small Programs”

  • “Next Generation Auditing: Data Assurance as a Service” (Jacquard project)


  • previous
    next

    Logo Inria