01 / Research direction
Applications and access controls
In development: small test environments to describe roles, trust boundaries and verification of fixes.
03 / Laboratory
Make the work verifiable.
The laboratory is where we develop reproducible examples, refine the method and turn technical work into readable material.
02 / Research direction
Smart contracts and permissions
In development: examples of code analysis, invariants and relationships between contracts, administrators and interfaces.
03 / Research direction
From evidence to a report
In development: structures that separate observed facts, impact, assumptions and recommendations.
Research areas are in development. Future examples will be distinguished from real engagement results.