Gilith

Joe Hurd
Formal Methods Lead at Galois, Inc.
Portland, Oregon, USA

Projects [more]

• OpenTheory proof archive
• Metis theorem prover

Recent Talks [more]

• FUSE: Inter-Application Security for Android, HCSS 2012, Annapolis, MD, USA.
• Formally Verified Endgame Tables, Guest Lecture, Combinatorial Games, Portland State University, Portland, Oregon, USA. [blog]
• The OpenTheory Standard Theory Library, NFM 2011, Pasadena, California, USA.
• Visualizing Information Flow through C Programs, Invited Talk, SSV '10, Vancouver, Canada.
• Visual Mathematics, Ignite Portland 9, Portland, Oregon, USA. [video] [script]

Recent Publications [more]

• Joe Hurd. The OpenTheory standard theory library. In Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, and Rajeev Joshi, editors, Third International Symposium on NASA Formal Methods (NFM 2011), volume 6617 of Lecture Notes in Computer Science, pages 177–191. Springer, April 2011. [PDF] [BiBTeX]
• David Burke, Joe Hurd, John Launchbury, and Aaron Tomb. Trust relationship modeling for software assurance. In Proceedings of the 7th International Workshop on Formal Aspects of Security & Trust (FAST 2010), September 2010. [PDF] [BiBTeX]
• Joe Hurd. Evaluation opportunities in mechanized theories (invited talk abstract). In D. McGuinness, A. Stump, G. Sutcliffe, and C. Tinelli, editors, Proceedings of the Workshop on Evaluation Methods for Solvers and Quality Metrics for Solutions (EMS+QMS 2010), July 2010. [PDF] [BiBTeX]
• Joe Hurd and Guy Haworth. Data assurance in opaque computations. In H. Jaap Van den Herik and Pieter Spronck, editors, Advances in Computer Games, 12th International Conference (ACG 2009), volume 6048 of Lecture Notes in Computer Science, pages 221–231, Pamplona, Spain. Springer, May 2010. [PDF] [BiBTeX]

Conferences [more]

• Interactive Theorem Proving (ITP 2012), PC Member.
• SVARM & VERIFY Workshop 2012, PC Member.
• Automated Theory eXploration Workshop (ATX 2012), PC Member.
• NASA Formal Methods Symposium (NFM 2012), PC Member.
• Special-Purpose Hardware for Attacking Cryptographic Systems Workshop (SHARCS 2012), Invited Speaker (With Sally Browning).