Warning: pg_query(): Query failed: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 in /dati/webiit-old/includes/database.pgsql.inc on line 138 Warning: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 query: SELECT data, created, headers, expire, serialized FROM cache_page WHERE cid = 'https://www-old.iit.cnr.it/it/taxonomy/term/212' in /dati/webiit-old/includes/database.pgsql.inc on line 159 Warning: pg_query(): Query failed: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 in /dati/webiit-old/includes/database.pgsql.inc on line 138 Warning: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 query: SELECT data, created, headers, expire, serialized FROM cache_page WHERE cid = 'https://www-old.iit.cnr.it/it/taxonomy/term/212' in /dati/webiit-old/includes/database.pgsql.inc on line 159 Formal Methods | IIT - CNR - Istituto di Informatica e Telematica
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

Android Collusion: Detecting Malicious Applications Inter-Communication through SharedPreferences

Formal Methods Meet Mobile Code Obfuscation

Identifying Mobile Repackaged Applications through Formal Methods

Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation

On the Abstraction of a Categorical Clustering Algorithm

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

Talos: No more Ransomware Victims with Formal Methods

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