IIT Home Page CNR Home Page

Formal Methods

Attività

Metodi formali per la sicurezza di sistemi ICT

Questa attività di ricerca riguarda lo studio, il progetto e lo sviluppo di modelli, metodologie e strumenti software per l’analisi, la validazione, la verifica e la simulazione di aspetti di

Persone

Fabio Martinelli

Foto di Fabio Martinelli

Ilaria Matteucci

Foto di Ilaria Matteucci

Marinella Petrocchi

Foto di Marinella Petrocchi

Collaborazioni

IMT Institute for Advanced Studies Lucca

Marinella Petrocchi collaborates with the SYSMA group @ IMT Lucca on formal specification and analysis of Social Networks, focusing on trust and reputation issues + confinement of web informat

Progetti

MIUR-PRIN TENACE: Protecting National Critical Infrastructures from Cyber Threats (PRIN-20103P34XC)

The TENACE project will investigate the protection of national critical infrastructures from cyber threats following a collaborative approach whenever appropriate.

Pubblicazioni e prodotti editoriali prima del 01/01/2016

A tool for the synthesis of cryptographic orchestrators

Pubblicazioni e prodotti editoriali dal 01/01/2016

Formal Methods Meet Mobile Code Obfuscation

Identifying Mobile Repackaged Applications through Formal Methods

On the Abstraction of a Categorical Clustering Algorithm

Privacy-aware Data Sharing in a Tree-based Categorical Clustering Algorithm

Twinkle Twinkle Little DroidDream, How I Wonder What You Are?