Q.01
Manual contract review
Line-by-line analysis of business logic, accounting transitions and component interactions.
Protocol security
Adversarial review of systems that hold and move value.
Manual assessment combines contract-level reasoning with system-level analysis of asset flows, privileges, dependencies and failure recovery.
Research questions
The unit of analysis is the protocol, not an isolated contract.
The work is organized around falsifiable properties and observable failure conditions, not a generic checklist.
Q.02
Adversarial testing
Targeted fuzzing, invariant testing and fork-based simulation of realistic attacker behavior.
Q.03
Privilege analysis
Mapping of administrative capabilities, upgrade paths, timelocks and emergency controls.
Q.04
Oracle and dependency review
Evaluation of data freshness, fallback behavior, integration assumptions and failure propagation.
Q.05
Incident readiness
Operational procedures for detection, containment, communication and evidence preservation.
Q.06
Remediation verification
Focused re-review of corrections with explicit status tracking for every reported condition.
Research sequence
The inquiry moves from a fixed boundary to a defensible claim.
Architecture decomposition
Define what is inside the claim.
Trust-boundary mapping
Record authority and dependencies.
Exploit hypothesis formation
Seek states that invalidate intent.
Evidence-driven testing
Preserve evidence and counterexamples.
Remediation confirmation
Reconcile corrections with the property.
Commission a study
Bring the whole mechanism into view.
Define the system version, operating context and evidence required from the engagement.
Set the boundary