The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pasquale Malacaria: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.018secs, Finished in 0.019secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002