Gabe Weaver

I'm a Research Scientist at the Coordinated Science Laboratory at the University of Illinois at Urbana-Champaign. I am currently working to develop a Cyber-Physical Topology Language (CPTL) to communicate and analyze cyber-physical systems. During my doctoral thesis at Dartmouth College, I created eXtended Unix tools (XUTools) to process a broader class of languages in which security policies are expressed in the language-theoretic sense. XUTools is already in demand by practitioners and articles on my research have been featured in news outlets such as ComputerWorld, CIO Magazine, Communications of the ACM, and Slashdot.

Appearing at:

BADGER - THE NETWORKED SECURITY STATE ESTIMATION TOOLKIT