9 citations · 17 across the 10 of their papers we have counts for
3 papers · 1 filter
Towards Interdependent Safety Security Assessments using Bowties
Luca Arnaboldi, David Aspinall
We present a way to combine security and safety assessments using Bowtie Diagrams. Bowties model both the causes leading up to a central failure event and consequences which arise…
Why Robust Natural Language Understanding is a Challenge
Marco Casadio, Ekaterina Komendantskaya, Verena Rieser +4
With the proliferation of Deep Machine Learning into real-life applications, a particular property of this technology has been brought to attention: robustness Neural Networks noto…
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
Matthew L. Daggitt, Wen Kokke, Robert Atkey +2
Verification of neural networks is currently a hot topic in automated theorem proving. Progress has been rapid and there are now a wide range of tools available that can verify pro…