Documents

Author tools:
2012
Paulitsch, Michael, Rupert Reiger, Lorenzo Strigini, and Robin E. Bloomfield. "Evidence-Based Security in Aerospace: From Safety to Security and Back Again." In ISSRE Workshops 2012, 21-22., 2012.
application/pdf iconpaulitsch-reiger-strigini-bloomfield-2012-evidence-based-security-aerospace-safety-security-and-back.pdf
Bloomfield, Richard, Robin Bloomfield, Ilir Gashi, and Robert Stroud. "How Secure Is ERTMS?" In Computer Safety, Reliability, and Security, edited by Frank Ortmeier and Peter Daniel, 247-258. Vol. 7613. Lecture Notes in Computer Science 7613. Magdeburg: Springer Berlin Heidelberg, 2012.
SESAMO leaflet 2012-08., 2012.
application/pdf icona4-sesamo-2012-08.pdf
D6.1 Project website, newsletters and press releases., 2012.
application/pdf icond61-project-website-newsletters-and-press-releases-v01.pdf
2013
D'Ambrosio, Joseph, and Rami Debouk. "The ARTEMIS SESAMO Project (oral presentation)." In Society of Automotive Engineers (SAE) World Congress., 2013.
D4.1 Integrated Design and Evaluation., 2013.
application/pdf icond41-integrated-design-and-evaluation-v01.pdf
Krautsevich, Leanid, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori, and Artsiom Yautsiukhin. "Integration of Quantitative Methods for Risk Evaluation within Usage Control Policies." In Computer Communications and Networks (ICCCN), 2013 22nd International Conference on., 2013.
Strigini, L., and A. A. Povyakalo. "Software fault-freeness and reliability predictions." In SAFECOMP 2013., 2013.
Krautsevich, Leanid, Aliaksandr Lazouski, Fabio Martinelli, and Artsiom Yautsiukhin. "Towards Attribute-based Access Control Policy Engineering Using Risk." In Proceedings of 1st International Workshop on Risk Assessment and Risk-driven Testing (RISK)., 2013.
D2.1 Specification of Safety and Security Mechanisms., 2013.
application/pdf icond21-specification-safety-and-security-mechanisms-v01.pdf
D3.1 Specification of Safety and Security Analysis and Assessment Techniques., 2013.
application/pdf icond31-specification-safety-and-security-analysis-and-assessment-techniques-v01.pdf
Gashi, I., B. Sobesto, S. Mason, V. Stankovic, and M. Cukier. "A Study of the Relationship Between Antivirus Regressions and Label Changes." In IEEE International Symposium on Software Reliability Engineering. Pasadena, CA, USA, 2013.
Bloomfield, R., K. Netkachova, and R. Stroud. "Security-Informed Safety: If It's Not Secure, It's Not Safe." In 5th International Workshop on Software Engineering for Resilient Systems (SERENE 2013). Kiev, Ukraine, 2013.
2014
Born, Marc. "An Approach to Safety and Security Analysis for Automotive Systems." In Eurofourm Jahrestagung ISO 26262., 2014.
Born, Marc. "An Approach to Safety and Security Analysis for Automotive Systems (oral presentation)." In SAE World Congress 2014., 2014.
Beckers, Kristian, Maritta Heisel, Leanid Krautsevich, Fabio Martinelli, Rene Meis, and Artsiom Yautsiukhin. "Determining the Probability of Smart Grid Attacks by Combining Attack Tree and Attack Graph Analysis." In SmartGrid 2014., 2014.
Fruth., 2014.
application/pdf icon05-isse14-fruth.pdf
Introduction., 2014.
application/pdf icon01-isse14-lr.pdf
Joyce CSL., 2014.
application/pdf icon04-isse14-joyce-csl.pdf
MERGE., 2014.
application/pdf icon03-isse14-merge.pdf
Onera., 2014.
application/pdf icon07-isse14-onera.pdf
Malinowsky, B., H. - P. Schwefel, and O. Jung. "Quantitative Safety and Security Analysis from a Communication Perspective." In ValueTools '14 Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools. Bratislava, Slovakia, 2014.
Schmittner FMVEA., 2014.
application/pdf icon06-isse14-schmittner-fmvea.pdf
Mazzini, S., J. Favaro, and A. Martelli. "Security and Safety Modelling in Embedded Sys-tems." In Embedded Real Time Software and Systems Conference. Toulouse, France, 2014.
SESAMO., 2014.
application/pdf icon02-isse14-sesamo.pdf
Use Case Evaluation (Preliminary)., 2014.
application/pdf iconuse-case-evaluation-communication-material.pdf
Netkachov, A., P. T. Popov, and K. Salako. "Model-based Evaluation of the Resilience of Critical Infrastructures under Cyber Attacks." In 9th International Conference on Critical Information Infrastructures Security. Limassol, Cyprus, 2014.
Bloomfield, R. E., and K. Netkachova. "Building Blocks for Assurance Cases." In International Symposium on Software Reliability Engineering. Naples, Italy, 2014.
Bruni, Alessandro, Michal Sojka, Flemming Nielson, and Hanne Riis Nielson. "Formal Security Analysis of the MaCAN Protocol." In Integrated Formal Methods. Bertinoro, Italy, 2014.
D'Ambrosio, Joseph, and Rami Debouk. "The ARTEMIS SESAMO Project (oral presentation)." In Society of Automotive Engineers (SAE) World Congress., 2014.
D4.2 Integrated Design and Evaluation Methodology., 2014.
application/pdf icond42-integrated-design-and-evaluation.pdf
Sojka, Michal, Michal Kreč, and Zdeněk Hanzálek. "Case study on combined validation of safety & security requirements." In IEEE International Symposium on Industrial Embedded Systems. Pisa, Italy, 2014.
Gashi, I., A. A. Povyakalo, L. Strigini, M. Matschnig, T. Hinterstoisser, and B. Fischer. "Diversity for Safety and Security in Embedded Systems." In IEEE International Conference on Dependable Systems and Networks. Atlanta, GA, USA, 2014.
D5.3 Use Case Evaluation., 2014.
application/pdf icond53-use-case-evaluation-preliminary.pdf
Sojka, Michal, Pavel Píša, and Zdeněk Hanzálek. "Performance evaluation of Linux CAN-related system calls." In 10th IEEE International Workshop on Factory Communication Systems. Toulouse, France, 2014.
Popov, P. T., A. A. Povyakalo, V. Stankovic, and L. Strigini. "Software diversity as a measure for reducing development risk." In European Dependable Computing Conference - EDCC. Newcastle upon Tyne, UK, 2014.
Integrated Design and Evaluation Methodology., 2014.
application/pdf iconintegrated-design-and-evaluation-communication-material.pdf
Kriaa, Siwar, Marc Bouissou, Frédéric Colin, Yoran Halgand, and Ludovic Pietre-Cambacedes. "Safety and security interactions modeling using the BDMP formalism: case study of a pipeline." In Safecomp 2014. Firenze, Italy, 2014.
application/pdf iconsafecomp2014-edf-safety-and-security-interactions-modeling-using-bdmp-formalism.pdf
Netkachov, O., P. Popov, and K. Salako. "Quantification of the Impact of Cyber Attack in Critical Infrastructures." In SAFECOMP 2014., 2014.
2015
D5.4 Use Case Evaluation (final public)., 2015.
application/pdf iconsesamo-d54-use-case-evaluation-final-public.pdf
Born, Marc, and Mario Winkler. "Design Methodology for Safety and Security in Automotive." In SAE World Congress 2015., 2015.
Born, Marc, Antoine Boulanger, John Favaro, Laurent Heidt, and Mario Winkler. "Integrated Design and Evaluation of Safety and Security in Automotive System Development." In Fifth VDA Automotive SYS Konferenz., 2015.
Czerny, Barbara J., Joseph D’Ambrosio, Rami Debouk, and Kelly Stashko. ISO 26262 Functional Safety Draft International Standard for Road Vehicles: Background, Status, and Overview., 2015.
application/pdf iconiso-26262-dis-tutorial-2010-final.pdf
Netkachova, K., K. Müller, M. Paulitsch, and R. Bloomfield. "Security-Informed Safety Case Approach to Analysing MILS Systems." In HiPEAC 2015., 2015.