Sicherheitsprüfung

Sicherheitsprüfungen, die den Fehler nachweisen und nicht nur darauf hinweisen.

Smart Contracts auf Ethereum und Solana sowie Web- und Anwendungssicherheit. Wir gehen bei unseren Angriffen so vor, wie es ein echter Angreifer tun würde, und liefern Ihnen anschließend für jeden Befund einen funktionierenden Proof-of-Concept – damit Sie die tatsächlich ausnutzbaren Schwachstellen beheben können und nicht nur eine Checkliste abarbeiten müssen.

Was wir prüfen

Prüfung von Smart Contracts, EVM / Solidity – Reentrancy, Zugriffskontrolle, Oracle-Angriffe sowie wirtschaftliche Angriffe und Flash-Loan-Angriffe
Prüfungen von Smart Contracts, Solana / Anchor – Kontenvalidierung, Missbrauch der Erweiterung „Token-2022“, Sicherheit des CPI
Web- und Anwendungssicherheit – Authentifizierung, Autorisierung, Mandantenisolierung, Injektion, offengelegte Geheimnisse
Kritische Überprüfung einer auf „Trail of Bits“ basierenden Methode mittels statischer Analyse, Fuzzing und symbolischer Ausführung
Ein lauffähiger Proof-of-Concept für jeden bestätigten Befund sowie ein Bericht mit Angaben zu Schweregrad, Auswirkungen und der Behebung

Typischer Stack

Slither
Aderyn
Foundry
Medusa
Halmos
Semgrep
LiteSVM

Haben Sie ein Produkt, das gebaut werden muss?

Erzählen Sie uns, was Sie ausliefern möchten. Wir sagen Ihnen ehrlich, ob wir die richtige Wahl sind — und wie wir es angehen würden.

Gespräch starten