Pasquale Malacaria

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2013
j12		Pasquale Malacaria, Fabrizio Smeraldi: Thermodynamic aspects of confidentiality. Inf. Comput. 226: 76-93 (2013)
c20		Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski: Quantifying Information Leakage of Randomized Protocols. VMCAI 2013: 68-87
	2012
j11		Quoc-Sang Phan, Pasquale Malacaria, Oksana Tkachuk, Corina S. Pasareanu: Symbolic quantitative information flow. ACM SIGSOFT Software Engineering Notes 37(6): 1-5 (2012)
c19		Pasquale Malacaria, Fabrizio Smeraldi: The Thermodynamics of Confidentiality. CSF 2012: 280-290
i3		Boris Köpf, Pasquale Malacaria, Catuscia Palamidessi: Quantitative Security Analysis (Dagstuhl Seminar 12481). Dagstuhl Reports 2(11): 135-154 (2012)
	2011
i2		Pasquale Malacaria: Algebraic Foundations for Information Theoretical, Probabilistic and Guessability measures of Information Flow. CoRR abs/1101.3453 (2011)
	2010
j10		Pasquale Malacaria: Program Analysis Probably Counts: Discussant Contribution for the Computer Journal Lecture by Chris Hankin. Comput. J. 53(6): 881 (2010)
j9		Pasquale Malacaria: Risk assessment of security threats for looping constructs. Journal of Computer Security 18(2): 191-228 (2010)
c18		Jonathan Heusser, Pasquale Malacaria: Quantifying information leaks in software. ACSAC 2010: 261-269
c17		Pasquale Malacaria: Quantitative Information Flow: From Theory to Practice? CAV 2010: 20-22
c16		Pasquale Malacaria, Jonathan Heusser: Information Theory and Security: Quantitative Information Flow. SFM 2010: 87-134
i1		Jonathan Heusser, Pasquale Malacaria: Quantifying Information Leak Vulnerabilities. CoRR abs/1007.0918 (2010)
	2009
c15		Han Chen, Pasquale Malacaria: Quantifying maximal loss of anonymity in protocols. ASIACCS 2009: 206-217
c14		Pasquale Malacaria, Fabrizio Smeraldi: On Adaboost and Optimal Betting Strategies. DMIN 2009: 326-332
c13		Han Chen, Pasquale Malacaria: The Optimum Leakage Principle for Analyzing Multi-threaded Programs. ICITS 2009: 177-193
c12		Jonathan Heusser, Pasquale Malacaria: Applied Quantitative Information Flow and Statistical Databases. Formal Aspects in Security and Trust 2009: 96-110
c11		Han Chen, Pasquale Malacaria: Studying Maximum Information Leakage Using Karush-Kuhn-Tucker Conditions. SECCO 2009: 1-15
	2008
c10		Pasquale Malacaria, Han Chen: Lagrange multipliers and maximum information leakage in different observational models. PLAS 2008: 135-146
	2007
j8		David Clark, Sebastian Hunt, Pasquale Malacaria: A static analysis for quantifying information flow in a simple imperative language. Journal of Computer Security 15(3): 321-371 (2007)
c9		Han Chen, Pasquale Malacaria: Quantitative analysis of leakage for multi-threaded programs. PLAS 2007: 31-40
c8		Pasquale Malacaria: Assessing security threats of looping constructs. POPL 2007: 225-235
	2005
j7		David Clark, Sebastian Hunt, Pasquale Malacaria: Quantified Interference for a While Language. Electr. Notes Theor. Comput. Sci. 112: 149-166 (2005)
j6		David Clark, Sebastian Hunt, Pasquale Malacaria: Quantitative Information Flow, Relations and Polymorphic Types. J. Log. Comput. 15(2): 181-199 (2005)
	2002
j5		Antonio Bucciarelli, Pasquale Malacaria: Relative definability of boolean functions via hypergraphs. Theor. Comput. Sci. 278(1-2): 91-110 (2002)
	2001
j4		David Clark, Sebastian Hunt, Pasquale Malacaria: Quantitative Analysis of the Leakage of Confidential Data. Electr. Notes Theor. Comput. Sci. 59(3): 238-251 (2001)
	2000
j3		Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria: Full Abstraction for PCF. Inf. Comput. 163(2): 409-470 (2000)
	1999
j2		Chris Hankin, Pasquale Malacaria: Program Analysis Games. ACM Comput. Surv. 31(3es): 5 (1999)
c7		Pasquale Malacaria, Chris Hankin: Non-Deterministic Games and Program Analysis: An Application to Security. LICS 1999: 443-452
	1998
c6		Pasquale Malacaria, Chris Hankin: A New Approach to Control Flow Analysis. CC 1998: 95-108
c5		Pasquale Malacaria, Chris Hankin: Generalised Flowcharts and Games. ICALP 1998: 363-374
	1995
j1		Pasquale Malacaria: Studying Equivalences of Transition Systems with Algebraic Tools. Theor. Comput. Sci. 139(1&2): 187-205 (1995)
	1994
c4		Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan: Full Abstraction for PCF. TACS 1994: 1-15
	1993
c3		Pasquale Malacaria: Equivalences of Transition Systems in an Algebraic Framework. AMAST 1993: 263-270
	1991
c2		Thomas Ehrhard, Pasquale Malacaria: Stone Duality for Stable Functions. Category Theory and Computer Science 1991: 1-15
c1		Pasquale Malacaria, Laurent Regnier: Some Results on the Interpretation of lambda-calculus in Operator Algebras. LICS 1991: 63-72

Coauthor Index

1	Samson Abramsky	[j3] [c4]
2	Fabrizio Biondi	[c20]
3	Antonio Bucciarelli	[j5]
4	Han Chen	[c15] [c13] [c11] [c10] [c9]
5	David Clark	[j8] [j7] [j6] [j4]
6	Thomas Ehrhard	[c2]
7	Chris Hankin	[j2] [c7] [c6] [c5]
8	Jonathan Heusser	[c18] [c16] [i1] [c12]
9	Sebastian Hunt	[j8] [j7] [j6] [j4]
10	Radha Jagadeesan	[j3] [c4]
11	Boris Köpf	[i3]
12	Axel Legay	[c20]
13	Catuscia Palamidessi	[i3]
14	Corina S. Pasareanu	[j11]
15	Quoc-Sang Phan	[j11]
16	Laurent Regnier	[c1]
17	Fabrizio Smeraldi	[j12] [c19] [c14]
18	Oksana Tkachuk	[j11]
19	Andrzej Wasowski	[c20]

Colors in the list of coauthors

Last update Sat May 25 06:29:26 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page