The need for new methods to assure biomanufacturing processes

In the true spirit of "We changed the W from Web to Worldwide" we have a talk that seems way out of the usual Application Security talk to discuss threats to bioinformatics and the manufacturing process. If you are thinking "Wait, what does that have to do with application security, Bill?" the answer is ... everything.

This talk outlines several challenges inherent to the biomanufacturing industry, such as the poorly understood and highly dynamic nature of biomanufacturing processes. Instruments critical to assessing quality and safety are described as among the least defensible apparatus humanity has ever built, leaving the sector exposed to adversarial threats. Despite recent progress in bioengineering, the explainability of these manufacturing processes is still built on fragile foundations.

To address these issues, Peter suggests moving away from flawed traditional methods of assessment and adopting physics-based probabilistic models, which offer better assurance and explainability. he emphasizes the importance of formal methods to ensure reliability and manage risks without completely rebuilding the system. Additionally, he advocates for accepting manageable risks and enhancing manufacturing trust through practical, science-based solutions.