Publications

Madalina Georgeta Ciobanu Publications


2020
Contributo in Atti di convegno
Accidental Sensitive Data Leaks Prevention via Formal Verification.
In: International Conference on Information Systems Security and Privacy AV D MANUELL, 27A 2 ESQ, SETUBAL, 2910-595, PORTUGAL Science and Technology Publications, Lda Pag.825-834
6th International Conference on Information Systems Security and Privacy , ICISSP 2020
cze 2020
Ciobanu, M. G.; Fasano, F.; Martinelli, F.; Mercaldo, F.; Santone, A.
Digital Object Identifier (DOI): 10.5220/0009380608250834
Codice identificativo ISI: WOS:000570766300089
Codice identificativo SCOPUS: 2-s2.0-85176315929
Show it in Product Database (IRIS)