Zobrazeno 1 - 10
of 1 041
pro vyhledávání: '"Schwarz, Michael P"'
The weakly relational domain of Octagons offers a decent compromise between precision and efficiency for numerical properties. Here, we are concerned with the construction of non-numerical relational domains. We provide a general construction of weak
Externí odkaz:
http://arxiv.org/abs/2401.05165
Autor:
Saan, Simmo, Schwarz, Michael, Erhard, Julian, Seidl, Helmut, Tilscher, Sarah, Vojdani, Vesal
Witnesses record automated program analysis results and make them exchangeable. To validate correctness witnesses through abstract interpretation, we introduce a novel abstract operation unassume. This operator incorporates witness invariants into th
Externí odkaz:
http://arxiv.org/abs/2310.16572
Since the initial discovery of Meltdown and Spectre in 2017, different variants of these attacks have been discovered. One often overlooked variant is Meltdown 3a, also known as Meltdown-CPL-REG. Even though Meltdown-CPL-REG was initially discovered
Externí odkaz:
http://arxiv.org/abs/2310.04192
The transient-execution attack Meltdown leaks sensitive information by transiently accessing inaccessible data during out-of-order execution. Although Meltdown is fixed in hardware for recent CPU generations, most currently-deployed CPUs have to rely
Externí odkaz:
http://arxiv.org/abs/2310.04183
Platforms are nowadays typically equipped with tristed execution environments (TEES), such as Intel SGX and ARM TrustZone. However, recent microarchitectural attacks on TEEs repeatedly broke their confidentiality guarantees, including the leakage of
Externí odkaz:
http://arxiv.org/abs/2306.03643
We construct novel thread-modular analyses that track relational information for potentially overlapping clusters of global variables - given that they are protected by common mutexes. We provide a framework to systematically increase the precision o
Externí odkaz:
http://arxiv.org/abs/2301.06439
We characterize all semigroups sandwiched between the semigroup of a Dirichlet form and the semigroup of its active main part. In case the Dirichlet form is regular, we give a more explicit description of the quadratic forms of the sandwiched semigro
Externí odkaz:
http://arxiv.org/abs/2301.01035
Autor:
Erhard, Julian, Saan, Simmo, Tilscher, Sarah, Schwarz, Michael, Holter, Karoliine, Vojdani, Vesal, Seidl, Helmut
To put static program analysis at the fingertips of the software developer, we propose a framework for interactive abstract interpretation. While providing sound analysis results, abstract interpretation in general can be quite costly. To achieve qui
Externí odkaz:
http://arxiv.org/abs/2209.10445
Autor:
Karvandi, Mohammad Sina, Gholamrezaei, MohammadHossein, Monfared, Saleh Khalaj, Meghdadizanjani, Soroush, Abbassi, Behrooz, Amini, Ali, Mortazavi, Reza, Gorgin, Saeid, Rahmati, Dara, Schwarz, Michael
Software analysis, debugging, and reverse engineering have a crucial impact in today's software industry. Efficient and stealthy debuggers are especially relevant for malware analysis. However, existing debugging platforms fail to address a transpare
Externí odkaz:
http://arxiv.org/abs/2207.05676
Growing code bases of modern applications have led to a steady increase in the number of vulnerabilities. Control-Flow Integrity (CFI) is one promising mitigation that is more and more widely deployed and prevents numerous exploits. CFI focuses purel
Externí odkaz:
http://arxiv.org/abs/2202.13716