How do Hardware Security Modules impact the automotive sector? The final blog in a three part discussion

Mon 30 October 2023 - Kaspar Mätas

The third part of a blog series, discussing HSM-backed security requirements and how we analyse the tradeoffs offered by modern options.

How do Hardware Security Modules impact the automotive sector? Part two of a three part discussion

Mon 23 October 2023 - Kaspar Mätas

The 2nd part of a blog series, discussing HSM-backed security requirements and how we analyze the tradeoffs offered by modern options.

How do Hardware Security Modules impact the automotive sector? Part one of a three part discussion

Mon 16 October 2023 - Kaspar Mätas

As we work increasingly with systems that have HSM-backed security requirements, we analyze the tradeoffs offered by modern options.

YAML Schemas: Validating Data without Writing Code

Tue 23 November 2021 - Sam Thursfield

YAML's data model can represent arbitrary data, so when an app parses a YAML document it might get back anything. It's up to the developer to check that the data is structured how the app expects and to control what happens when it isn't. Does it report an error to the user? Is the behaviour undefined? Does it crash?

My experience of the MIT STAMP workshop 2020

Tue 25 August 2020 - Shaun Mooney

I recently digitally attended the 2020 STAMP workshop, hosted by MIT. This was originally planned to be in Boston in March, but for obvious reasons was moved.

Investigating kernel user-space access

Tue 16 June 2020 - Ben Dooks, Kejia Hu

In 2018, Codethink worked with Lukas Bulwahn from BMW on a project investigating some core functionality of the Linux kernel that is relevant to safety considerations of an assumed system. We wanted to share some of our findings from this work, as it could prove useful to communities interested in using Linux in a safety-critical context.

Trusting software in a pandemic

Tue 26 May 2020 - Paul Albertella

As concerns about the privacy and security implications of contract tracing apps for COVID-19 show, establishing trust in software is still a real challenge. I’ve been following reports about these apps closely, and have been interested to read medical, technical and ethical analysis from around the world. What all of these perspectives underline for me is the critical role of public trust in the success or failure of such applications.

MIT Doctor delivers Manchester masterclass on innovative safety methodology

Mon 11 March 2019 - Tim Pockney

Systems are becoming more complex than ever before. This now allows us to accomplish tasks that once seemed impossible. With this increase in complexity from systems, there is a need for safety models that can keep up.

STAMP (System-Theoretic Accident Model and Processes) is an accident and causality model based …

Towards Trustable Software White Paper

Tue 17 October 2017 - Codethink

LONDON--(BUSINESS WIRE)-- The Institute for Strategy, Resilience & Security (ISRS) at University College London (UCL) in association with software developer Codethink Ltd, today announced the release of a new white paper entitled Towards Trustable Software – A Systematic Approach To Establishing Trust In Software. Paul Sherwood, CEO of Codethink will introduce …

Validating Schemas in YAML

Tue 18 October 2016 - Jim MacArthur

Looking at YAML and JSON for Schemas and Validation.

How to run Standups on IRC/Slack

Wed 20 January 2016 - Danny Abukalam

Standing up

We do standups to keep the team aware of what everyone is doing, and to identify roadblocks. Doing them on IRC means we can

log the minutes
have remote participants
be in more than one standup at once (eg Project Manager)

Standups should be short - approx 10 minutes …

Articles with tag 'Trustable Software'