Paul Butcher is a Senior Software Engineer and AdaCore’s Lead Engineer in the UK for HICLASS.

Articles by Author

In 5 steps, I will show you how to find a remote code execution vulnerability in an unreleased version of the  German Covid-19 tracing app (CWA), using feedback-based fuzz testing.

For obvious reasons, civilian aerospace is steeped in safety regulation. Long-standing...

Subscribe to our Newsletter!