{'fraction_non_alphanumeric': 0.03354037267080745, 'fraction_numerical': 0.002484472049689441, 'mean_word_length': 4.970370370370371, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
(SC)²: A System to Secure Off-Card Contract-Policy Matching in Security-by-Contract for Open Multi-application Smart Cards

The Security-by-Contract (SxC) framework has recently been proposed to support software evolution in open multi-application smart cards. The key idea lies in the notion of contract, a specification of the security behavior of an application that must be compliant with the security policy of the smart card hosting the application. In this demonstration we show SC^2 (Secure Communication over Smart Cards), a system developed to address a key issue of the SxC framework, namely the secure outsourcing of the SxC contract-policy matching service to a Trusted Third Party (TTP). SC^2 secures the communication between a smart card and the TTP that provides the SxC matching service.