sAIfer Lab works to guarantee Web Security and Software Security through secure coding practices, vulnerability assessment, and software protection. 

Within this research sAIfer Lab, through the Pra Lab, works to guarantee Web Security and Software Security.

Ensuring the security of web and software applications from the development stage through deployment has been a major focus. This area gained significant attention with the rise of software vulnerabilities, leading to high-profile breaches in the early 2000s.

Key research has concentrated on secure coding practices, vulnerability assessment, and software protection. The introduction of tools like static and dynamic analysis, along with formal verification methods, has been crucial in identifying and mitigating security flaws.