LQ placeholderFoundational mathematics  for security

Foundational mathematics for security

A two-day workshop funded by the Air Force Office of Scientific Research on computational topology, game semantics and network security.