Software

ECT: The Extensible Coordination Tools consist of a set of plug-ins for the Eclipse platform to facilitate development of concurrency protocols and distributed applications based on the coordination language Reo.

PLCrypto is the first ST-based cryptographic library that is executable on commercial off-the-shelf PLCs, which are used in critical infrastructures. It was made by members of CWI's Computer Security research group, together with partners in Singapore and China.