From 8ffcea4add19a85bea64e327444c0c8b1474a860 Mon Sep 17 00:00:00 2001 From: Valentin Brandl Date: Tue, 19 Nov 2019 21:18:38 +0100 Subject: [PATCH] New reference --- work/bibliography.bib | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/work/bibliography.bib b/work/bibliography.bib index 9e664d4..b38131f 100644 --- a/work/bibliography.bib +++ b/work/bibliography.bib @@ -7,6 +7,13 @@ own: year = {2002} } +@INPROCEEDINGS{Effectiveness2014, +author={H. M. {Gisbert} and I. {Ripoll}}, +booktitle={IEEE 13\textsuperscript{th} International Symposium on Network Computing and Applications}, +title={On the Effectiveness of NX, SSP, RenewSSP, and ASLR against Stack Buffer Overflows}, +year={2014}, +} + @inproceedings{Rad2001, author = {Chiueh, Tzi-cker and Hsu, Fu-Hau}, booktitle = {21\textsuperscript{st} International Conference on Distributed Computing Systems}, @@ -30,15 +37,9 @@ and Harren, Matthew and Anderson, Zachary and Gay, David and Necula, George C.}, -editor={De Nicola, Rocco}, title={Dependent Types for Low-Level Programming}, booktitle={Programming Languages and Systems}, -year={2007}, -publisher={Springer Berlin Heidelberg}, -address={Berlin, Heidelberg}, -pages={520--535}, -abstract={In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that combines dependent types and mutation for variables and for heap-allocated structures in a more flexible way than before and (2) a technique for automatically inferring dependent types for local variables. We have applied these general principles to design Deputy, a dependent type system for C that allows the user to describe bounded pointers and tagged unions. Deputy has been used to annotate and check a number of real-world C programs.}, -isbn={978-3-540-71316-6} +year={2007} } existing: