San Francisco / Seattle / Nijmegen / Queenstown / /
Company
Open Kernel Labs / Airborne Systems / General Dynamics / Collaboration General Dynamics C4 Systems / /
Country
Netherlands / New Zealand / United States / /
Currency
USD / /
Event
M&A / /
Facility
US National Institute of Standards and Technology / US National Institute of Standards / /
Holiday
Assumption / /
IndustryTerm
highassurance systems / multi-persona mobile devices / embedded systems / state-ofthe-art systems / verified software components / cross-domain solutions / mobile and embedded devices / assurance software-based systems / formal tools / software verification / sound tool / defense systems / Similar systems / assured solution / it in products / low-assurance software / unsound tool / software behavior / minimal trusted computing base / control systems / trusted computing base / assurance systems / real-world systems / foundational tools / verification tool / /
OperatingSystem
Android / /
Organization
Institut für Informatik / Radio Technical Commission for Aeronautics / Technische Universität München / US National Institute of Standards / US Department of Defense / US National Institute of Standards and Technology / /
Person
Toby Murray / Daniel Potts / Cells Android / Xavier Leroy / Serial / Magnus Myreen / Universität München / June Andronick / Mark Staples / Leslie Andresen / Stefan Berghofer / Andrew Boyton / Rene Bourquin / Gerwin Klein / Thomas Sewell / Gernot Heiser / /
Position
App Vault Policy Manager / General / Cell Manager / Senior Researcher / Research Group Leader / VP of Engineering / Senior Principal Researcher / / Technical Director / General / /
ProvinceOrState
Washington / California / /
PublishedMedium
Communications of the ACM / /
Technology
VPN / disk encryption / Android / operating system / Wi-Fi / mobile devices / encryption / Ethernet / flow control / flash / /
Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst