Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 3 of 3 for “"Cryptographic APIs"”.

  1. The analysis of cryptographic APIs using the theorem prover Otter

    … attacks on application programming interfaces (APIs) of security modules. These attacks elicit compromising behaviors using an unexpected sequence of legal calls to the module, uncovering severe security flaws even in widely-deployed cryptographic hardware. Because these attacks do not depend on …

    mit Repository record for The analysis of cryptographic APIs using the theorem prover Otter (opens in a new tab)

  2. Methodology Development for Improving the Performance of Critical Classification Applications

    … for software security and healthcare prognosis. Cryptographic vulnerability tools are used to detect misuses of Java cryptographic APIs and thus classify secure and insecure parts of code. These detection tools are critical applications as misuse of cryptographic libraries and APIs causes …

    vt Repository record for Methodology Development for Improving the Performance of Critical Classification Applications (opens in a new tab)

  3. Neural Network-based Methodologies for Securing Cryptographic Code

    … two previously unreported deficiencies in the cryptographic API suggestion task. To close the gap, I invent a highly accurate API method suggestion solution, referred to as Multi-HyLSTM, with specialized neural network designs to recognize unique programming language characteristics. My work …

    vt Repository record for Neural Network-based Methodologies for Securing Cryptographic Code (opens in a new tab)