Mace Systems and Language Support for Building Correct, High Performance Net
▶Mace Systems and Language Support for Building Correct, High Performance Net — a 2009 CERIAS - 2009 security conference talk on network (48:55 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube