Description: Enables devices to share intelligence and orchestrate security operations in real-time. The platform leverages a real-time data exchange framework to build collective threat intelligence to make endpoint, network, and cloud
Concrete artefacts are produced and used for dissemination. These include scientific publications, a repository of use-cases, tutorials, a non-technical article presenting the main achievements of the project, material for tutorials and recorded tutorials. These artefacts will remain available to the general public beyond the duration of the project and promote a continuative and long-term dissemination.
If you are unable to view these files, please log in or register.
Description: DCR Open Case Manager is a simple web application that can instantiate DCR graphs as a task list, as well as execute Robotic events. The application use a Microsoft IIS
Description: Mungo: Java front-end tool used to statically check the order of method calls. It is implemented using the JastAdd framework. A protocol definition is described as a sequence of method
Description: Protocol conformance and deadlock analysis of actors with first-class mailboxes Developed at: UNITO Contacts: Luca Padovani Available at: http://www.di.unito.it/~padovani/Software/MCC/index.html
Description: Implementation of binary session types for OCaml: session type inference, equi-recursive session types, polymorphic session types, context-free session types, session subtyping. Developed at: UNITO Contacts: Luca Padovani Available at: http://www.di.unito.it/~padovani/Software/FuSe/FuSe.html