Partecipazione a comitati editoriali di riviste/collane scientifiche: IFIP Wireless Days 2012 (PC member), November 21-23, 2012, Dublin, (Ireland).

IFIP Wireless Days 2011 (PC member), October 10-12, 2011, Niagara Falls, Ontario (Canada).

ICUMT 2011 (PC member), 3rd IEEE International Congress on Ultra Modern Telecommunications and Control Systems (ICUMT 2011), October 5-7, 2011, Budapest (Hungary).

CILC 2011 (PC member) 26-esimo Convegno Italiano di Logica Computazionale, 31 Agosto - 2 Settembre 2011, Pescara (Italy).

ICUMT 2010 (PC member), 2nd IEEE International Congress on Ultra Modern Telecommunications and Control Systems (ICUMT 2010), October 18-20, 2010, Moscow (Russia).

IFIP Wireless Days 2010 (PC member and Local Arrangement Chair), October 20-22, 2010, Venice (Italy).

TCS 2010 (PC member) 6th IFIP International Conference on Theoretical Computer Science (TCS 2010), September 20-23, 2010, Brisbane (Australia).

CILC 2010 (PC member) 25-esimo Convegno Italiano di Logica Computazionale, July 7-9, 2010, Rende, Università della Calabria (Italy).

Principali aree e linee di ricerca del Dipartimento: Area: Informatica Linea: ARTIFICIAL INTELLIGENCE
Area: Informatica Linea: DISTRIBUTED SYSTEMS
Area: Informatica Linea: INFORMATION SYSTEMS
Area: Informatica Linea: PROGRAMMING LANGUAGES
Area: Informatica

Competenze di ricerca

Modelli formali per analisi qualitative e quantitative di sistemi software

Parole chiave:: Software technology, Network tecnology, Security technology

Codice ATECO:: [62.0] - produzione di software, consulenza informatica e attività connesse

Ricerche sviluppate e in corso

Analisi delle prestazioni

SSD:: INF/01

Analisi e verifica di sistemi distribuiti

SSD:: INF/01

Analysis of Backhaul networks based on Quantum Key Distribution

SSD:: ING-INF/05

Altri membri del gruppo di ricerca:: Peppino FAZIO
Leonardo MACCARI
Andrea MARIN
Diletta OLLIARO

Blockchain Programming Languages

SSD:: INF/01

Altri membri del gruppo di ricerca:: Lorenzo BENETOLLO
Alvise SPANO'

Blockchain Programming Languages

SSD:: INF/01

Altri membri del gruppo di ricerca:: Lorenzo BENETOLLO
Michele BUGLIESI
Alvise SPANO'

Modeling, simulation and analysis of complex systems in astrophysics

SSD:: INF/01

Altri membri del gruppo di ricerca:: Leone BACCIU
Matteo GRAZIOSO
Marco Salvatore NOBILE

Semantica dei linguaggi di programmazione

SSD:: INF/01

Strumenti di Intelligenza Artificiale per l'analisi di Linguaggi di Programmazione

SSD:: INFO-01/A

Altri membri del gruppo di ricerca:: Michele BUGLIESI
Dalila RESSI
Alvise SPANO'
Rocco TRIPODI

Verifica di proprietà di sicurezza

SSD:: INF/01

Finanziamenti

ADAPT: Accessible Data for Accessible Proto-types in Social Sector

Ente finanziatore:: MIUR

Tipologia:: Bando Smart Cities

Ruolo nel progetto:: NS

Data inizio:: Anno: 2013 Durata mesi: 48

Altri membri del gruppo di ricerca:: Andrea ALBARELLI
Michele BUGLIESI
Riccardo FOCARDI
Flaminia LUCCIO
Andrea MARIN
Salvatore ORLANDO
Alessandra RAFFAETA'
Claudio SILVESTRI
Andrea TORSELLO

CINA: Composizionalità, Interazione, Negoziazione, Autonomicità per la società ICT futura

