From 8e4265c42f41418ed7fbedb251d6a79defc7863a Mon Sep 17 00:00:00 2001
From: Dmytro Bogatov <dmytro@dbogatov.org>
Date: Fri, 1 Dec 2017 23:48:20 -0500
Subject: [PATCH] Add bibfile linter.
---
.gitlab-ci.yml | 8 ++
bibfile_bibertool.bib | 212 ++++++++++++++++++++++++++++++++++++++++++
2 files changed, 220 insertions(+)
create mode 100644 bibfile_bibertool.bib
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7b0a9cb..f4fde77 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -21,6 +21,14 @@ cspell:
tags:
- docker
+bibfile:
+ image: tianon/latex
+ stage: lint
+ script:
+ - biber --tool -V bibfile.bib
+ tags:
+ - docker
+
artifacts:
image: tianon/latex
stage: build
diff --git a/bibfile_bibertool.bib b/bibfile_bibertool.bib
new file mode 100644
index 0000000..283079c
--- /dev/null
+++ b/bibfile_bibertool.bib
@@ -0,0 +1,212 @@
+@ARTICLE{Goldreich:1996:SPS:233551.233553,
+ ACMID = {233553},
+ AUTHOR = {Goldreich, Oded and Ostrovsky, Rafail},
+ DOI = {10.1145/233551.233553},
+ ISSN = {0004-5411},
+ ISSUE_DATE = {May 1996},
+ JOURNALTITLE = {J. ACM},
+ KEYWORDS = {pseudorandom functions, simulation of random access machines, software protection},
+ LOCATION = {New York, NY, USA},
+ MONTH = {05},
+ NUMBER = {3},
+ NUMPAGES = {43},
+ PAGES = {431--473},
+ PUBLISHER = {ACM},
+ TITLE = {Software Protection and Simulation on Oblivious RAMs},
+ URL = {http://doi.acm.org/10.1145/233551.233553},
+ VOLUME = {43},
+ YEAR = {1996},
+}
+
+@ARTICLE{Chang:2016:ORD:2994509.2994528,
+ ACMID = {2994528},
+ AUTHOR = {Chang, Zhao and Xie, Dong and Li, Feifei},
+ DOI = {10.14778/2994509.2994528},
+ ISSN = {2150-8097},
+ ISSUE_DATE = {August 2016},
+ JOURNALTITLE = {Proc. VLDB Endow.},
+ MONTH = {08},
+ NUMBER = {12},
+ NUMPAGES = {12},
+ PAGES = {1113--1124},
+ PUBLISHER = {VLDB Endowment},
+ TITLE = {Oblivious RAM: A Dissection and Experimental Evaluation},
+ URL = {http://dx.doi.org/10.14778/2994509.2994528},
+ VOLUME = {9},
+ YEAR = {2016},
+}
+
+@ARTICLE{DBLP:journals/corr/abs-1202-5150,
+ AUTHOR = {Emil Stefanov and Elaine Shi},
+ BIBSOURCE = {dblp computer science bibliography, http://dblp.org},
+ BIBURL = {http://dblp.org/rec/bib/journals/corr/abs-1202-5150},
+ EPRINT = {1202.5150},
+ EPRINTTYPE = {arXiv},
+ JOURNALTITLE = {CoRR},
+ PAGES = {1--25},
+ TIMESTAMP = {Wed, 07 Jun 2017 14:40:19 +0200},
+ TITLE = {Path {O-RAM:} An Extremely Simple Oblivious {RAM} Protocol},
+ URL = {http://arxiv.org/abs/1202.5150},
+ VOLUME = {abs/1202.5150},
+ YEAR = {2012},
+}
+
+@THESIS{Maas:EECS-2014-89,
+ ABSTRACT = {Confidentiality of data is a major problem as sensitive computations migrate to the cloud. Employees in a data center have physical access to machines and can carry out attacks that have traditionally only affected client-side crypto-devices such as smartcards. For example, an employee can snoop confidential data as it moves in and out of the processor to learn secret keys or other program information that can be used for targeted attacks. Secure processors have been proposed as a counter-measure to these attacks --- such processors are physically shielded and enforce confidentiality by encrypting all data outside the chip, e.g. in DRAM or non-volatile storage. While first proposals were academic in nature, this model is now starting to appear commercially, such as in the Intel SGX extensions. Although secure processors encrypt all data as it leaves the CPU, the memory addresses that are being accessed in DRAM are still transmitted in plaintext on the address bus. This represents an important source of information leakage that enables serious attacks that can, in the worst case, leak bits of cryptographic keys. To counter such attacks, we introduce PHANTOM, a new secure processor that obfuscates its memory access trace. To an adversary who can observe the processor's output pins, all memory access traces are computationally indistinguishable (a property known as obliviousness). We achieve obliviousness through a cryptographic construct known as Oblivious RAM (ORAM). Existing ORAM algorithms introduce a large (100-200x) overhead in the amount of data moved from memory, which makes ORAM inefficient on real-world workloads. To tackle this problem, we develop a highly parallel ORAM memory controller to reduce ORAM memory access latency and demonstrate the design as part of the PHANTOM secure processor, implemented on a Convey HC-2ex. The HC-2ex is a system that comprises an off-the-shelf x86 CPU paired with 4 high-end FPGAs with a highly parallel memory system. Our novel ORAM controller aggressively exploits the HC-2ex's high DRAM bank parallelism to reduce ORAM access latency and scales well to a large number of memory channels. PHANTOM is efficient in both area and performance: accessing 4KB of data from a 1GB ORAM takes 26.2us (13.5us until the data is available), a 32x slowdown over accessing 4KB from regular memory, while SQLite queries on a population database see 1.2-6x slowdown.},
+ AUTHOR = {Maas, Martin},
+ INSTITUTION = {EECS Department, University of California, Berkeley},
+ MONTH = {05},
+ NUMBER = {UCB/EECS-2014-89},
+ PAGES = {1--87},
+ TITLE = {PHANTOM: Practical Oblivious Computation in a Secure Processor},
+ TYPE = {mathesis},
+ URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-2014-89.html},
+ YEAR = {2014},
+}
+
+@INPROCEEDINGS{Kellaris:2016:GAS:2976749.2978386,
+ ACMID = {2978386},
+ ADDRESS = {New York, NY, USA},
+ AUTHOR = {Kellaris, Georgios and Kollios, George and Nissim, Kobbi and O'Neill, Adam},
+ BOOKTITLE = {Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security},
+ DOI = {10.1145/2976749.2978386},
+ ISBN = {978-1-4503-4139-4},
+ KEYWORDS = {generic attacks, secure outsourced databases},
+ LOCATION = {Vienna, Austria},
+ NUMPAGES = {12},
+ PAGES = {1329--1340},
+ PUBLISHER = {ACM},
+ SERIES = {CCS '16},
+ TITLE = {Generic Attacks on Secure Outsourced Databases},
+ URL = {http://doi.acm.org/10.1145/2976749.2978386},
+ YEAR = {2016},
+}
+
+@INPROCEEDINGS{Naveed:2015:IAP:2810103.2813651,
+ ACMID = {2813651},
+ ADDRESS = {New York, NY, USA},
+ AUTHOR = {Naveed, Muhammad and Kamara, Seny and Wright, Charles V.},
+ BOOKTITLE = {Proceedings of the 22Nd ACM SIGSAC Conference on Computer and Communications Security},
+ DOI = {10.1145/2810103.2813651},
+ ISBN = {978-1-4503-3832-5},
+ KEYWORDS = {deterministic encryption, encrypted databases, inference attacks, order-preserving encryption, property-preserving encryption},
+ LOCATION = {Denver, Colorado, USA},
+ NUMPAGES = {12},
+ PAGES = {644--655},
+ PUBLISHER = {ACM},
+ SERIES = {CCS '15},
+ TITLE = {Inference Attacks on Property-Preserving Encrypted Databases},
+ URL = {http://doi.acm.org/10.1145/2810103.2813651},
+ YEAR = {2015},
+}
+
+@INPROCEEDINGS{Dautrich:2013:CPP:2452376.2452397,
+ ACMID = {2452397},
+ ADDRESS = {New York, NY, USA},
+ AUTHOR = {Dautrich,Jr., Jonathan L. and Ravishankar, Chinya V.},
+ BOOKTITLE = {Proceedings of the 16th International Conference on Extending Database Technology},
+ DOI = {10.1145/2452376.2452397},
+ ISBN = {978-1-4503-1597-5},
+ LOCATION = {Genoa, Italy},
+ NUMPAGES = {12},
+ PAGES = {155--166},
+ PUBLISHER = {ACM},
+ SERIES = {EDBT '13},
+ TITLE = {Compromising Privacy in Precise Query Protocols},
+ URL = {http://doi.acm.org/10.1145/2452376.2452397},
+ YEAR = {2013},
+}
+
+@INBOOK{Shi:2011,
+ ABSTRACT = {Oblivious RAM is a useful primitive that allows a client to hide its data access patterns from an untrusted server in storage outsourcing applications. Until recently, most prior works on Oblivious RAM aim to optimize its amortized cost, while suffering from linear or even higher worst-case cost. Such poor worst-case behavior renders these schemes impractical in realistic settings, since a data access request can occasionally be blocked waiting for an unreasonably large number of operations to complete.},
+ AUTHOR = {Shi, Elaine and Chan, T. -H. Hubert and Stefanov, Emil and Li, Mingfei},
+ BOOKTITLE = {Advances in Cryptology -- ASIACRYPT 2011: 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings},
+ DOI = {10.1007/978-3-642-25385-0_11},
+ ISBN = {978-3-642-25385-0},
+ LOCATION = {Berlin, Heidelberg},
+ PAGES = {197--214},
+ PUBLISHER = {Springer Berlin Heidelberg},
+ TITLE = {Oblivious RAM with ${O}( \log^3 {N} )$ Worst-Case Cost},
+ URL = {https://doi.org/10.1007/978-3-642-25385-0_11},
+ YEAR = {2011},
+}
+
+@ARTICLE{DBLP:journals/corr/abs-1106-3652,
+ AUTHOR = {Emil Stefanov and Elaine Shi and Dawn Song},
+ BIBSOURCE = {dblp computer science bibliography, http://dblp.org},
+ BIBURL = {http://dblp.org/rec/bib/journals/corr/abs-1106-3652},
+ EPRINT = {1106.3652},
+ EPRINTTYPE = {arXiv},
+ JOURNALTITLE = {CoRR},
+ PAGES = {1--40},
+ TIMESTAMP = {Wed, 07 Jun 2017 14:40:50 +0200},
+ TITLE = {Towards Practical Oblivious {RAM}},
+ URL = {http://arxiv.org/abs/1106.3652},
+ VOLUME = {abs/1106.3652},
+ YEAR = {2011},
+}
+
+@INBOOK{Gentry:2013,
+ ABSTRACT = {Oblivious RAM (ORAM) allows a client to access her data on a remote server while hiding the access pattern (which locations she is accessing) from the server. Beyond its immediate utility in allowing private computation over a client's outsourced data, ORAM also allows mutually distrustful parties to run secure-computations over their joint data with sublinear on-line complexity. In this work we revisit the tree-based ORAM of Shi et al. and show how to optimize its performance as a stand-alone scheme, as well as its performance within higher level constructions.},
+ AUTHOR = {Gentry, Craig and Goldman, Kenny A. and Halevi, Shai and Julta, Charanjit and Raykova, Mariana and Wichs, Daniel},
+ BOOKTITLE = {Privacy Enhancing Technologies: 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013. Proceedings},
+ DOI = {10.1007/978-3-642-39077-7_1},
+ ISBN = {978-3-642-39077-7},
+ LOCATION = {Berlin, Heidelberg},
+ PAGES = {1--18},
+ PUBLISHER = {Springer Berlin Heidelberg},
+ TITLE = {Optimizing ORAM and Using It Efficiently for Secure Computation},
+ URL = {https://doi.org/10.1007/978-3-642-39077-7_1},
+ YEAR = {2013},
+}
+
+@ARTICLE{DBLP:journals/corr/abs-1105-4125,
+ AUTHOR = {Michael T. Goodrich and Michael Mitzenmacher and Olga Ohrimenko and Roberto Tamassia},
+ BIBSOURCE = {dblp computer science bibliography, http://dblp.org},
+ BIBURL = {http://dblp.org/rec/bib/journals/corr/abs-1105-4125},
+ EPRINT = {1105.4125},
+ EPRINTTYPE = {arXiv},
+ JOURNALTITLE = {CoRR},
+ TIMESTAMP = {Wed, 07 Jun 2017 14:41:08 +0200},
+ TITLE = {Privacy-Preserving Group Data Access via Stateless Oblivious {RAM} Simulation},
+ URL = {http://arxiv.org/abs/1105.4125},
+ VOLUME = {abs/1105.4125},
+ YEAR = {2011},
+}
+
+@INPROCEEDINGS{Fletcher:2012:SPA:2382536.2382540,
+ ACMID = {2382540},
+ ADDRESS = {New York, NY, USA},
+ AUTHOR = {Fletcher, Christopher W. and Dijk, Marten van and Devadas, Srinivas},
+ BOOKTITLE = {Proceedings of the Seventh ACM Workshop on Scalable Trusted Computing},
+ DOI = {10.1145/2382536.2382540},
+ ISBN = {978-1-4503-1662-0},
+ KEYWORDS = {encrypted computation, secure processors},
+ LOCATION = {Raleigh, North Carolina, USA},
+ NUMPAGES = {6},
+ PAGES = {3--8},
+ PUBLISHER = {ACM},
+ SERIES = {STC '12},
+ TITLE = {A Secure Processor Architecture for Encrypted Computation on Untrusted Programs},
+ URL = {http://doi.acm.org/10.1145/2382536.2382540},
+ YEAR = {2012},
+}
+
+@THESIS{fletcher2013ascend,
+ AUTHOR = {Fletcher, Christopher Wardlaw},
+ TITLE = {Ascend: An architecture for performing secure computation on encrypted data},
+ TYPE = {phdthesis},
+ YEAR = {2013},
+}
+
+@ARTICLE{ren2013design,
+ AUTHOR = {Ren, Ling and Yu, Xiangyao and Fletcher, Christopher W and Van Dijk, Marten and Devadas, Srinivas},
+ JOURNALTITLE = {ACM SIGARCH Computer Architecture News},
+ NUMBER = {3},
+ PAGES = {571--582},
+ PUBLISHER = {ACM},
+ TITLE = {Design space exploration and optimization of path oblivious ram in secure processors},
+ VOLUME = {41},
+ YEAR = {2013},
+}
+
--
GitLab