Università
Ca' Foscari
Venezia

Luca NEGRINI

Qualifica: Ricercatore

E-mail: luca.negrini@unive.it
956516@stud.unive.it

SSD: Informatica [INFO-01/A]

Sito web: www.unive.it/persone/luca.negrini (scheda personale)

Struttura: Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Sede: Campus scientifico via Torino

Research Institute: Research Institute for Complexity

Pubblicazioni

Anno	Tipologia	Pubblicazione
Anno	Tipologia	Pubblicazione

2024	Articolo su rivista	Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Ferrara, Pietro; Cortesi, Agostino Detection of Phantom Reads in Hyperledger Fabric in IEEE ACCESS, vol. 12 (ISSN 2169-3536) DOI - Scheda ARCA: 10278/5060921
2024	Articolo su rivista	Olivieri, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Negrini, Luca; Tagliaferro, Fabio; Spoto, Fausto; Ferrara, Pietro; Cortesi, Agostino General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study in IEEE ACCESS, vol. 12, pp. 166855-166869 (ISSN 2169-3536) DOI - Scheda ARCA: 10278/5083652
2024	Articolo su rivista	Negrini L.; Arceri V.; Cortesi A.; Ferrara P. Tarsis: An effective automata-based abstract domain for string analysis in JOURNAL OF SOFTWARE, vol. 36 (ISSN 2047-7481) DOI - Scheda ARCA: 10278/5050041
2024	Articolo in Atti di convegno	Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini, Ruffin White Automating ROS2 Security Policies Extraction through Static Analysis , Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), IEEE, Convegno: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Scheda ARCA: 10278/5062421
2024	Articolo in Atti di convegno	Olivieri L.; Pasetto L.; Negrini L.; Ferrara P. European Union Data Act and Blockchain Technology: Challenges and New Directions , CEUR Workshop Proceedings, CEUR-WS, vol. 3791, Convegno: 6th Distributed Ledger Technology Workshop, DLT 2024, 2024 (ISSN 1613-0073) - Scheda ARCA: 10278/5083061
2024	Articolo in Atti di convegno	Negrini, Luca; Arceri, Vincenzo; Olivieri, Luca; Cortesi, Agostino; Ferrara, Pietro Teaching Through Practice: Advanced Static Analysis with LiSA , Formal Methods Teaching, Springer, pp. 43-57, Convegno: 6th Formal Methods Teaching Workshop (FMTea 2024) (ISBN 9783031713781; 9783031713798) (ISSN 0302-9743) DOI - Scheda ARCA: 10278/5072663
2024	Articolo in Atti di convegno	Arceri, Vincenzo; Merenda, Saverio Mattia; Dolcetti, Greta; Negrini, Luca; Olivieri, Luca; Zaffanella, Enea Towards a Sound Construction of EVM Bytecode Control-Flow Graphs , FTfJP 2024: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, Association for Computing Machinery, pp. 11-16, Convegno: Formal Techniques for Java-like Programs (FTfJP 2024) DOI - Scheda ARCA: 10278/5072662
2023	Articolo su libro	Negrini, Luca; Ferrara, Pietro; Arceri, Vincenzo; Cortesi, Agostino LiSA: A Generic Framework for Multilanguage Static Analysis , Challenges of Software Verification, Springer Nature, vol. 238, pp. 19-42 (ISBN 978-981-19-9600-9; 978-981-19-9601-6) (ISSN 1868-4394) DOI - Scheda ARCA: 10278/5031340
2023	Articolo in Atti di convegno	Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto Information Flow Analysis for Detecting Non-Determinism in Blockchain , Proceedings of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, vol. 263, Convegno: European Conference on Object-Oriented Programming (ECOOP) DOI - Scheda ARCA: 10278/5020965
2023	Articolo in Atti di convegno	Olivieri, Luca; Jensen, Thomas; Negrini, Luca; Spoto, Fausto MichelsonLiSA: A Static Analyzer for Tezos , 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops), Institute of Electrical and Electronical Engineers, pp. 80-85, Convegno: BRAIN 2023: 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops) (ISBN 978-1-6654-5381-3) DOI - Scheda ARCA: 10278/5026160
2023	Articolo in Atti di convegno	Negrini, Luca; Shabadi, Guruprerana; Urban, Caterina Static Analysis of Data Transformations in Jupyter Notebooks , SOAP 2023: Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Association for Computing Machinery, pp. 8-13, Convegno: The 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (ISBN 9798400701702) DOI - Scheda ARCA: 10278/5026140
2022	Articolo in Atti di convegno	Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico Ensuring determinism in blockchain software with GoLiSA: an industrial experience report , SOAP 2022: Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Association for Computing Machinery, pp. 23-29, Convegno: SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (ISBN 9781450392747) DOI - Scheda ARCA: 10278/5004420
2021	Articolo in Atti di convegno	Ferrara, Pietro; Negrini, Luca; Arceri, Vincenzo; Cortesi, Agostino Static analysis for dummies: experiencing LiSA , SOAP 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Association for Computing Machinery, pp. 1-6, Convegno: 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (ISBN 9781450384681) DOI - Scheda ARCA: 10278/3741476
2021	Articolo in Atti di convegno	Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino Twinning Automata and Regular Expressions for String Static Analysis , Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Springer, vol. 12597, pp. 267-290, Convegno: 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (ISBN 978-3-030-67066-5; 978-3-030-67067-2) DOI - Scheda ARCA: 10278/3736434
2020	Articolo in Atti di convegno	Ferrara P.; Negrini L. SARL: OO Framework Specification for Static Analysis , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, vol. 12549, pp. 3-20, Convegno: 12th International Conference on Verified Software, VSTTE 2020, and 13th International Workshop on Numerical Software Verification, NSV 2020, 2020 (ISBN 978-3-030-63617-3; 978-3-030-63618-0) (ISSN 0302-9743) DOI - Scheda ARCA: 10278/3738620