Ente finanziatore:: MIUR

Tipologia:: PRIN

Ruolo nel progetto:: PT

Data inizio:: Anno: 2012 Durata mesi: 24

Altri membri del gruppo di ricerca:: Maria Simonetta BALSAMO
Michele BUGLIESI
Andrea MARIN

FINANZIAMENTO PER BORSE DI DOTTORATO - Studio ed implementazione di modelli formali per l'analisi di reti ad-hoc e reti di sensori

Ente finanziatore:: MIUR

Tipologia:: Altri programmi ministeriali

Ruolo nel progetto:: LD

Data inizio:: Anno: 2008 Durata mesi: 26

Stochastic Differential Equations on GPU for Optimization (SDEGnO)

Ente finanziatore:: Bando a Cascata del Centro Nazionale ICSC – “National Centre for HPC, Big Data and Quantum Computing” – codice CN00000013, Spoke 3 – “Astrophysics and Cosmos Observation” a valere sui fondi PNRR assegnati al Programma HPC finanziato sui fondi PNRR MUR

Tipologia:: Altri programmi ministeriali

Ruolo nel progetto:: LD

Sito di progetto:: https://www.msnobile.eu/index.php/sdegno-stochastic-differential-equations-on-gpus-for-optimization/

Data inizio:: Anno: 2024 Durata mesi: 12

Altri membri del gruppo di ricerca:: Marco Salvatore NOBILE

Pubblicazioni in evidenza

Spanò, Alvise; Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Ressi, Dalila; Rossi, Sabina AlgoMove: Typed Abstractions for Algorand Smart Contracts in BLOCKCHAIN: RESEARCH AND APPLICATIONS, vol. 100485 (ISSN 2096-7209)
DOI 2026, Articolo su rivista - Scheda ARCA: 10278/5117627

Della Torre, Stefano; Bacciu, Leone; Grazioso, Matteo; Cavallotto, Giovanni; Gervasi, Massimo; La Vacca, Giuseppe; Rossi, Sabina; Nobile, Marco S. Validation of COSMICA code for massive stochastic simulation of cosmic rays propagation in the heliosphere in ASTRONOMY AND COMPUTING, vol. 55 (ISSN 2213-1337)
DOI 2026, Articolo su rivista - Scheda ARCA: 10278/5112968

Rizzo, Matteo; Spanò, Alvise; Benetollo, Lorenzo; Ressi, Dalila; Gasparetto, Andrea; Rossi, Sabina Advanced Large Language Models Prompting Strategies for Reentrancy Classification and Explanation in Smart Contracts in Matteo Rizzo; Alvise Spanò; Lorenzo Benetollo; Dalila Ressi; Andrea Gasparetto; Sabina Rossi, Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, Springer Science and Business Media Deutschland GmbH, vol. 669, pp. 37-56, Convegno: 4th EAI International Conference on Blockchain Technology and Emerging Applications, BlockTEA 2025, 2025 (ISBN 9783032123343; 9783032123350) (ISSN 1867-8211)
DOI 2026, Articolo in Atti di convegno - Scheda ARCA: 10278/5113990

Bacciu, Leone; Grazioso, Matteo; Cavallotto, Giovanni; Della Torre, Stefano; Gervasi, Massimo; La Vacca, Giuseppe; Rossi, Sabina; Nobile, Marco S. Massive stochastic simulation of cosmic rays propagation in the heliosphere: The COSMICA code in ASTRONOMY AND COMPUTING, vol. 55 (ISSN 2213-1337)
DOI 2025, Articolo su rivista - Scheda ARCA: 10278/5107828

Bartoletti, Massimo; Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Sasso, Giacomo Dal; Pettinau, Roberto; Pinna, Andrea; Piras, Mattia; Rossi, Sabina; Salis, Stefano; Spanò, Alvise; Tkachenko, Viacheslav; Tonelli, Roberto; Zunino, Roberto Smart contract languages: A comparative analysis in FUTURE GENERATION COMPUTER SYSTEMS, vol. 1 (ISSN 0167-739X)
DOI - URL correlato 2025, Articolo su rivista - Scheda ARCA: 10278/5081863

