Bound the claim.
State the consequence, world, evidence, and action cut before treating a result as portable.
About RISU Institute
About RISU Institute
Research in software assurance, machine-readable evidence, and accountable automated action.
Research purpose
What we study
RISU studies how software interfaces preserve meaning, evidence, and safeguards when one system relies on another. The research develops reusable verification methods across protocols and platforms.
Research method
Research methods
The research draws on software standards, formal methods, deployed systems, and selected concepts from legal and institutional reasoning. Claims are tested through adversarial cases, constructive controls, differential checks, and real-system evidence where available.
Preserve the evidence.
Keep direct observation, source-derived fact, analytical premise, and formal consequence distinguishable in the public record.
Attack the mechanism.
Use counterexamples and hostile controls to test whether the assurance result depends on the intended mechanism rather than a surface proxy.
Keep the layer neutral.
Use particular APIs, protocols, or products as test carriers without allowing them to define the semantic substrate.
Publication discipline
Publications and evidence
RISU publications identify their evidence, assumptions, limitations, and unresolved questions. Technical Notes link to supporting code, certificates, and archives where applicable. Publication alone does not imply peer review, independent reproduction, adoption, or production deployment.
Organization
RISU Institute
RISU Institute is a research initiative of RISU LLC. The institute's public role is to develop and publish research methods, technical notes, executable verification artifacts, and research software in a way that lets readers inspect the relationship between a claim and the evidence supporting it.
Public source and experimental artifacts are maintained through the RISU Research GitHub organization.