Pubblicazioni scelte

Cookie Informazioni sui cookie Lista cookies

Questo sito web utilizza i cookie

Questo sito utilizza cookie. I cookie necessari (di prima parte) permettono il corretto funzionamento del sito e di effettuare analisi statistiche anonime. Cliccando sulla X in alto a destra verranno installati solo i cookie necessari. Se acconsenti, verranno installati anche altri cookie che abilitano le funzionalità dei social media e forniscono statistiche sul loro utilizzo. In questo caso, i dati raccolti saranno condivisi anche con i nostri partner, che potrebbero associarli ad altre informazioni per finalità di analisi, di pubblicità, ecc. Cliccando “Lista cookie” potrai vedere quali cookie verranno installati. Per ottenere maggiori informazioni consulta “Informazioni sui cookies”.

Necessari

Google - Youtube

Cookies Policy

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

L’Università Ca’ Foscari Venezia, nell’ambito delle proprie finalità istituzionali e in adempimento agli obblighi previsti dall’art. 13 del Regolamento UE 2016/679 (“Regolamento”), Le fornisce informazioni in merito al trattamento dei dati personali raccolti, durante la navigazione del sito web (“www.unive.it - Sito”), dai cookie e/o dagli altri strumenti di tracciamento presenti sullo stesso. Per “cookie” si intende la stringa di testo, di piccole dimensioni, che un sito invia al dispositivo dell'utente (dove viene memorizzata automaticamente) e poi rinviata al sito o a terze parti ogni qualvolta si acceda nuovamente al sito stesso attraverso il medesimo dispositivo.

In questa informativa, per semplificare, utilizzeremo il termine “cookie” per fare riferimento sia ai cookie, come definiti sopra, sia agli eventuali altri strumenti di tracciamento presenti sul Sito.

1. Titolare del trattamento

Il Titolare del trattamento è l’Università Ca’ Foscari Venezia, con sede in Dorsoduro n. 3246, 30123 Venezia (VE), nella persona della Magnifica Rettrice pro tempore.

2. Responsabile della Protezione dei Dati

L’Università ha nominato il “Responsabile della Protezione dei Dati” (“DPO”), che può essere contattato scrivendo all’indirizzo di posta elettronica dpo@unive.it o al seguente indirizzo: Università Ca’ Foscari Venezia, Responsabile della Protezione dei Dati, Dorsoduro n. 3246, 30123 Venezia (VE).

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

