Information theoretic reductions among disclosure problems

G Brassard, C Crépeau… - 27th Annual Symposium on …, 1986 - ieeexplore.ieee.org
Alice disposes of some number of secrets. She is willing to disclose one of them to Bob.
Although she agrees to let him choose which secret he wants, she is not willing to allow him …

Opportunities for software reuse in an uncertain world: From past to emerging trends

R Capilla, B Gallina, C Cetina… - Journal of software …, 2019 - Wiley Online Library
Much has been investigated about software reuse since the software crisis. The
development of software reuse methods, implementation techniques, and cost models has …

A model-driven safety certification method for process compliance

B Gallina - 2014 IEEE International Symposium on Software …, 2014 - ieeexplore.ieee.org
A safety case is a contextualized structured argument constituted of process and product-
based sub-arguments to show that a system is acceptably safe. The creation of a safety case …

An integer wavelet based multiple logo-watermarking scheme

Y Yuan, D Huang, D Liu - First International Multi-Symposiums …, 2006 - ieeexplore.ieee.org
An integer wavelet based multiple logo-watermarking scheme for copyright protection of
digital image is presented. A visual meaningful binary logo is used as watermark. The …

Co-engineering of safety and security life cycles for engineering of automotive systems

R Bramberger, H Martin, B Gallina… - ACM SIGAda Ada …, 2020 - dl.acm.org
Nowadays systems are becoming more and more connected. Consequently, the co-
engineering of (cyber) security and safety life cycles becomes paramount. Currently, no …

Industrial experiences of building a safety case in compliance with iso 26262

R Dardar, B Gallina, A Johnsen… - 2012 IEEE 23rd …, 2012 - ieeexplore.ieee.org
The ISO 26262 functional safety standard provides appropriate development processes,
requirements and safety integrity levels specific for the automotive domain. One crucial …

In search of synergies in a multi-concern development lifecycle: Safety and cybersecurity

M Skoglund, F Warg, B Sangchoolie - International Conference on …, 2018 - Springer
The complexity of develo** embedded electronic systems has been increasing especially
in the automotive domain due to recently added functional requirements concerning eg …

Modeling a safety-and automotive-oriented process line to enable reuse and flexible process derivation

B Gallina, S Kashiyarandi, H Martin… - 2014 IEEE 38th …, 2014 - ieeexplore.ieee.org
ISO 26262 is a recently introduced automotive functional safety standard. This standard
imposes new requirements that must be fulfilled for conformance purposes. Thus …

Compliance of agilized (software) development processes with safety standards: a vision

B Gallina, FU Muram, JPC Ardila - Proceedings of the 19th International …, 2018 - dl.acm.org
Hybrid software development, meant as a combination of traditional and agile
methods/practices, has become a reality in safety-critical systems engineering. The …

Towards efficiently checking compliance against automotive security and safety standards

JPC Ardila, B Gallina - 2017 IEEE International Symposium on …, 2017 - ieeexplore.ieee.org
The growing connectivity of the systems that we rely on eg transportation vehicles is pushing
towards the introduction of new standards aimed at providing a baseline to address …