Raul Barbosa

Intrusion Detection Systems for Mitigating SQL Injection Attacks

2020 · International Journal of Information Security and Privacy

Databases are widely used by organizations to store business-critical information, which makes them one of the most attractive targets for security attacks. SQL Injection is the most common attack to webpages with dynamic content. To …

Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP

2023

Software verification is essential to ensure dependability and that a system or component fulfils its specified requirements. Natural language is the most common way of specifying requirements, although many verification techniques such as theorem proving …