Nel Sito sono presenti le seguenti tipologie di cookie (per informazioni dettagliate su ogni singolo cookie si faccia riferimento alla lista cookie presente in calce all’informativa):

cookie tecnici o di sessione: cookie necessari per gestire il login e l’accesso all’area riservata del Sito nonché per registrare le preferenze relative all’installazione dei cookie stessi.
I dati raccolti associati a questi cookie sono: indirizzo IP dell’utente, data e ora della visita, modalità di invio dei dati, risorsa richiesta, responso alla richiesta, dimensione in byte della risposta, link di provenienza dell’utente alla risorsa richiesta, sistema operativo utilizzato, tipo di browser, tipo di dispositivo da cui si naviga (PC, smartphone, ecc.). La base giuridica per il trattamento dei predetti dati personali è rappresentata dagli artt. 6.1.b) del Regolamento (“servizio prestato su richiesta dell’interessato”) e art. 6.1.e) del Regolamento (“esecuzione di un compito di interesse pubblico”). in quanto l’Ateneo, essendo una Pubblica Amministrazione, deve per legge dotarsi di un sito istituzionale dal quale gli utenti possono trarre informazioni relative ai servizi resi (artt. 53 e 54 Codice Amministrazione Digitale – D.lgs. n. 82/2005). Non è possibile disattivare tali cookies attraverso il banner di Ateneo, in quanto la loro disattivazione pregiudica la navigazione del Sito.
cookie analitici (di prima parte): cookie utili alla misurazione delle visite alle varie pagine del Sito nonché al miglioramento delle prestazioni e dell’usabilità del Sito stesso attraverso l’elaborazione di dati aggregati per la creazione di statistiche. I cookie analitici in uso sono rilasciati dall'Ateneo. I dati raccolti sono: Ip utente, pagina visitata, lingua del browser, tempo medio della visita, azioni sulla pagina (download, outlinks), prima visita, ultima visita, dispositivo utilizzato. La base giuridica per il trattamento dei predetti dati personali è rappresentata dall’art. 6.1.e) del Regolamento (“esecuzione di un compito di interesse pubblico”) al fine di reperire statistiche utili sulle visite alle pagine del Sito, come ad esempio, nel caso delle sottosezioni della sezione Amministrazione Trasparente. Non è possibile disattivare tali cookies attraverso il banner di Ateneo, in quanto la loro disattivazione pregiudica la navigazione del Sito.
cookie di terze parti (social network): sono cookie rilasciati da terze parti, i dati, quindi, vengono raccolti da quest’ultimi e non dal gestore del sito su cui si sta navigando, e sono finalizzati alla raccolta di dati sulla navigazione e sulle preferenze dell’utente. Nel Sito sono presenti i cookie di Google - Youtube (per permettere agli utenti di visualizzare i video caricati su Youtube presenti nel Sito nonché all’Università di valutare l'efficacia delle attività di comunicazione istituzionale), il cui funzionamento è gestito da Google. L’Università ha visibilità solo, in forma anonima e aggregata, di dati statistici messi a disposizione dai fornitori delle predette piattaforme, in qualità di Contitolare del trattamento con questi ultimi, in conformità a quanto previsto dalla sentenza C-210/16 del 5 giugno 2018 della Corte di Giustizia dell’Unione Europea. La base giuridica per tale trattamento è rappresentata dall’art. 6.1.a) del Regolamento (“consenso dell’interessato”). Infatti, durante la prima visita al sito, viene richiesto agli utenti attraverso apposito banner il consenso all’installazione di tali cookie. Il mancato consenso o la revoca successiva dello stesso, attraverso l’impostazione “disabilita cookie” non pregiudica la navigazione sul Sito stesso.

Si ricorda, inoltre, che è sempre possibile procedere alla disabilitazione dei cookie attraverso le impostazioni del proprio browser come descritte nei link riportati di seguito ma che disabilitando completamente i cookies nel browser, si potrebbero perdere alcune funzionalità del Sito (per esempio, l’utilizzo dei servizi accessibili solo a seguito del login):

Infine, è possibile prendere visione dei cookies di profilazione/comportamentale presenti sul proprio browser, visitando l’indirizzo http://www.youronlinechoices.com/it/le-tue-scelte/.

4. Modalità di trattamento

Il trattamento dei dati personali verrà effettuato da dipendenti e collaboratori dell’Ateneo che agiscono sulla base di specifiche istruzioni fornite in ordine alle finalità e modalità del trattamento medesimo (nel rispetto di quanto previsto dall’art. 29 del Regolamento e dall’art. 2-quaterdecies del D.lgs. n. 196/2003), con l’utilizzo di procedure informatizzate, adottando misure tecniche e organizzative adeguate a proteggerli da accessi non autorizzati o illeciti, dalla distruzione, dalla perdita di integrità e riservatezza, anche accidentali.

5. Tempo di conservazione

Si prega di prendere visione della lista cookie presente in calce all’informativa per conoscere la specifica durata di ogni singolo cookie.

6. Destinatari e categorie di destinatari dei dati personali

Per le finalità sopra riportate, oltre ai dipendenti e ai collaboratori dell’Ateneo specificamente autorizzati, potranno trattare i dati personali anche soggetti che svolgono attività in outsourcing per conto dell’Ateneo nella loro qualità di Responsabili del trattamento (quale/i, ad esempio, agenzie di comunicazione, ecc.). La lista aggiornata dei Responsabili del trattamento dell’Università è disponibile alla pagina: https://www.unive.it/pag/34666/

I dati raccolti utilizzando i cookies di terze parti potranno essere oggetto di trasferimento al di fuori dello Spazio Economico Europeo (SEE), nel rispetto di quanto prescritto dal Regolamento.

7. Diritti dell’interessato e modalità di esercizio

In qualità di interessato, ha diritto di ottenere dall’Ateneo, nei casi previsti dal Regolamento, l’accesso ai dati personali, la rettifica, l’integrazione, la cancellazione degli stessi o la limitazione del trattamento ovvero di opporsi al trattamento medesimo (artt. 15 e ss. del Regolamento). La richiesta potrà essere presentata, senza alcuna formalità, contattando direttamente il Responsabile della Protezione dei Dati all’indirizzo dpo@unive.it ovvero inviando una comunicazione al seguente recapito: Università Ca’ Foscari Venezia, Responsabile della Protezione dei Dati, Dorsoduro n. 3246, 30123 Venezia. In alternativa, è possibile contattare il Titolare del trattamento, inviando una PEC a protocollo@pec.unive.it.

Gli interessati che ritengono che il trattamento dei dati personali a loro riferiti avvenga in violazione di quanto previsto dal Regolamento hanno, inoltre, il diritto di proporre reclamo all’Autorità Garante per la protezione dei dati personali, come previsto dall’art. 77 del Regolamento stesso, o di adire le opportune sedi giudiziarie (art. 79 del Regolamento).

Appendice Social Media:

A integrazione dell’informativa resa ai sensi dell’art. 13 del Regolamento Ue 2016/679 (pubblicata al seguente link www.unive.it/pag/17993), l’Università informa gli utenti che accedono alle pagine istituzionali dell’Ateneo nei social media (es. Facebook, Instagram) che l’Università tratta, in forma anonima e aggregata, i dati statistici messi a disposizione dai fornitori delle predette piattaforme, in qualità di Contitolari del trattamento con questi ultimi, in conformità a quanto previsto dalla sentenza C-210/16 del 5 giugno 2018 della Corte di Giustizia dell’Unione Europea.

Inoltre, l’Università tratta i dati personali conferiti dall'utenza attraverso le pagine delle proprie piattaforme di social media, nell’ambito delle sue finalità istituzionali, esclusivamente per gestire le interazioni con l'utenza (commenti, post pubblici, etc.).

Data ultimo aggiornamento dell'informativa: 19/07/2022

Lista cookies rilasciati

Data ultimo aggiornamento della lista cookie: 22/12/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