Search the dblp DataBase

Publications of Author

1. Pasquale Malacaria
   Equivalences of Transition Systems in an Algebraic Framework. [Citation Graph (0, 0)][DBLP]
   AMAST, 1993, pp:263-270 [Conf]
   
2. Pasquale Malacaria, Chris Hankin
   A New Approach to Control Flow Analysis. [Citation Graph (0, 0)][DBLP]
   CC, 1998, pp:95-108 [Conf]
   
3. Thomas Ehrhard, Pasquale Malacaria
   Stone Duality for Stable Functions. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1991, pp:1-15 [Conf]
   
4. Pasquale Malacaria, Chris Hankin
   Generalised Flowcharts and Games. [Citation Graph (0, 0)][DBLP]
   ICALP, 1998, pp:363-374 [Conf]
   
5. Pasquale Malacaria, Chris Hankin
   Non-Deterministic Games and Program Analysis: An Application to Security. [Citation Graph (0, 0)][DBLP]
   LICS, 1999, pp:443-452 [Conf]
   
6. Pasquale Malacaria, Laurent Regnier
   Some Results on the Interpretation of lambda-calculus in Operator Algebras [Citation Graph (0, 0)][DBLP]
   LICS, 1991, pp:63-72 [Conf]
   
7. Pasquale Malacaria
   Assessing security threats of looping constructs. [Citation Graph (0, 0)][DBLP]
   POPL, 2007, pp:225-235 [Conf]
   
8. Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan
   Full Abstraction for PCF. [Citation Graph (0, 0)][DBLP]
   TACS, 1994, pp:1-15 [Conf]
   
9. Chris Hankin, Pasquale Malacaria
   Program Analysis Games. [Citation Graph (0, 0)][DBLP]
   ACM Comput. Surv., 1999, v:31, n:3es, pp:5- [Journal]
   
10. David Clark, Sebastian Hunt, Pasquale Malacaria
    Quantified Interference for a While Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:149-166 [Journal]
    
11. Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria
    Full Abstraction for PCF. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:163, n:2, pp:409-470 [Journal]
    
12. David Clark, Sebastian Hunt, Pasquale Malacaria
    A static analysis for quantifying information flow in a simple imperative language. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2007, v:15, n:3, pp:321-371 [Journal]
    
13. David Clark, Sebastian Hunt, Pasquale Malacaria
    Quantitative Information Flow, Relations and Polymorphic Types. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2005, v:15, n:2, pp:181-199 [Journal]
    
14. Antonio Bucciarelli, Pasquale Malacaria
    Relative definability of boolean functions via hypergraphs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:278, n:1-2, pp:91-110 [Journal]
    
15. David Clark, Sebastian Hunt, Pasquale Malacaria
    Quantitative Analysis of the Leakage of Confidential Data. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:3, pp:- [Journal]
    
16. Pasquale Malacaria
    Studying Equivalences of Transition Systems with Algebraic Tools. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:139, n:1&2, pp:187-205 [Journal]
    
17. 
    Quantitative Information Flow: From Theory to Practice? [Citation Graph (, )][DBLP]
    
    
18. 
    Quantifying maximal loss of anonymity in protocols. [Citation Graph (, )][DBLP]
    
    
19. 
    On Adaboost and Optimal Betting Strategies. [Citation Graph (, )][DBLP]
    
    
20. 
    Applied Quantitative Information Flow and Statistical Databases. [Citation Graph (, )][DBLP]
    
    
21. 
    Lagrange multipliers and maximum information leakage in different observational models. [Citation Graph (, )][DBLP]
    
    
22. 
    Quantitative analysis of leakage for multi-threaded programs. [Citation Graph (, )][DBLP]
    
    
23. 
    Information Theory and Security: Quantitative Information Flow. [Citation Graph (, )][DBLP]
    
    
24. 
    The Optimum Leakage Principle for Analyzing Multi-threaded Programs. [Citation Graph (, )][DBLP]
    
    
25. 
    Studying Maximum Information Leakage Using Karush-Kuhn-Tucker Conditions [Citation Graph (, )][DBLP]
    
    
26. 
    Quantifying Information Leak Vulnerabilities [Citation Graph (, )][DBLP]