| [CHM05b] |
David Clark, Sebastian Hunt, and Pasquale Malacaria.
Quantitative information flow, relations and polymorphic types.
Journal of Logic and Computation, Special Issue on
Lambda-calculus, type theory and natural language, 18(2):181-199, 2005. [ bib | pdf | Abstract ] |
| [CHM05a] |
David Clark, Sebastian Hunt, and Pasquale Malacaria.
Quantified interference for a while language.
Electronic Notes in Theoretical Computer Science, 112:149-166,
January 2005.
Proceedings of the Second Workshop on Quantitative Aspects of
Programming Languages (QAPL 2004). [ bib | http | .pdf | Abstract ] |
| [CHM04a] |
David Clark, Sebastian Hunt, and Pasquale Malacaria.
Non-interference for weak observers.
Presented at First International Workshop on Programming Language
Interference and Dependence (PLID'04), satellite workshop of SAS'04, August
2004. [ bib | .html | .pdf ] |
| [CHM04b] |
David Clark, Sebastian Hunt, and Pasquale Malacaria.
Quantified interference: Information theory and information flow.
Presented at Workshop on Issues in the Theory of Security (WITS'04),
April 2004. [ bib | .pdf ] |
| [CHM03a] |
David Clark, Sebastian Hunt, and Pasquale Malacaria.
Quantified interference for a While language.
Technical Report TR-03-07, Department of Computer Science, King's
College London, October 2003. [ bib | .ps ] |
| [CHM03b] |
David Clark, Sebastian Hunt, and Pasquale Malacaria.
Quantitative analysis of leakage of confidential information.
Presented at Dagstuhl Seminar 03411: Language Based Security, October
2003. [ bib | http | .pdf | Abstract ] |
| [CHM02] |
David Clark, Sebastian Hunt, and Pasquale Malacaria.
Quantitative analysis of the leakage of confidential data.
Electronic Notes in Theoretical Computer Science, 59(3):1-14,
November 2002.
QAPL'01, Quantitative Aspects of Programming Laguages (Satellite
Event for PLI 2001). [ bib | http | Abstract ] |