SAFECOMP
2015
Springer
8 years 7 months ago
2015
Springer
SAFECOMP
2015
Springer
8 years 7 months ago
2015
Springer
ICT is becoming a fundamental and pervasive component of critical infrastructures (CIs). Despite the advantages that it brings about, ICT also exposes CIs to a number of security a...
SAFECOMP
2015
Springer
8 years 7 months ago
2015
Springer
This paper addresses quantifying security risks associated with data assets within design models of embedded systems. Attack and system behaviours are modelled as time-dependent st...
SAFECOMP
2015
Springer
8 years 7 months ago
2015
Springer
Advanced Driver Assistance Systems (ADAS), like adaptive cruise control, collision avoidance systems, and, ultimately, piloted and autonomous driving are increasingly evolving into...
SAFECOMP
2015
Springer
8 years 7 months ago
2015
Springer
Abstract. This paper addresses the problem of high-assurance operation for medical cyber-physical systems built from interoperable medical devices. Such systems are different from...
SAFECOMP
2015
Springer
8 years 7 months ago
2015
Springer
Safety critical systems or applications must satisfy safety requirements ensuring that catastrophic consequences of combined component failures are avoided or kept below a satisfyi...
PROVSEC
2015
Springer
8 years 7 months ago
2015
Springer
PROVSEC
2015
Springer
8 years 7 months ago
2015
Springer
Abstract. Sanitizable signatures, introduced by Ateniese et al. at ESORICS’05, allow to issue a signature on a message where certain predefined message blocks may later be chang...
PROVSEC
2015
Springer
8 years 7 months ago
2015
Springer
We present a privacy-assured multiplication protocol using which an arbitrary arithmetic formula with inputs from two parties over a finite field Fp can be jointly computed on en...
PROVSEC
2015
Springer
8 years 7 months ago
2015
Springer
Functional encryption (FE) enables sophisticated control over decryption rights in a multi-user scenario, while functional signature (FS) allows to enforce complex constraints on s...