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 7 of 7 for “"OpenSSL"”.
-
Étude de la crypto-agilité de OpenSSL et du test automatisé de systèmes non déterministes
… approfondie de la structure logicielle d’OpenSSL, principale bibliothèque cryptographique libre, ainsi qu’à celle de son fournisseur d’algorithmes post-quantiques: Open Quantum Safe (OQS). Une première phase est consacrée aux fondements théoriques : la cryptographie classique et …
-
Towards Cycle-Level Verification of Constant-Time Cryptography
… in popular cryptographic libraries, such as OpenSSL. Formal verification aims to rule out timing side channels in cryptographic software. This thesis presents Quake, a framework for verifying cryptographic library functions are constant-time for a specific hardware implementation, regardless …
-
SSL splitting and barnraising : cooperative caching with authenticity guarantees
… to a patched version of the industry-standard OpenSSL library; no other server modifications are necessary. In experiments replaying two-hour access.log traces taken from LCS Web sites over a DSL link, SSL splitting reduces bandwidth consumption of the server by between 25% and 90% depending on …
-
Security and performance analysis of custom memory allocators
… vulnerabilities to an application (e.g., OpenSSL Heartbleed). We thus conclude that using custom memory allocators is very nuanced, and that the challenges they pose may outweigh the small performance gains in the unprotected mode in many cases. Our findings suggest that developers must …
-
Impacto y Estrategia de Migración a Criptografía Post-Cuántica en Infraestructuras PKI Empresariales
… un laboratorio empírico basado en contenedores y OpenSSL, se audita el comportamiento del protocolo TLS 1.3 bajo diferentes escenarios: cadenas de certificación clásicas, modelos híbridos y arquitecturas puramente post-cuánticas. Los resultados experimentales demuestran un cambio de paradigma en …
-
Strip-Miner: Automatic Bug Detection in Large Software Code with Low False Positive Rate
… consisting of large software code including OpenSSL, PostgreSQL, Git, FFMPEG, SQLite, Binutils and Putty shows that combining simple de- pendency analysis with pattern mining can significantly decrease the number of generated bugs. Using our approach we are able to reduce the number of …
-
Performance Optimization of Public Key Cryptography on Embedded Platforms
… implementation runs over two times faster than OpenSSL implementations on the respective platforms. The second platform we targeted is an energy-harvested wireless sensor node which has a 16-bit MSP430 microcontroller and a low power RF interface. The system derives its power from a solar panel …