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

Author: Roberto Bagnara roberto.bagnara@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." }

-@Inproceedings{MardzielMMS11, - Title = "Dynamic Enforcement of Knowledge-based Security Policies", +@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",