logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
I

Isabella Mastroeni

university of verona

17H-index
104Paper Count
710Citation Count
Published Papers 5
Publication Date
logo
Challenges in Quantum Programs Analysis
errInternational Journal on Software Tools for Technology Transfer
IF1.4
err2026-03-01
err1
PREAI
errAssolini, Nicola; Di Pierro, Alessandra; Mastroeni, Isabella
errShare
errSave
Abstract Interpretation-based Verification for Confidentiality: Information Hiding and Code Protection by Abstract Interpretation
errACM Transactions on Privacy and Security
IF2.8
err2026-02-01
err0
PREAI
errMastroeni, Isabella; Pasqua, Michele
errShare
errSave
Relating Distances and Abstractions An Abstract Interpretation Perspective
errSTATIC ANALYSIS, SAS 2025
IF0
err2026-01-01
err1
PREAI
errCampion, Marco; Mastroeni, Isabella; Urban, Caterina
errShare
errSave
Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval
errACM TRANSACTIONS ON PRIVACY AND SECURITY
IF2.8
err2021-01-21
err9
PREAI
errArceri, Vincenzo; Mastroeni, Isabella
errShare
errSave
Abstract Non-Interference: A Unifying Framework for Weakening Information-flow
errACM TRANSACTIONS ON PRIVACY AND SECURITY
IF2.8
err2018-02-05
err18
PREAI
errGiacobazzi, Roberto; Mastroeni, Isabella
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
R
Roberto Giacobazzi
H-index: 29 · Papers: 175
M
Michele Pasqua
H-index: 11 · Papers: 44
C
Caterina Urban
H-index: 11 · Papers: 66
V
Vincenzo Arceri
H-index: 8 · Papers: 43
M
Marco Campion
H-index: 4 · Papers: 11
View more