×

zbMATH — the first resource for mathematics

Malacaria, Pasquale

Compute Distance To:
Author ID: malacaria.pasquale Recent zbMATH articles by "Malacaria, Pasquale"
Published as: Malacaria, Pasquale
External Links: MGP
Documents Indexed: 20 Publications since 1991, including 1 Book

Publications by Year

Citations contained in zbMATH Open

16 Publications have been cited 193 times in 168 Documents Cited by Year
Full abstraction for PCF. Zbl 1006.68028
Abramsky, Samson; Jagadeesan, Radha; Malacaria, Pasquale
104
2000
Full abstraction for PCF. Zbl 0942.68615
Abramsky, Samson; Malacaria, Pasquale; Jagadeesan, Radha
27
1994
Assessing security threats of looping constructs. Zbl 1295.68089
Malacaria, Pasquale
19
2007
Quantitative information flow, relations and polymorphic types. Zbl 1101.68560
Clark, David; Hunt, Sebastian; Malacaria, Pasquale
12
2005
Information theory and security: Quantitative information flow. Zbl 1189.68059
Malacaria, Pasquale; Heusser, Jonathan
7
2010
Quantified interference for a while language. Zbl 1272.68100
Clark, David; Hunt, Sebastian; Malacaria, Pasquale
5
2005
Payoffs, intensionality and abstraction in games. Zbl 1264.91034
Hankin, Chris; Malacaria, Pasquale
4
2013
Stone duality for stable functions. Zbl 0794.06005
Ehrhard, Thomas; Malacaria, Pasquale
4
1991
Algebraic foundations for quantitative information flow. Zbl 1361.68081
Malacaria, Pasquale
3
2015
Quantifying information leakage of randomized protocols. Zbl 1329.68188
Biondi, Fabrizio; Legay, Axel; Malacaria, Pasquale; Wąsowski, Andrzej
2
2013
Scalable min-max multi-objective cyber-security optimisation over probabilistic attack graphs. Zbl 1430.90510
Khouzani, MHR (Arman); Liu, Zhengliang; Malacaria, Pasquale
1
2019
Quantifying information leakage of randomized protocols. Zbl 1328.68142
Biondi, Fabrizio; Legay, Axel; Malacaria, Pasquale; Wąsowski, Andrzej
1
2015
Thermodynamic aspects of confidentiality. Zbl 1292.94009
Malacaria, Pasquale; Smeraldi, Fabrizio
1
2013
The optimum leakage principle for analyzing multi-threaded programs. Zbl 1286.68311
Chen, Han; Malacaria, Pasquale
1
2010
Relative definability of boolean functions via hypergraphs. Zbl 1002.68106
Bucciarelli, Antonio; Malacaria, Pasquale
1
2002
Studying equivalences of transition systems with algebraic tools. Zbl 0874.68302
Malacaria, Pasquale
1
1995
Scalable min-max multi-objective cyber-security optimisation over probabilistic attack graphs. Zbl 1430.90510
Khouzani, MHR (Arman); Liu, Zhengliang; Malacaria, Pasquale
1
2019
Algebraic foundations for quantitative information flow. Zbl 1361.68081
Malacaria, Pasquale
3
2015
Quantifying information leakage of randomized protocols. Zbl 1328.68142
Biondi, Fabrizio; Legay, Axel; Malacaria, Pasquale; Wąsowski, Andrzej
1
2015
Payoffs, intensionality and abstraction in games. Zbl 1264.91034
Hankin, Chris; Malacaria, Pasquale
4
2013
Quantifying information leakage of randomized protocols. Zbl 1329.68188
Biondi, Fabrizio; Legay, Axel; Malacaria, Pasquale; Wąsowski, Andrzej
2
2013
Thermodynamic aspects of confidentiality. Zbl 1292.94009
Malacaria, Pasquale; Smeraldi, Fabrizio
1
2013
Information theory and security: Quantitative information flow. Zbl 1189.68059
Malacaria, Pasquale; Heusser, Jonathan
7
2010
The optimum leakage principle for analyzing multi-threaded programs. Zbl 1286.68311
Chen, Han; Malacaria, Pasquale
1
2010
Assessing security threats of looping constructs. Zbl 1295.68089
Malacaria, Pasquale
19
2007
Quantitative information flow, relations and polymorphic types. Zbl 1101.68560
Clark, David; Hunt, Sebastian; Malacaria, Pasquale
12
2005
Quantified interference for a while language. Zbl 1272.68100
Clark, David; Hunt, Sebastian; Malacaria, Pasquale
5
2005
Relative definability of boolean functions via hypergraphs. Zbl 1002.68106
Bucciarelli, Antonio; Malacaria, Pasquale
1
2002
Full abstraction for PCF. Zbl 1006.68028
Abramsky, Samson; Jagadeesan, Radha; Malacaria, Pasquale
104
2000
Studying equivalences of transition systems with algebraic tools. Zbl 0874.68302
Malacaria, Pasquale
1
1995
Full abstraction for PCF. Zbl 0942.68615
Abramsky, Samson; Malacaria, Pasquale; Jagadeesan, Radha
27
1994
Stone duality for stable functions. Zbl 0794.06005
Ehrhard, Thomas; Malacaria, Pasquale
4
1991
all top 5