Tutte le pubblicazioni

Pubblicazioni scelte

Curriculum vitae

cafoscariNEWS

05/04/2022

Private blockchains to be even safer thanks to NiRvAna project

29/03/2022

Tipologia	Nome	Fornitore (Dominio)	Descrizione	Durata	Informativa
Necessario	_pk_id[*]	unive/WAI	*	30 giorni	Informativa
Necessario	_pk_ses[*]	unive/WAI	*	1 giorno	Informativa
Necessario	_pk_ref[*]	unive/WAI	*	6 mesi	Informativa
Necessario	_gsas	unive/google	Memorizza le preferenze dell'utente	3 mesi	Informativa
Necessario	_opensaml_req_cookie%	unive	Gestione autenticazione e SingleSignOn (shibboleth)	sessione	Informativa
Necessario	_shibsession[], _shibsstate[]	Unive.it (www.unive.it)	Mantiene i dati di sessione del SingleSignOn	Sessione	Informativa
Necessario	PHPSESSID	Unive.it (www.unive.it)	Identificatore univoco dell'utente per gli applicativi del sito	Sessione	Informativa
Necessario	cookie[*]	Unive.it (www.unive.it)	Memorizza le preferenze dell'utente sui cookie	1 mese	Informativa
Necessario	cookie	idp.unive.it	Memorizza le preferenze dell'utente sui cookie	1 mese	Informativa
Necessario	fe_typo_user	Unive.it (www.unive.it)	Identificatore univoco dell'utente per l'area riservata del sito	sessione	Informativa
Necessario	JSESSIONID	Unive.it (www.unive.it)	Utilizzato per creare le sessioni in area riservata	sessione	Informativa
Necessario	ADMCMD_prev	Unive.it (www.unive.it)	Utilizzato per la gestione degli accessi al cms typo3	sessione	Informativa
Necessario	unive.it	Unive.it (www.unive.it)	servono a registrare le preferenze sui cookies	6 mesi	Informativa
Necessario	noiframe	Unive.it (www.unive.it)	servono a registrare le preferenze sui cookies	6 mesi	Informativa
Google - Youtube	__Secure-1PAPISID	Google (google.com)	Utilizzato per finalità di targeting per costruire un profilo degli interessi dei visitatori del sito web al fine di mostrare pubblicità Google pertinente e personalizzata.	1 mese	Informativa
Google - Youtube	CONSENT	Google (google.com)	Utilizzato da google per memorizzare le preferenze dell'utente	17 anni	Informativa
Facebook - Pixel	Socialpix	Unive.it (www.unive.it)	Servono a registrare le preferenze sui cookiesc	6 mesi	Informativa Università Ca' Foscari
Facebook - Pixel	_fbp	Unive.it (www.unive.it)	Traccia gli utenti per il retargeting pubblicitario su Facebook	3 mesi	Informativa facebook

Sabina ROSSI

Ricevimento

Didattica anno corrente

Didattica anni precedenti

Attività e competenze di ricerca

Pubblicazioni in evidenza

Tutte le pubblicazioni

Curriculum vitae

cafoscariNEWS

Private blockchains to be even safer thanks to NiRvAna project

Blockchain private più sicure grazie al progetto NiRvAna

Cookie Policy - Informativa sul trattamento dei dati personali ai sensi dell’art 13 del Regolamento (UE) 2016/679

1. Titolare del trattamento

2. Responsabile della Protezione dei Dati

3. Categorie di cookie utilizzati, dati raccolti, finalità e basi giuridiche

4. Modalità di trattamento

5. Tempo di conservazione

6. Destinatari e categorie di destinatari dei dati personali

7. Diritti dell’interessato e modalità di esercizio

Appendice Social Media: