Our Partners and Sponsors
Current Sponsors
Cyberagentur (DE)
DARPA (US)
National Cyber Security Centre (UK)
Current Collaboration Partners
Alaska Center for Energy and Power (ACEP)
Australian National University
Carnegie Mellon University
Chalmers University of Technology
Collins Aerospace
DornerWorks
ETH Zurich
Kansas State University
University of Kansas
PlanV GmbH
Proofcraft
Neutrality
The seL4 Foundation
University of Gothenburg
Recent Sponsors
Australian Research Council (AU)
Defence Science and Technology (AU)
Google (US)
HENSOLDT Cyber (DE)
NIO America (US)
NLnet Foundation (NL)
Kansas State University
University of Kansas
The seL4 Foundation
Technology Innovation Institute (AE)
Recent Collaboration Partners
Adventium Labs
The Boeing Company
Breakaway Consulting
EDS
Galois
The University of Melbourne
Technology Innovation Institute (AE)