Cited by 182 Authors

11 Abramsky, Samson
8 Ghica, Dan R.
8 Honda, Kohei
8 Laird, James D.
8 Malacaria, Pasquale
8 Murawski, Andrzej S.
8 Yoshida, Nobuko
7 Palamidessi, Catuscia
6 Chatzikokolakis, Konstantinos
6 McCusker, Guy Andrew
6 Tzevelekos, Nikos
5 Jagadeesan, Radha
5 Ong, C.-H. Luke
4 Berger, Martin J.
4 Lenisa, Marina
4 Winskel, Glynn
3 Alvim, Mário S.
3 Biondi, Fabrizio
3 Clairambault, Pierre
3 Curien, Pierre-Louis
3 Laurent, Olivier
3 Legay, Axel
3 Melliès, Paul-André
3 Panangaden, Prakash
3 Paolini, Luca
3 Piccolo, Mauro
3 Sazonov, Vladimir Yu.
2 Aguado, Joaquin
2 Andrés, Miguel E.
2 Chen, Yixiang
2 de Lataillade, Joachim
2 Debbabi, Mourad
2 Di Gianantonio, Pietro
2 Ehrhard, Thomas
2 Goubault-Larrecq, Jean
2 Hasan, Osman
2 Honsell, Furio
2 Ker, Andrew D.
2 Köpf, Boris
2 Longley, John R.
2 Mazza, Damiano
2 McIver, Annabelle K.
2 Mendler, Michael
2 Mhamdi, Tarek
2 Morgan, Carroll C.
2 Nickau, Hanno
2 Normann, Dag
2 Power, John
2 Smith, Geoffrey
2 Streufert, Peter A.
2 Tahar, Sofiène
2 Terauchi, Tachio
2 Vákár, Matthijs
2 Wąsowski, Andrzej
2 Wingfield, Cai
2 Yamada, Norihiro
1 Adi, Kamel
1 Ah-Fat, Patrick
1 Ahner, Darryl K.
1 Alyahya, Khulood
1 Aschieri, Federico
1 Baillot, Patrick
1 Bakewell, Adam
1 Beauxis, Romain
1 Beffara, Emmanuel
1 Berardi, Stefano
1 Blot, Arthur
1 Blute, Richard F.
1 Boreale, Michele
1 Boudes, Pierre
1 Braun, Christelle
1 Braüner, Torben
1 Bucciarelli, Antonio
1 Calderon, Ana C.
1 Cañones, Pablo
1 Castellan, Simon
1 Churchill, Martin
1 Cotton-Barratt, Conrad
1 Dal Lago, Ugo
1 Dang, Zhe
1 Datta, Anupam
1 de Carvalho, Daniel
1 de Falco, Marc
1 Delande, Olivier
1 Delbecque, Yannick
1 de’Liguoro, Ugo
1 Dimovski, Aleksandar S.
1 Eberhart, Clovis
1 Espinoza, Barbara
1 Faggian, Claudia
1 Finkbeiner, Bernd
1 Fiore, Marcelo P.
1 Fuhrmann, Insa
1 Gabbay, Murdoch James
1 Gaboardi, Marco
1 Gay, S. J.
1 Hahn, Christopher
1 Hamadou, Sardaouna
1 Hankin, Chris L.
1 Hasuo, Ichiro
...and 82 more Authors

Citations by Year