Bernhard Mueller muellerberndt

Pinned Loading

1. OPH is an active research program aiming to construct a fundamental theory of physics from observer consistency.

   TeX 73 15

2. Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

   Python 4.2k 809

3. Writings on symbolic-execution-based security analysis of EVM smart contracts.

   HTML 177 22

4. Language-agnostic AI auditor that autonomously builds and refines adaptive knowledge graphs for deep, iterative code reasoning.

   Python 745 147

5. The OWASP Mobile Application Security Testing Guide (MASTG) is a comprehensive manual for mobile app security testing and reverse engineering. It describes technical processes for verifying the OWA…

   Python 12.8k 2.7k

6. The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for mobile app security.

   Python 2.3k 649