% This file contains bibtex entry of (some of) R. Focardi publications. Some of them are cut-and-pasted 
% by web sistes such as DBLP

%%%%%%%%%%%%%%%%%%%
% Journals
% 

@article{BoFo_MFSCS10,
  author = {Bugliesi, Michele and Focardi, Riccardo},
  title = {Channel abstractions for network security},
  journal = {Mathematical Structures in Computer Science},
  note = {Cambridge University Press},
  volume = {20},
  pages = {3-44},
  year = {2010}
}
%  number = {Special issue 01},

@article{BCF_IeC08,
  author    = {Chiara Braghin and
               Agostino Cortesi and
               Riccardo Focardi},
  title     = {Information flow security in Boundary Ambients},
  journal   = {Information and Computation},
  volume    = {206},
  number    = {2-4},
  year      = {2008},
  pages     = {460-489}
}
%  ee        = {http://dx.doi.org/10.1016/j.ic.2007.12.001}


@article{BFM_JCS07,
  author    = {Michele Bugliesi and
               Riccardo Focardi and
               Matteo Maffei},
  note = {IOS Press},
  title     = {Dynamic types for authentication},
  journal   = {Journal of Computer Security},
  volume    = {15},
  number    = {6},
  year      = {2007},
  pages     = {563-617}
}
%  ee        = {http://iospress.metapress.com/content/870x423j7164l10g/},

@article{FLZ_SCP06,
  author    = {Riccardo Focardi and
               Roberto Lucchi and
               Gianluigi Zavattaro},
  title     = {Secure shared data-space coordination languages: A process
               algebraic survey},
  journal   = {Science of Computer Programming},
  volume    = {63},
  number    = {1},
  year      = {2006},
  pages     = {3-15},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
%  ee        = {http://dx.doi.org/10.1016/j.scico.2005.07.011},

@article{FR_JCS06,
	author = {Riccardo Focardi and Sabina Rossi},
	title = {Information Flow Security in Dynamic Contexts},
	journal = {Journal of Computer Security}, 
	note = {IOS Press},
	volume = {14}, 
	number = {1}, 
	year = {2006}
}

@article{BDFP_FGCS05,
  author    = {Chiara Bodei and
               Pierpaolo Degano and
               Riccardo Focardi and
               Corrado Priami},
  title     = {Authentication primitives for secure protocol specifications},
  journal   = {Future Generation Comp. Syst.},
  volume    = {21},
  number    = {4},
  year      = {2005},
  pages     = {645-653},
  ee        = {http://dx.doi.org/10.1016/j.future.2004.05.004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

%%%%%%%%%%%%%%%%%
% Tutorial papers / book chapters
%

@inproceedings{Fo04,
  author    = {Riccardo Focardi},
  title     = {Static Analysis of Authentication},
  booktitle = {FOSAD},
  year      = {2004},
  pages     = {109-132},
  publisher = {LNCS Vol. 3655, Springer},
  ee        = {http://dx.doi.org/10.1007/11554578_4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

%%%%%%%%%%%%%%%%
% Conference papers
%

@inproceedings{
  author = {Riccardo Focardi and Flaminia Luccio},
  title = {{Secure recharge of disposable RFID tickets}},
  booktitle = {8th International Workshop on Formal Aspects of Security & Trust (FAST2011)},
  publisher = "Springer, LNCS 7140",
  month = "September",
  year = {2011},
  note = "To appear"
}

@inproceedings{FL_fun10,
  author = {Riccardo Focardi and Flaminia Luccio},
  title = {{Cracking bank PINs  by playing Mastermind}},
  booktitle = {Fifth International Conference on Fun With Algorithms (FUN'10)},
  publisher = "Springer, LNCS 6099",
  month = "June",
  year = {2010}
}

@inproceedings{FL_arspa-wits10,
  author = {Riccardo Focardi and Flaminia Luccio},
  title = {Secure upgrade of hardware security modules in bank networks},
  booktitle = {Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS'10)},
  publisher = "Springer, LNCS 6186",
  month = "March",
  year = {2010}
}

@inproceedings{FF_arspa-wits10,
  author = {Andrea Falcone and Riccardo Focardi},
  title = {Formal Analysis of Key Integrity in {PKCS\#11}},
  booktitle = {Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS'10)},
  publisher = "Springer, LNCS 6186",
  month = "March",
  year = {2010}
}

@inproceedings{CF_arspa-wits10,
  author = {Matteo Centenaro and Riccardo Focardi},
  title = {Match It or Die: Proving Integrity by Equality},
  booktitle = {Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS'10)},
  publisher = "Springer, LNCS 6186",
  month = "March",
  year = {2010}
}

@inproceedings{CFLS_Esorics09,
  author    = {Matteo Centenaro and
               Riccardo Focardi and
               Flaminia L. Luccio and
               Graham Steel},
  title = {Type-Based Analysis of {PIN} Processing {APIs}},
  booktitle = {14th European Symposium on Research in
Computer Security, (ESORICS'09)},
  year      = {2009},
  pages     = {53-68},
  publisher = "Springer, LNCS 5789"
}

@inproceedings{FLS_Nordsec09,
  author    = {Riccardo Focardi and
               Flaminia L. Luccio and
               Graham Steel},
  title = {Blunting Differential Attacks on {PIN} Processing {APIs}},
  booktitle = {14th Nordic Conference on Secure IT Systems, (NordSec'09)},
  year      = {2009},
  pages     = {88-103},
  publisher  = {Springer, LNCS 5838}
}
%  ee        = {http://dx.doi.org/10.1007/978-3-642-04766-4_7},

@inproceedings{BMFS_ASA09,
  author    = {Matteo Bortolozzo and 
               Giovanni Marchetto and 
               Riccardo Focardi and 
               Graham Steel},
  title     = {Secure your {PKCS\#11} token against {API} attacks!},
  booktitle = {3rd International Workshop on Analysis of Security APIs (ASA-3)},
  month     = {July},
  year      = {2009}
}

@inproceedings{BF_Express08,
  author    = {Michele Bugliesi and
               Riccardo Focardi},
  title     = {Security Abstractions and Intruder Models (Extended Abstract)},
  booktitle = {15th International Workshop on Expressiveness in Concurrency (EXPRESS'08)},
  publisher = {ENTCS 242(1)},
  year      = {2009},
  pages     = {99-112},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2009.06.015},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{BF_CSF08,
  author    = {Michele Bugliesi and
               Riccardo Focardi},
  title     = {Language Based Secure Communication},
  booktitle = {CSF},
  year      = {2008},
  pages     = {3-16},
  pubilsher = {IEEE press},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/CSF.2008.17},
  crossref  = {DBLP:conf/csfw/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{FC_Plas08,
  author    = {Riccardo Focardi and
               Matteo Centenaro},
  title     = {Information flow security of multi-threaded distributed
               programs},
  booktitle = {PLAS},
  year      = {2008},
  pages     = {113-124},
  publisher = {ACM},
  ee        = {http://doi.acm.org/10.1145/1375696.1375711},
  crossref  = {DBLP:conf/pldi/2008plas},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{BCFM_FMSE07,
  author    = {Michael Backes and
               Agostino Cortesi and
               Riccardo Focardi and
               Matteo Maffei},
  title     = {A calculus of challenges and responses},
  booktitle = {FMSE},
  year      = {2007},
  pages     = {51-60},
  publisher = {ACM},
  ee        = {http://doi.acm.org/10.1145/1314436.1314444},
  crossref  = {DBLP:conf/ccs/2007fmse},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{BFM_CSFW05,
  author    = {Michele Bugliesi and
               Riccardo Focardi and
               Matteo Maffei},
  title     = {Analysis of Typed Analyses of Authentication Protocols},
  booktitle = {CSFW},
  year      = {2005},
  pages     = {112-125},
  publisher = {IEEE Press},
  ee        = {http://dx.doi.org/10.1109/CSFW.2005.8},
  crossref  = {DBLP:conf/csfw/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{FRS_Fossacs05,
  author    = {Riccardo Focardi and
               Sabina Rossi and
               Andrei Sabelfeld},
  title     = {Bridging Language-Based and Process Calculi Security},
  booktitle = {FoSSaCS},
  year      = {2005},
  pages     = {299-315},
  publisher = {Springer LNCS 3441},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3441{\&}spage=299},
  crossref  = {DBLP:conf/fossacs/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{FMP_WITS05,
  author    = {Riccardo Focardi and
               Matteo Maffei and
               Francesco Placella},
  title     = {Inferring authentication tags},
  booktitle = {WITS},
  year      = {2005},
  pages     = {41-49},
  ee        = {http://doi.acm.org/10.1145/1045405.1045410},
  crossref  = {DBLP:conf/popl/2005wits},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}