Matteo ZANIOLI
- Qualifica
- Docente a contratto
-
matteo.zanioli@unive.it
- Sito web
-
www.unive.it/persone/matteo.zanioli (scheda personale)
- Struttura
-
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Pubblicazioni
| Anno | Tipologia | Pubblicazione |
|---|---|---|
| Anno | Tipologia | Pubblicazione |
|
|
||
| 2018 | Articolo su rivista |
Agostino Cortesi, Pietro Ferrara , Raju Halder , Matteo Zanioli Combining symbolic and numerical domains for information leakage analysis in TRANSACTIONS ON COMPUTATIONAL SCIENCE, vol. 31, pp. 98-135 (ISSN 1866-4733) DOI - Scheda ARCA: 10278/3702275 |
| 2015 | Performance |
Freda, Annarita; Zanioli, Matteo Cloud e-commerce: the gap between technologies and laws - URL correlato - Scheda ARCA: 10278/3660215 |
| 2014 | Articolo in Atti di convegno |
HALDER R.; ZANIOLI M.; CORTESI A. Information Leakage Analysis of Database Query Languages , Proceedings of the 29th ACM Symposium on Applied Computing, ACM Press, pp. 813-820, Convegno: ACM SAC 2014 - 29th Symposium On Applied Computing, March 24 - 28, 2014 (ISBN 9781450324694) DOI - Scheda ARCA: 10278/40732 |
| 2012 | Articolo in Atti di convegno |
ZANIOLI M.; FERRARA P.; CORTESI A. SAILS: Static Analysis of Information Leakage with Sample , Proceedings of the 27th ACM Symposium on Applied Computing, ACM Press, pp. 1308-1313, Convegno: ACM SAC 2012, March 26-30 (ISBN 9781450308571) DOI - Scheda ARCA: 10278/27119 |
| 2011 | Articolo su rivista |
CORTESI A.; ZANIOLI M. Widening and Narrowing Operators for Abstract Interpretation in COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, vol. 37(1), pp. 24-42 (ISSN 1477-8424) DOI - Scheda ARCA: 10278/29334 |
| 2011 | Articolo in Atti di convegno |
ZANIOLI M.; CORTESI A. Information Leakage Analysis by Abstract Interpretation in Ivana Cerná et al., SOFSEM 2011: Theory and Practice of Computer Science, Heidelberg, Springer Verlag, vol. 6543, pp. 545-557, Convegno: 7th Conference on Current Trends in Theory and Practice of Computer Science, January 22-28, 2011 (ISBN 9783642183805) (ISSN 0302-9743) DOI - Scheda ARCA: 10278/29367 |