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 9 of 9 for “"Timing Side Channel"”.
-
Adaptive chosen all inputs model for analyzing key derivation functions against bit-flip and timing side-channel attacks
… KDF analysis against the bit-flipping attack and timing side-channel attack. Therefore, this research proposes a new security model, namely Adaptive Chosen All Inputs Model (ACAM) for analyzing the security of KDF proposals against these attacks. This research proves the implication relationship …
-
Towards Cycle-Level Verification of Constant-Time Cryptography
… cryptographic library functions. However, many timing side-channel attacks, which leak information when execution time depends on secrets, have been found in popular cryptographic libraries, such as OpenSSL. Formal verification aims to rule out timing side channels in cryptographic software. …
-
Verifying Hardware Security Modules With True Random NumberGenerators
… a HSM with a TRNG is correct and is secure from timing side channel attacks. We additionally construct a strategy to prove IPRR, and develop Karatroc, a tool for verifying that a HSM satisfies IPRR. Through the creation and evaluation of Karatroc, we demonstrate the ability to verify HSMs with …
-
Formally Verifying Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation
… and software systems are susceptible to bugs and timing side-channel vulnerabilities. Timing leakage is particularly hard to eliminate because leakage is an emergent property that can arise from subtle behaviors or interactions between hardware and software components in the entire system, with …
-
Mitigating Memory Controller Side Channels
Memory timing side channels, where attackers utilize contention within DRAM controllers to infer a victim’s secrets, pose an important challenge to secure computation in shared memory environments. Attacks utilizing these side channels are broad and highly effective, as memory controllers offer a …
-
Timing channels in traffic analysis
"We study two timing channel problems abstracted from practices of network traffic analysis. The first timing channel exists in a router receiving packets from two users; due to the sharing of router buffer, queuing delays of one user's packets incidentally convey information about the other user's …
-
Analysis and Enforcement of Properties in Software Systems
… novel abstract interpretation framework that considers both speculative execution and a cache model, and guarantees to be sound for estimating the execution time of a program and detecting side-channel information leaks. The second category is concerned with static program transformation. The …
-
Analýza postranních kanálů algoritmu ML-DSA s využitím technik inspirovaných útoky Marvin a Minerva
Tato práce se zabývá analýzou časových postranních kanálů algoritmu Module-Lattice Digital Signature Algorithm (ML-DSA). Cílem je prozkoumat, zda numerické vlastnosti mezilehlých hodnot používaných během podepisování vykazují měřitelné časové závislosti. Metodologie je inspirována časovými útoky …