Pasquale Malacaria
Queen Mary University of London(GB)
Publications by Year
Research Areas
Security and Verification in Computing, Advanced Malware Detection Techniques, Network Security and Intrusion Detection, Information and Cyber Security, Logic, programming, and type systems
Most-Cited Works
- → Decision support approaches for cyber security investment(2016)235 cited
- → A static analysis for quantifying information flow in a simple imperative language(2007)177 cited
- → Quantitative Analysis of the Leakage of Confidential Data(2002)164 cited
- → Assessing security threats of looping constructs(2007)159 cited
- → Quantifying information leaks in software(2010)117 cited
- → Full Abstraction for PCF (extended abstract)(1994)102 cited
- → Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT(2016)93 cited
- → Quantified Interference for a While Language(2005)90 cited
- → Scalable min-max multi-objective cyber-security optimisation over probabilistic attack graphs(2019)84 cited