Over the last decades, numerous security and privacy issues in all three active mobile
network generations have been revealed that threaten users as well as network providers. In …

Parsers are pervasive software basic blocks: as soon as a program needs to communicate
with another program or to read a file, a parser is involved. However, writing robust parsers …

Despite being known since a long time, memory violations are still a very important cause of
security problems in low-level programming languages containing data parsers. We address …

SSL/TLS, a 20-year old security protocol, has become a major component securing network
communications, from HTTPS e-commerce and social network sites to Virtual Private …

Adversaries exploit software vulnerabilities in modern software to compromise computer
systems. While the amount and sophistication of such attacks is constantly increasing, most …

Use of formal protocol description techniques and code generation can reduce bugs in
network packet parsing code. However, such techniques are themselves complex, and don't …

Developers struggle to integrate cryptographic functionality into their applications. Many
mistakes have been identified by related work and tools have been developed for detecting …

Mobile networks are an integral part of our daily communication as they provide mobile
access to information. They serve as a medium for many use cases, including, but not limited …

JavaScript is a trending programming language. It is not used in applications in which
security may be an important issue. It thus becomes important to be able to control the …

Résumé Les systèmes de détection d'intrusion réseau (NIDS 1) sont largement utilisés pour
effectuer la supervision de sécurité. Ces systèmes sont cependant eux-mêmes peu …