<--- Back to Details
First PageDocument Content
Control flow / Application programming interfaces / Software testing / Exception handling / Zlib / Stack / Error code / OpenSSL / Fault injection / File system API / Read
Date: 2016-08-08 22:22:30
Control flow
Application programming interfaces
Software testing
Exception handling
Zlib
Stack
Error code
OpenSSL
Fault injection
File system API
Read

APEx: Automated Inference of Error Specifications for C APIs Yuan Kang Baishakhi Ray

Add to Reading List

Source URL: rayb.info

Download Document from Source Website

File Size: 242,99 KB

Share Document on Facebook

Similar Documents

Practical Fault Injection Attacks on SPHINCS Aymeric Genêt1,2 , Matthias J. Kannwischer3 , Hervé Pelletier2 , and Andrew McLauchlan2 ? 1  EPFL, Lausanne, Switzerland

Practical Fault Injection Attacks on SPHINCS Aymeric Genêt1,2 , Matthias J. Kannwischer3 , Hervé Pelletier2 , and Andrew McLauchlan2 ? 1 EPFL, Lausanne, Switzerland

DocID: 1xV59 - View Document

Practical Fault Injection Attacks on SPHINCS Aymeric Genêt1,2 , Matthias J. Kannwischer3 , Hervé Pelletier2 , and Andrew McLauchlan2 ? 1  3

Practical Fault Injection Attacks on SPHINCS Aymeric Genêt1,2 , Matthias J. Kannwischer3 , Hervé Pelletier2 , and Andrew McLauchlan2 ? 1 3

DocID: 1xTiq - View Document

Qualitative Evaluation of Fault Hypotheses with NonIntrusive Fault Injection  Jelena Frtunikj, Joachim Fröhlich, Tim Rohlfs, Alois Knoll fortiss GmbH An-Institut Technische Universität München

Qualitative Evaluation of Fault Hypotheses with NonIntrusive Fault Injection Jelena Frtunikj, Joachim Fröhlich, Tim Rohlfs, Alois Knoll fortiss GmbH An-Institut Technische Universität München

DocID: 1viiS - View Document

WSInject  A Fault Injection Tool for Testing Web Services Composition  Fayçal Bessayah, Ana Cavalli - IT/Telecom SudParis, FRANCE

WSInject A Fault Injection Tool for Testing Web Services Composition Fayçal Bessayah, Ana Cavalli - IT/Telecom SudParis, FRANCE

DocID: 1tIQc - View Document

Parametric Trojans for Fault-Injection Attacks on Cryptographic Hardware Raghavan Kumar$ , Philipp Jovanovice , Wayne Burleson$ and Ilia Poliane $ University of Massachusetts Amherst, 01002, USA e University of Passau, 9

Parametric Trojans for Fault-Injection Attacks on Cryptographic Hardware Raghavan Kumar$ , Philipp Jovanovice , Wayne Burleson$ and Ilia Poliane $ University of Massachusetts Amherst, 01002, USA e University of Passau, 9

DocID: 1tjxw - View Document