Linkedin

FreeST

A concurrent programming language, based on a core functional language with primitives to fork new threads, create channels and exchange messages along these channels. The powerful type system of context-free session types governs the interactions on communication...

OTD (OSINT Threat Detector pilot)

In the scope of the DiSIEM H2020 project, a pilot was built as a service to select cybersecurity threat intelligence from the Twitter stream, targeted to a specified information technology infrastructure. The pilot consists of a processing pipeline considering tweet...