Condado Plaza Hilton, San Juan, Puerto Rico, USA
December 9–10, 2019
Collocated with ACSAC 2019

Sponsors

We want to thank the following sponsors for their support of SSPREW-9.

CEA LIST

The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas: defence and security, low carbon energies (nuclear and renewable energies), technological research for industry, fundamental research in the physical sciences and life sciences. CEA's List Institute develops methods and tools for the verification and validation of software-intensive systems. These methods have been used worldwide to successfully address software safety and security challenges previously out of the range of traditional verification techniques. List research teams design and implement automated analysis in order to make software systems more trustworthy, to exhaustively detect their vulnerabilities, to guarantee conformity to their specifications, and accelerate their certification. We collaborate with large-scale industrial ecosystems especially in the field of energy and nuclear power; aeronautic, space, railway, automotive and maritime transport systems; communication; health, or financial sectors.