Portfolio

ISO/SAE 21434 from a Software Development Perspective: How sound, exhaustive static analysis can help ensure air-tight automotive cybersecurity while lowering its costs

White Paper – Problem/Solution Format

From Bare Metal to Kernel Code: How Exhaustive Static Analysis Can Guarantee Airtight Security in Low-level Software and Firmware

White Paper – Problem/Solution Format

Fuzzing and Beyond: A guide to fuzzing for cybersecurity and how to go beyond fuzzing to guarantee perfect protection against cyberattack

White Paper – Problem/Solution Format

How the Royal New Zealand Navy’s Largest Ship Uses ISR Mission Software to Power Global Sustainment

Case Study – Article Format

NVIDIA: Adoption of SPARK Ushers in a New Era in Security-Critical Software Development

Case Study – Article Format

Delivering Safety-Critical Software Faster and Cheaper

White Paper – Problem/Solution Format

How Exhaustive Static Analysis Can Prove the Security of TEEs

White Paper – Problem/Solution Format

Case study: Raising the Reliability of Scientific Space Exploration

Case Study – Article Format

How Masten Space Systems is Using Ada and SPARK to Land on the Moon’s South Pole

Case Study – Article Format

1
2
3
…
9
Next »