2025Open access
High-performance image encryption framework using 2D nonuniform FFT and TDES for securing cognitive applicationsInternational Journal of Cognitive Computing in Engineering, Chaos-based Image/Signal Encryption
Active, last published 2026
In formal methods in verification
Yamen El
Touati
“Research focused on Formal Methods in Verification and adjacent fields.”
Tunis El Manar UniversityTunisia
Claim Your Profile7
H-index
127
Citations
Yamen has not officially claimed their profile. If you are Yamen, claim it free.
Claim Your Profile01 · About the work
What I study
amen El Touati is a researcher working on Formal Methods in Verification. A fuller summary will appear once they update their profile.
02 · Reach
Publication output and reach
Yamen's work has been cited 127 times across 1 active year. Bars show publications per year; the line shows cumulative citation totals across publications first appearing in each year.
05 · Research focus
Topics
Formal Methods in Verification×7Distributed systems and fault tolerance×5Petri Nets in System Modeling×5Model-Driven Software Engineering Techniques×3Logic, programming, and type systems×2
06 · Where I am
Affiliations
CurrentlyNorthern Border University, Tunisia
07 · Selected work
Recent publications
View all 27 worksAre you Yamen?
Claim it to verify your details, connect with industry partners, and explore Fractional Domain Expert opportunities through MARATTO™.
African researchers are full of potential that too often goes unrecognised. Your MARATTO™ profile gives your work the commercial pathway it deserves.
Claim Your Profile
No commitment required