Applied Mathematics
for Complex Systems

Developing mathematical models, computational methods, and engineering technologies for the world's most complex scientific and engineering challenges.

Applied Mathematics • Formal Methods • Computational Engineering
Explore Our Research Learn More
MATHEMATICAL MODELING
Transforming complex scientific and engineering problems into rigorous mathematical representations.
FORMAL METHODS
Developing rigorous methods for specification, verification, reasoning, and provable system properties.
COMPUTATIONAL ENGINEERING
Developing algorithms, software, simulations, and computational methods from mathematical research.
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.