Linkedin

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...

Æon compiler

A code compiler and synthesizer in the homonymous language, implemented in Python. The Æon language supports refined and dependent types with and without decidability restrictions. Team: Alcides Fonseca; Paulo Santos; Sara Silva; Andreia Mordido; Vasco T....