Research Laboratory
for Applied Mathematics

We build mathematical foundations for advanced technologies through formal methods, computational modeling, and scientific research applied to cybersecurity and bioinformatics.

Research-first • Mathematical Modeling • Formal Methods • Computational Intelligence
Explore Our Research Learn More
APPLIED MATHEMATICS
Mathematical models for complex systems
FORMAL METHODS
Verification, reasoning, and provable properties
COMPUTATIONAL INTELLIGENCE
Research transformed into practical technology
About FikreSekhel

Who We Are

FikreSekhel is a research-driven technology company applying mathematics, formal methods, and computational science to complex problems in cybersecurity and bioinformatics.

From mathematical foundations to real-world technology

We believe complex scientific and engineering problems should first be understood through rigorous mathematical models. Our research combines applied mathematics, computer science, formal reasoning, statistical methods, and artificial intelligence.

We transform this research into computational methods, software, technical intelligence, and technologies designed to produce measurable impact in high-complexity environments.

Learn more about FikreSekhel
Mathematical research and computational modeling Scientific research applied to technology
Research

Selected Research & Applied Intelligence

Selected research demonstrating how applied mathematics, formal methods, computational analysis, and scientific experimentation are used to understand complex systems and transform technical findings into operational intelligence.

03
Selected Research Cases
Representative studies currently highlighted across our applied research work.
01
Public Research Credit
Publicly attributable research, coordinated disclosure, and technical recognition.
05+
Systems & Models Analyzed
Software libraries, computational flows, trust boundaries, and mathematical system models.
04
Active Research Tracks
Applied mathematics, formal methods, cybersecurity, and computational biology.
ID Research Case Severity Type Status Disclosure
FR-2026-001
Non-canonical JWT acceptance leading to revocation and rate-limit bypass
A trust mismatch between verification and application-layer token handling can allow variant tokens to remain valid while revocation and policy checks rely on strict string comparison.
 High Authentication / Logic Flaw Coordinated Disclosure Report available on request
FR-2026-002
RPC response spoofing via postMessage trust boundary violation
Browser messaging trust assumptions can break when response handling is not strongly bound to source, origin, and expected request lifecycle.
 High Client-side Trust Boundary Publicly Discussed Disclosure summary available
FR-2026-003
AES-CBC malleability enabling privilege bit-flipping in application workflows
Encryption schemes without integrity guarantees can permit controlled ciphertext manipulation, resulting in altered protected values and unsafe application decisions.
 Critical Cryptographic Design Flaw Research Complete Private / pending publication

Research Method

Each research problem is translated into a formal or computational model, investigated through reproducible experiments, and evaluated against its scientific, technical, and operational consequences.

  • • Problem definition and mathematical abstraction
  • • Formal reasoning, computational modeling, and hypothesis development
  • • Reproducible experiments and empirical validation
  • • Structural, statistical, and operational analysis
  • • Translation of findings into technology and measurable impact

From Research to Applied Intelligence

Our work combines mathematical modeling, formal methods, static and dynamic analysis, statistical reasoning, and computational experimentation. The methodology is adapted to each research domain, from software security and cryptographic systems to genomic data and biological computation.

Research outcomes are transformed into reproducible methods, technical reports, computational tools, software, and operational intelligence. This allows complex scientific findings to become practical technologies capable of supporting real-world decisions.

Bring Us Your Most Complex Problem

Work with FikreSekhel to transform complex scientific and engineering problems into mathematical models, computational methods, and practical technologies.