tesi.bib

@article{Phrack-96,
author= {Aleph One},
title= {Smashing The Stack For Fun And Profit},
journal={phrack},
year={96},
}

@misc{dullien-09,
title = {REIL: A platform-independent intermediate representation
of disassembled code for static code analysis},
author = {Thomas Dullien, Sebastian Porst},
year = {2009}
}

@inproceedings{schwartz-2011,
   author = {Edward J. Schwartz and Thanassis Avgerinos and David Brumley},
   title = {{Q}: Exploit Hardening Made Easy},
   booktitle = {Proceedings of the {USENIX} Security Symposium},
   year = {2011}
}
@misc{Heitman-14,
author= {Christian Heitman and Iván Arce},
title= {BARF: A multiplatform open source Binary Analysis and Reverse
                  engineering Framework},
year={2014},
}

@Article{roemer-12, 
author = {Ryan Roemer and Erik Buchanan and Hovav Shacham and Stefan Savage},
title = {Return-Oriented Programming: Systems, Languages, and Applications},
journal = {ACM Trans. Info. \& System Security},
                  year = 2012, 
volume = 15, 
number = 1, 
month = mar}

@online{pyelftools,
  author = {Eli Bendersky},
  title = {pyelftools},
  year = 2014,
  url = {https://github.com/eliben/},
  urldate = {2014-11-25}
}

@ARTICLE{fox-03,
    author = {Maria Fox and Derek Long},
    title = {PDDL2.1: An extension to PDDL for expressing temporal planning domains},
    journal = {Journal of Artificial Intelligence Research},
url={http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume20/fox03a.pdf},
    year = {2003},
    volume = {20},
    pages = {2003}
}

@inproceedings {Vanegue:2012,
title = {SMT Solvers in Software Security},
author = {ulien Vanegue, Sean Heelan, Rolf Rolles},
booktitle = {Presented as part of the 6th USENIX Workshop on Offensive Technologies},
year = {2012},
location = {Bellevue, WA},
url = {https://www.usenix.org/conference/woot12/workshop-program/presentation/Vanegue},
publisher = {USENIX},
address = {Berkeley, CA}
}

@MISC{pddl-97,
    title = {PDDL - The Planning Domain Definition Language},
    year = 1997
}
@MISC{sstrip,
    author = {ELF Kickers },
note={\url{http://www.muppetlabs.com/~breadbox/software/elfkickers.html}},
    year = 1997
}

@MISC{stackpatch,
    author = {Solar Designer},
note = {\url{http://www.openwall.com/linux}},
title = {stack-patch},
year = {1997},
month = {August},
}
                  


}


@inproceedings{Shacham-2007,
 author = {Shacham, Hovav},
 title = {The Geometry of Innocent Flesh on the Bone: Return-into-libc Without Function Calls (on the x86)},
 booktitle = {Proceedings of the 14th ACM Conference on Computer and Communications Security},
 series = {CCS '07},
 year = {2007},
 isbn = {978-1-59593-703-2},
 location = {Alexandria, Virginia, USA},
 pages = {552--561},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1315245.1315313},
 doi = {10.1145/1315245.1315313},
 acmid = {1315313},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {instruction set, return-into-libc, turing completeness},
} 

@article{Roemer-2012,
 author = {Roemer, Ryan and Buchanan, Erik and Shacham, Hovav and Savage, Stefan},
 title = {Return-Oriented Programming: Systems, Languages, and Applications},
 journal = {ACM Trans. Inf. Syst. Secur.},
 issue_date = {March 2012},
 volume = {15},
 number = {1},
 month = mar,
 year = {2012},
 issn = {1094-9224},
 pages = {2:1--2:34},
 articleno = {2},
 numpages = {34},
 url = {http://doi.acm.org/10.1145/2133375.2133377},
 doi = {10.1145/2133375.2133377},
 acmid = {2133377},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {NX, RISC, Return-oriented programming, SPARC, W-xor-X, attacks, control flow integrity, memory safety, return-into-libc, x86},
} 


@misc{c0ntex,
author= {c0ntex},
title= {Bypassing non-executable-stack during exploitation using return-to-libc},
note ={\url{http://www.infosecwriters.com/text_resources/pdf/return-to-libc.pdf}},
year={96},
}

@misc{exploit-exercise,
title={exploit-exercise},
note = {\url{https://exploit-exercises.com/fusion/}},
}

@TECHREPORT{Checkoway-10,
    author = {Stephen Checkoway and Hovav Shacham},
    title = {Escape from return-oriented programming: Returnoriented programming without returns (on the x86},
    year = {2010}
}

@incollection{Barrett-14,
  Author =	 {Clark Barrett and Cesare Tinelli},
  Booktitle =	 {Handbook of Model Checking},
  Editor =	 {Edmund Clarke and Tom Henzinger and Helmut Veith},
  Publisher =	 {Springer},
  Title =	 {Satisfiability Modulo Theories},
  Year =	 2014,
}



@inproceedings {Davi-2014,
author = {Lucas Davi and Ahmad-Reza Sadeghi and Daniel Lehmann and Fabian Monrose},
title = {Stitching the Gadgets: On the Ineffectiveness of Coarse-Grained Control-Flow Integrity Protection},
booktitle = {23rd USENIX Security Symposium (USENIX Security 14)},
year = {2014},
month = Aug,
isbn = {978-1-931971-15-7},
address = {San Diego, CA},
pages = {401--416},
url = {https://www.usenix.org/conference/usenixsecurity14/technical-sessions/presentation/davi},
publisher = {USENIX Association},
}

@inproceedings{roglia:2009,
  title={Surgically returning to randomized lib (c)},
  author={Roglia, Giampaolo Fresi and Martignoni, Lorenzo and Paleari, Roberto and Bruschi, Danilo},
  booktitle={Computer Security Applications Conference, 2009. ACSAC'09. Annual},
  pages={60--69},
  year={2009},
  organization={IEEE}
}

@inproceedings{longld:2010,
author = {Long Le},
title = {Payload already inside: data reuse for ROP exploits},
year = {2010},
}
@inproceedings{Shacham:2004,
 author = {Shacham, Hovav and Page, Matthew and Pfaff, Ben and Goh, Eu-Jin and Modadugu, Nagendra and Boneh, Dan},
 title = {On the Effectiveness of Address-space Randomization},
 booktitle = {Proceedings of the 11th ACM Conference on Computer and Communications Security},
 series = {CCS '04},
 year = {2004},
 isbn = {1-58113-961-6},
 location = {Washington DC, USA},
 pages = {298--307},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1030083.1030124},
 doi = {10.1145/1030083.1030124},
 acmid = {1030124},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {address-space randomization, automated attacks, diversity},
} 

[download] 
@inproceedings{Amdahl-1967,
 author = {Amdahl, Gene M.},
 title = {Validity of the single processor approach to achieving large scale computing capabilities},
 booktitle = {Proceedings of the April 18-20, 1967, spring joint computer conference},
 series = {AFIPS '67 (Spring)},
 year = {1967},
 location = {Atlantic City, New Jersey},
 pages = {483--485},
 numpages = {3},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@inproceeding{D_Ambrosio-2010,
author ={W. Spataro and M.V. Avolio and V. Lupiano and G.A. Trunfio and R. Rongo and D. D'Ambrosio},
year = {2010},
title = {The latest release of the lava flows simulation model SCIARA: first application to Mt Etna (Italy) and solution of the anisotropic flow direction problem on an ideal surface},
journal={Procedia Computer Science series},
volume={1 (2010)},
pages={17-26},
publisher={Elsevier},
address={Amsterdam, Holland},
month = {June 31 - July 2},
organization = {International Conference on Computational Science, ICCS 2010},
}

@article{Moore-1965,
author={Gordon E. Moore},
title={Cramming more components onto integrated circuits"},
journal={Electronics Magazine},
pages={4},
year={2006},
}

@book{Kauffmann&Smarr-1993,
author = {William J. III Kauffmann and Larry L. Smarr.},
title = {Supercomputing and the Transformation of Science.},
publisher = {Scientific American Library},
year = {1993},
}

@article{Flynn-1972,
  author =       {M. J. Flynn},
  title =        {Some computer organization and their effectiveness.},
  journal =      {IEEE Transactions on Computers},
  year =         {1972},
  volume =       {C-21},
  number =       {9},
  pages =        {948-960},
}

@book{Wolfram-2002,
title = {A new kind of Science.},
author = {S. Wolfram},
year = {2002},
publisher = {Wolfram Media Inc.},
address = {Champaign}
}

@article{Fredkin&Toffoli-1982,
author = {E. Fredkin and T. Toffoli},
journal= {Intern. J. Theor. Phy.},
volume = {21},
year = {1982},
pages = {219-253},
}

@book{Conway&al-1982,
  author =       {E. Berlekamp and J.H. Conway and R. Guy},
  title =        {Winning for your Mathematical Plays.},
  publisher =      {Academic Press},
  adress={New York},
  year =         {1968},
}

@book{Codd-1968,
  author =       {E.F. Codd},
  title =        {Cellular Automata.},
  publisher =      {Academic Press},
  address = {New York},
  year =         {1968},
}

@article{DiGregorio&Serra-1999,
author = {S. Di Gregorio and R. Serra},
title = {An empirical method for modelling and simulating some complex macroscopic phenomena by cellular automata},
journal = {Fut. Gener. Comp. Sys.},
year = {1999},
volume = {16},
pages = {259-271},
}


@book{Chopard&Droz-1998,
author = {B. Chopard and M. Droz},
title = {Cellular Automata Modelling of Physical System},
publisher = {Cambridge University Press},
year = {1998}
}
@book{Succi-1991,
author={S.Succi},
title={Automi Cellulari},
publisher={Francoangeli, Milano},
year={1991}
}
@article{Neumann-1966,
  author =       {J. von Neumann (Edited and complete by A. Burks)},
  title =        {Theory of self-reproducing automata.},
  journal =      {University of Illinois Press},
  year =         {1966},
}

@misc{solar-return-to-libc,
author = {Solar Designer},
title = {return-to-libc},
year = {1997},
month = {August},
note = {Bugtraq}
}


@inbook{Thacher-1970,
author = {J.W. Thacher},
title = {Essays on Cellular Automata},
pages = {103-131},
publisher = {University of Illinois Press, Champaign},
year = {1970},
}

@article{Merkle&Worsch-2002,
author = {D. Merkle and T. Worsch},
title = {Formal language recognition by stochastic cellular automata},
journal = {Fund. Inform.},
volume = {52},
pages = {183-201},
year = {2002},
}
@article{Maji&al-2003,
author={P. Maji and C.Shaw and N. Gaunguly and B.K.Sikdar and P.P. Chaudhuri},
journal={Fund. Inform.},
volume={58},
year={2003},
pages={321-354},
}
@article{Rosin-2006,
author={P.L. Rosin},
title={Training Cellular Automata for Image Processing},
journal={IEEE trans. In. Proc.},
volume={15},
year={2006},
pages={2076-2087}
}
@article{Tommassini&Perrenoud-2001,
author={M. Tomassini and M.Perrenoud},
title={Cryptography with cellular automata},
journal={Appl.Soft Comp.},
volume={1},
year={2001},
pages={151-160},
}
@article{D'Ambrosio&al-2006,
author={M. Avolio and G.M. Crisci and S. Di Gregorio and R. Rongo and W. Spataro and D. D'Ambrosio.},
journal={Comp. Geosc.},
title={SCIARA Gamma2: an improved Cellular Automata model for Lava Flows and Applications to the 2002 Etnean crisis},
volume={32},
year={2006},
pages={897-911},
}
@article{Spataro&al-2004,
author={G.M. Crisci and R. Rongo and S. Di Gregorio and W. Spataro and J. Volcan.},
title={The simulation model SCIARA: the 1991 and 2001 at Mount Etna},
journal={Geoth. Res.},
volume={132},
year={2004},
pages={253-267},
}
@article{D'Ambrosio&al-2007,
author={D. D'Ambrosio and W. Spataro and G. Iovine and H. Miyamoto.},
title={A macroscopic collisional model for debris-flows simulation},
journal={Environ. Model. Soft.},
volume={22},
year={2007},
pages={1417-1436},
}
@article{DiGregorio&al-1997,
author={S. Di Gregorio and R. Serra and M. Villani.},
journal={Comp. Sys.},
volume={11},
year={1997},
pages={31-54},
title={A Cellular Automata Model of Soil Bioremediation},
}
@article{Rongo&al-2008,
author={R. Rongo and W. Spataro and D. D'Ambrosio and M.V. Avolio and G.A. Trunfio and S. Di Gregorio},
journal={Fund. Inform.},
volume={87},
title={Lava Flow Hazard Evaluation Through Cellular Automata and Genetic Algorithms: an Application to Mt Etna Volcano},
year={2008},
pages={247-268},
}
@book{Ishihara&al-1990,
author={K. Ishihara and M. Iguchi and K. Kamo},
title={Lava flows and domes: emplacement mechanisms and hazard implications.},
publisher={Springer},
address= {Berlin Heidelberg, New York},
year={1990},
}
@book{Foster-1995,
author={Ian Foster.},
title={Designing and Building Parallel Programs: Concepts and Tools for Parallel Software Engineering.},
year={1995},
publisher={Addison-Wesley},
address={Reading, MA},
}
@book{Grama&al-2003,
author={A. Grama and A. Gupta and G. Karypis and V. Kumar.},
title={Introducion to Parallel Computing Second Edition},
year={2003},
publisher={Pearson Education Limited},
address={Harlow, Essex},
}
@inbook{Babb-1988,
author={R.G. Babb II},
title={Programming Parallel Processors},
chapter={Introduction},
pages={1-6},
address={Reading, MA},
year=1988,
publisher={Addison-Wesley},
}
@book{Pachecho,
author={Peter S. Pacheco.},
title= {Parallel Programming with MPI.},
publisher={Morgan Kaufmann Publishers},
}
@book{Quinn-2003,
author={Michael J. Quinn.},
title={Parallel Programming in C with MPI and OpenMP.},
year={2003},
publisher={McGraw Hill},
}
@article{Parkinson-1986,
author={D. Parkinson.},
title={Parallel Efficiency can be greater tha unity},
journal={Parallel Computing},
volume={vol.3},
year={1986}
}
@book{Hennessy-1996,
author={J.L. Hennessy and D.A. Patterson.},
title={Computer Architecture: A Quantitative Approach 2nd ed.},
publisher={Morgan Kaufmann Publishers, Inc.},
address={San Francisco, CA},
year={1996},
}

@article{Dennis&Horn-1966,
author={B. Dennis and E. C. Van Horn.},
title= {Programming semantics for multiprogrammed computations.},
journal={Comm. ACM}, 
volume={9(3)},
pages={143-155},
year={1966},
}
@book{Chapman-2007,
author={Barbara Chapman and Gabriele Jost and Ruud van der Pas.},
title={Using OpenMP Portable Shared Memory Parallel Programming.},
year={2007},
publisher={The MIT Press},
}

@article{Costa&Macedonio-2003,
author={E. Costa and G. Macedonio.},
title={Viscous heating in fluids with temperature-dependent viscosity: implications for magma flows},
journal={Nonlin. Proc. Geophy.},
volume={10},
year={2003},
pages={545-555},
}
@article{Park&Iversen-1984,
author={S. Park and J.D. Iversen},
title={Dynamics of lava flow: Thickness growth characteristics of steady two dimensional flow},
journal={Geophys. Res. Lett.},
volume={11},
year={1984},
}
@article{Innocenti-2009,
title = "A software framework for fine grain parallelization of cellular models with OpenMP: Application to fire spread",
journal = "Environmental Modelling \& Software",
volume = "24",
number = "7",
pages = "819 - 831",
year = "2009",
note = "",
issn = "1364-8152",
author = "Eric Innocenti and Xavier Silvani and Alexandre Muzy and David R.C. Hill",
}