Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Pasquale Malacaria
Map detail
Pasquale Malacaria5 visible / 5 total nodes / 4 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipPasquale MalacariaAPasquale MalacariaResearcherAlgebraic Foundations for Information Theoretical, Probabilistic and Guessability measures of Information FlowWAlgebraic Foundations f...preprint / 2011Optimal security hardening over a probabilistic attack graph: a case study of an industrial control system using the CySecTool toolWOptimal security harden...preprint / 2022Quantifying Information Leak VulnerabilitiesWQuantifying Information...preprint / 2010Full Abstraction for PCFWFull Abstraction for PCFpreprint / 2014
Person4 links

Pasquale Malacaria

Researcher