Robustness is a key and desirable property of any classifying system, in particular, to avoid
the ever-rising threat of adversarial attacks. Informally, a classification system is robust when …

Hardware Security Modules (HSMs) are trusted machines that perform sensitive operations
in critical ecosystems. They are usually required by law in financial and government digital …

We revise existing type-based analyses of security protocols by devising a core type system
for secrecy, integrity and authentication in the setting of spi-calculus processes. These …

In this paper we formally prove that the problem of cracking, ie, correctly guessing, bank
PINs used for accessing Automated Teller Machines and the problem of solving the …

Protecting the confidentiality of information stored in a computer system or transmitted over a
public network is a relevant problem in computer security. The approach of information flow …

A security API is an Application Program Interface that allows untrusted code to access
sensitive resources in a secure way. Examples of security APIs include the interface …

The bank director was pretty upset noticing Joe, the system administrator, spending his
spare time playing Mastermind, an old useless game of the 70ies. He had fought the instinct …

In the past few years, cryptographic key management APIs have been shown to be subject
to tricky attacks based on the improper use of cryptographic keys. In fact, real APIs provide …

With the increasing complexity of information management computer systems, security
becomes a real concern. E-government, web-based financial transactions or military and …

Abstract The Trusted Platform Module (TPM) is designed to enable trustworthy computation
and communication over open networks. The TPM provides a way to store cryptographic …