Finding Error Handling Bugs in OpenSSL using Coccinelle

Julia Lawall, Ben Laurie, Rene Rydhof Hansen, Nicolas Palix, Gilles Muller

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

36 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of The 8th European Dependable Computing Conference (EDCC-2010)
Publisher	IEEE Computer Society Press
Publication date	2010
Pages	191-196
ISBN (Print)	978-0-7695-4007-8
DOIs	https://doi.org/10.1109/EDCC.2010.31
Publication status	Published - 2010
Event	The 8th European Dependable Computing Conference (EDCC-2010) - Valencia, Spain Duration: 28 Apr 2010 → …

Conference	The 8th European Dependable Computing Conference (EDCC-2010)
Country/Territory	Spain
City	Valencia
Period	28/04/2010 → …

Access to Document

@inproceedings{59ad9a9387e14c6d9ab04a7c6422274e,

title = "Finding Error Handling Bugs in OpenSSL using Coccinelle",

author = "Julia Lawall and Ben Laurie and Hansen, {Rene Rydhof} and Nicolas Palix and Gilles Muller",

year = "2010",

doi = "10.1109/EDCC.2010.31",

language = "English",

isbn = "978-0-7695-4007-8",

pages = "191--196",

booktitle = "Proceedings of The 8th European Dependable Computing Conference (EDCC-2010)",

publisher = "IEEE Computer Society Press",

address = "United States",

note = "The 8th European Dependable Computing Conference (EDCC-2010) ; Conference date: 28-04-2010",

}

TY - GEN

T1 - Finding Error Handling Bugs in OpenSSL using Coccinelle

AU - Lawall, Julia

AU - Laurie, Ben

AU - Hansen, Rene Rydhof

AU - Palix, Nicolas

AU - Muller, Gilles

PY - 2010

Y1 - 2010

U2 - 10.1109/EDCC.2010.31

DO - 10.1109/EDCC.2010.31

M3 - Article in proceeding

SN - 978-0-7695-4007-8

SP - 191

EP - 196

BT - Proceedings of The 8th European Dependable Computing Conference (EDCC-2010)

PB - IEEE Computer Society Press

T2 - The 8th European Dependable Computing Conference (EDCC-2010)

Y2 - 28 April 2010

ER -