
maude-hcs
Formal modeling and analysis framework for hidden communication systems, enabling specification of covert channels, adversary models, and statistical…
dns-analysiseducationnetwork-security+3
55

Formal modeling and analysis framework for hidden communication systems, enabling specification of covert channels, adversary models, and statistical…

PEGASUS-NEO is a comprehensive penetration testing framework designed for security professionals and ethical hackers. It combines multiple security…

Robust audio watermarking framework embedding binary messages into magnitude spectrograms, with differentiable attack simulation, Q-Former pooling,…

Digital Forensics Intelligence Framework