Randomized algorithms are widely used to address many types of software engineering
problems, especially in the area of software verification and validation with a strong …

Abstract Information security strategies employ principles and practices grounded in both the
prevention and response paradigms. The prevention paradigm aims at managing predicted …

Although a large research effort on web application security has been going on for more
than a decade, the security of web applications continues to be a challenging problem. An …

Web application security is an important problem in today's internet. A major cause of this
status is that many programmers do not have adequate knowledge about secure coding, so …

Communication protocols determine how network components interact with each other.
Therefore, the ability to derive a specification of a protocol can be useful in various contexts …

Cyber attacks targeting software applications have a tremendous impact on our daily life. For
example, attackers have utilized vulnerabilities of web applications to steal and gain …

Cyber-physical systems (CPS) incorporate the complex and large-scale engineered systems
behind critical infrastructure operations, such as water distribution networks, energy delivery …

Protocol specifications describe the interaction between different entities by defining
message formats and message processing rules. Having access to such protocol …

Clustering is one of the most fundamental unsupervised tasks in machine learning and is
elementary in the exploration of high volume data. Recent works propose using deep neural …

Over the last few years, MQTT applications have been widely exposed to vulnerabilities
because of their weak protocol implementations. For our preliminary research, we …