ORI methodology r3
The third revision of the research white paper. It explains assumptions, evaluation methods, test boundaries and open questions.
Read full white paper (PDF) ↗FortiSec Systems Inc. · Research & Engineering
Better cybersecurity decisions start with knowing what the evidence can—and cannot—tell us.
Security assessments often describe what is configured, not what has been verified. We investigate how incomplete evidence affects risk conclusions—and how to turn that uncertainty into targeted, accountable verification.
What this means for cybersecurity teams
Expose evidence gaps
Separate reported safeguards from claims supported by actual evidence.
Prioritize verification
Identify which additional checks would most meaningfully strengthen a risk conclusion.
Make uncertainty explicit
Show where assumptions, missing observations and model boundaries affect recommendations.
ORI Research
Operational incompleteness and evidence-bounded cyber risk
Our central research question: what conclusions are justified when visibility into a security environment is incomplete? The ORI r3 white paper studies evidence dependencies, conditional paths, model assumptions and controlled scenario comparisons. The work aims to support more disciplined risk questions and verification planning.
ORI v6 platform
“v6” identifies the public-facing platform version; “r3” identifies a revision of the research document. These numbers are not interchangeable, and the paper is not a certification of the platform.
Explore the ORI interface ↗Research methods and scenarios
Explore how evidence dependencies, model assumptions and scenario comparisons help organize security verification. The paper records the research methods and boundaries.
Review the methods and evidence ↗Scientific Publications
Research by Hassan Nasreddine
Selected public manuscripts in quantum entropy, operator algebras, algebraic quantum field theory and Weyl systems. These are the author's scientific works; they form a research record distinct from ORI product validation.
Energy Constraints in Weyl Systems
Weyl systems and energy-constrained uncertainty; arXiv record and version history.
Read abstract, versions & authorship ↗Sharp Entropy Cost of Coherent Leakage Across a Block Decomposition
Sharp quantitative bounds for entropy cost associated with block coherence.
Read abstract, versions & authorship ↗Essential Duality and Quantitative Channel Composability in AQFT
Operator-algebraic duality and quantitative composition questions in algebraic quantum field theory.
Read abstract, versions & authorship ↗Entropy Moduli and Support-Sensitive BKM Coercivity for Rank-Deficient Non-Commutative Markov Semigroups
Entropy and coercivity methods in rank-deficient noncommutative systems.
Read abstract, versions & authorship ↗Entropy Stability under Block-Separable Constraints
Entropy stability subject to block and separability restrictions.
Read abstract, versions & authorship ↗Scientific Collaboration
Work with us on open research problems
We welcome well-defined collaboration proposals from academic researchers, independent scientists and cybersecurity practitioners. Current topics include evidence-aware cyber risk assessment, model verification, observability limits, entropy inequalities and operator-algebraic methods.
For cybersecurity researchers
Propose reproducible evaluation cases, adversarial scenarios, evidence-quality metrics or independent methodological critiques.
For mathematical researchers
Explore concrete open questions in entropy, quantum information or operator-algebraic mathematical physics. Projects and attribution are agreed individually.
Propose a research collaboration ↗
A proposal should include the question, relevant prior work, proposed contribution and desired collaboration structure. An affiliation, institutional endorsement or publication is not automatically conferred.
Methods & attribution
Mathematical preprints are authored by Hassan Nasreddine and retain their listed arXiv status. FortiSec’s ORI research and the public ORI platform follow separate release paths. For data handling and practical examples, see the links below.