-
Notifications
You must be signed in to change notification settings - Fork 0
/
old.bib
267 lines (238 loc) · 9.34 KB
/
old.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
@inproceedings{alur2004vpl,
title={Visibly pushdown languages},
author={Alur, Rajeev and Madhusudan, Parthasarathy},
booktitle={Proceedings of the thirty-sixth annual ACM symposium on Theory of computing},
pages={202--211},
year={2004}
}
@inproceedings{caradoc,
title={Caradoc: a pragmatic approach to PDF parsing and validation},
author={Endignoux, Guillaume and Levillain, Olivier and Migeon, Jean-Yves},
booktitle={2016 IEEE Security and Privacy Workshops (SPW)},
pages={126--139},
year={2016},
organization={Ieee}
}
@article{chomsky1959normalform,
title = "On certain formal properties of grammars",
journal = "Information and Control",
volume = "2",
number = "2",
pages = "137 - 167",
year = "1959",
issn = "0019-9958",
doi = "https://doi.org/10.1016/S0019-9958(59)90362-6",
url = "http://www.sciencedirect.com/science/article/pii/S0019995859903626",
author = "Noam Chomsky",
abstract = "A grammar can be regarded as a device that enumerates the sentences of a language. We study a sequence of restrictions that limit grammars first to Turing machines, then to two types of system from which a phrase structure description of the generated language can be drawn, and finally to finite state Markov sources (finite automata). These restrictions are shown to be increasingly heavy in the sense that the languages that can be generated by grammars meeting a given restriction constitute a proper subset of those that can be generated by grammars meeting the preceding restriction. Various formulations of phrase structure description are considered, and the source of their excess generative power over finite state sources is investigated in greater detail."
}
@article{cohen2010jdageem,
author = "S. B. Cohen and N. A. Smith",
title = "Covariance in Unsupervised Learning of Probabilistic Grammars",
journal = "Journal of Machine Learning Research",
volume = "11",
pages = "3017--3051",
year = "2010"
}
@article{denny2010pslr,
title={Pslr (1): pseudo-scannerless minimal lr (1) for the deterministic parsing of composite languages},
author={Denny, Joel},
year={2010}
}
@inproceedings{drozdov2019latentTreeInduction,
title={Unsupervised Latent Tree Induction with Deep Inside-Outside Recursive Auto-Encoders},
author={Drozdov, Andrew and Verga, Patrick and Yadav, Mohit and Iyyer, Mohit and McCallum, Andrew},
booktitle={Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long and Short Papers)},
pages={1129--1141},
year={2019}
}
@inproceedings{dyer2016rnng,
title={Recurrent Neural Network Grammars},
author={Dyer, Chris and Kuncoro, Adhiguna and Ballesteros, Miguel and Smith, Noah A},
booktitle={Proceedings of NAACL-HLT},
pages={199--209},
year={2016}
}
@inproceedings{fifield2019better,
title={A better zip bomb},
author={Fifield, David},
booktitle={13th $\{$USENIX$\}$ Workshop on Offensive Technologies ($\{$WOOT$\}$ 19)},
year={2019}
}
@article{fisher2008dirt,
title={From dirt to shovels: fully automatic tool generation from ad hoc data},
author={Fisher, Kathleen and Walker, David and Zhu, Kenny Q and White, Peter},
journal={ACM SIGPLAN Notices},
volume={43},
number={1},
pages={421--434},
year={2008},
publisher={ACM New York, NY, USA}
}
@inproceedings{fisher2011pads,
title={The PADS project: an overview},
author={Fisher, Kathleen and Walker, David},
booktitle={Proceedings of the 14th International Conference on Database Theory},
pages={11--17},
year={2011}
}
@article{garfinkel2009govdocs,
title={Bringing science to digital forensics with standardized forensic corpora},
author={Garfinkel, Simson and Farrell, Paul and Roussev, Vassil and Dinolt, George},
journal={digital investigation},
volume={6},
pages={S2--S11},
year={2009},
publisher={Elsevier}
}
@misc{coxzip,
title={Zip Files All The Way Down, {March} 2010},
author={Cox, Russ},
url={https://research.swtch.com/zip}
}
@inproceedings{kim2019compound,
title={Compound Probabilistic Context-Free Grammars for Grammar Induction},
author={Kim, Yoon and Dyer, Chris and Rush, Alexander M},
booktitle={Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics},
pages={2369--2385},
year={2019}
}
@inproceedings{mnih2016a2c,
title={Asynchronous methods for deep reinforcement learning},
author={Mnih, Volodymyr and Badia, Adria Puigdomenech and Mirza, Mehdi and Graves, Alex and Lillicrap, Timothy and Harley, Tim and Silver, David and Kavukcuoglu, Koray},
booktitle={International conference on machine learning},
pages={1928--1937},
year={2016}
}
@misc{sultanik19two,
title = {Two New Tools that Tame the Treachery of Files},
author={Evan Sultanik and Brad Larsen and Carson Harmon},
year={2019},
month={November 1,},
howpublished = {\url{https://blog.trailofbits.com/2019/11/01/two-new-tools-that-tame-the-treachery-of-files/}},
note = {Accessed: January 12, 2020.}
}
@misc{kaitai,
title = {{Kaitai Struct}: a new way to develop parsers for binary structures},
howpublished = {\url{https://kaitai.io/}},
note = {Accessed: January 12, 2020.}
}
@inproceedings{harmon20toward,
author = {Carson Harmon and Bradford Larsen and Evan Sultanik},
title = {Toward Automated Grammar Extraction via Semantic Labeling of Parser Implementations},
year = {2020},
month = {May},
booktitle = {Proceedings of the LangSec Workshop},
optpages = {},
location = {San Francisco, USA},
series = {IEEE Security \& Privacy}
}
@article{zhu2010incremental,
title={Incremental learning of system log formats},
author={Zhu, Kenny Q and Fisher, Kathleen and Walker, David},
journal={ACM SIGOPS Operating Systems Review},
volume={44},
number={1},
pages={85--90},
year={2010},
publisher={ACM New York, NY, USA}
}
@article{foster2007lenses,
author = {Foster, J. Nathan and Greenwald, Michael B. and Moore, Jonathan T. and Pierce, Benjamin C. and Schmitt, Alan},
title = {Combinators for Bidirectional Tree Transformations: A Linguistic Approach to the View-Update Problem},
year = {2007},
issue_date = {May 2007},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {29},
number = {3},
issn = {0164-0925},
url = {https://doi.org/10.1145/1232420.1232424},
doi = {10.1145/1232420.1232424},
journal = {ACM Trans. Program. Lang. Syst.},
month = may,
pages = {17–es},
numpages = {65},
keywords = {XML, Bidirectional programming, Harmony, view update problem, lenses}
}
@article{graph2vec,
author = {Annamalai Narayanan and
Mahinthan Chandramohan and
Rajasekar Venkatesan and
Lihui Chen and
Yang Liu and
Shantanu Jaiswal},
title = {graph2vec: Learning Distributed Representations of Graphs},
journal = {CoRR},
volume = {abs/1707.05005},
year = {2017},
url = {http://arxiv.org/abs/1707.05005},
archivePrefix = {arXiv},
eprint = {1707.05005},
timestamp = {Mon, 15 Jul 2019 14:17:42 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/NarayananCVCLJ17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{pdfspec,
title = {{Document management — Portable document format — Part 1: PDF 1.7}},
author = {Adobe Systems Incorporated},
url = {https://www.adobe.com/content/dam/acom/en/devnet/pdf/pdfs/PDF32000_2008.pdf},
note = {Accessed: February 3, 2020.}
}
@article{doc2vec,
author = {Quoc V. Le and Tomas Mikolov},
title = {Distributed Representations of Sentences and Documents},
journal = {CoRR},
volume = {abs/1405.4053},
year = {2014},
url = {http://arxiv.org/abs/1405.4053},
archivePrefix = {arXiv},
eprint = {1405.4053},
timestamp = {Mon, 13 Aug 2018 16:48:49 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/LeM14},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{pdfid,
title = {\texttt{pdfid.py}},
author = {Didier Stevens},
month = {November},
year = {2019},
version = {0.2.7},
howpublished = {\url{https://github.com/DidierStevens/DidierStevensSuite/blob/master/pdfid.py}}
}
@misc{pdfidpost,
author = {Didier Stevens},
title = {Malformed {PDF} Documents},
month = {May},
year = {2009},
howpublished = {\url{https://blog.didierstevens.com/2009/05/14/malformed-pdf-documents/}},
note = {Accessed: March 2, 2020.}
}
@inproceedings{autogram2016,
author = {H\"{o}schele, Matthias and Zeller, Andreas},
title = {Mining Input Grammars from Dynamic Taints},
year = {2016},
isbn = {9781450338455},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
opturl = {https://doi.org/10.1145/2970276.2970321},
doi = {10.1145/2970276.2970321},
booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated Software Engineering},
pages = {720--725},
numpages = {6},
keywords = {dynamic tainting, Input formats, fuzzing, context-free grammars},
location = {Singapore, Singapore},
series = {{ASE} 2016}
}
@article{mimid2019,
title={Inferring Input Grammars from Dynamic Control Flow},
author={Rahul Gopinath and Bj\"{o}rn Mathis and Andreas Zeller},
year={2019},
month={December},
journal={arXiv preprint},
note={{\tt arXiv:1912.05937v1 [cs.SE]}},
url={https://arxiv.org/abs/1912.05937},
eprint={1912.05937},
archivePrefix={arXiv},
primaryClass={cs.SE}
}