[PPL-devel] [GIT] ppl/ppl(master): Several corrections.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: fdae6f8ee33043bd31efd02fc5246777043a36cc
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fdae6f8ee33043bd31efd02fc5246777043a36cc

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Mon Dec 30 09:35:32 2013 +0100

Several corrections.

---

 doc/ppl_citations.bib |   17 ++++++++---------
 1 files changed, 8 insertions(+), 9 deletions(-)

diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib
index 8d0974e..8ede7c8 100644
--- a/doc/ppl_citations.bib
+++ b/doc/ppl_citations.bib
@@ -3733,15 +3733,15 @@ Summarizing:
               to no loss in precision."
 }
 
- at Inproceedings{MardzielMMS11,
-  Title = "Dynamic Enforcement of Knowledge-based Security Policies",
+ at Inproceedings{MardzielMHS11,
   Author = "P. Mardziel and S. Magill and M. Hicks and M. Srivatsa",
+  Title = "Dynamic Enforcement of Knowledge-based Security Policies",
   Year = 2011,
   Booktitle = "Proceedings of the 24th IEEE Computer Security
-               Foundations Symposium ({CSF})",
+               Foundations Symposium (CSF 2011)",
   Publisher = "IEEE Xplore Digital Library",
-  Address = "New Orleans, Louisiana, USA",
-  Editor = "M. Backes and S.Zdancewic",
+  Address = "Cernay-la-Ville, France",
+  Editor = "M. Backes and S. Zdancewic",
   Pages = "114--128",
   ISBN = "978-0-7695-4365-9",
   Abstract = "This paper explores the idea of knowledge-based security
@@ -4407,11 +4407,10 @@ Summarizing:
 }
 @Inproceedings{RastogiMMH13,
   Author = "A. Rastogi and P. Mardziel and M. Hammer and M. Hicks",
-  Title = "Knowledge Inference for Optimizing Secure Multi-party Computation",
+  Title = "Knowledge Inference for Optimizing Secure Multi-Party Computation",
   Year = 2013,
-  Booktitle = "{PLAS} '13:
-               Proceedings of the Eighth ACM SIGPLAN Workshop on
-               Programming Languages and Analysis for Security",
+  Booktitle = "Proceedings of the 2013 ACM SIGPLAN Workshop on
+               Programming Languages and Analysis for Security (PLAS'13)",
   Editor = "P. Naldurg",
   ISBN = "978-1-4503-2144-0",
   Address = "Seattle, Washington, USA",