Nathan Fulton, Stefan Mitsch, Brandon Bohrer, André Platzer. Bellerophon: Tactical Theorem Proving for Hybrid Systems. To Appear in the 8th International Conference on Interactive Theorem Proving, ITP’17, Braíslia, Brasil.
PDF | Slides | Language Implementation | Standard Library Implementation

Nathan Fulton, André Platzer. A Logic of Proofs for Differential Dynamic Logic: Toward Independently Checkable Proof Certificates for Dynamic Logics. In Proceedings of The 5th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP’16, St. Petersburg, FL, USA.
PDF | Slides

Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus Völp, André Platzer. KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. In the International Conference on Automated Deduction, CADE’15, Berlin, DE.
PDF | Slides | Poster | Implementation

Nathan Fulton, Cyrus Omar, Jonathan Aldrich. Statically Typed String Sanitation Inside a Python. In the First International Workshop on Privacy and Security in Programming. (Best Paper Award)
PDF | Poster | Slides

Nathan Fulton. Security Through Extensible Type Systems. SPLASH’12 Student Research Competition (Second Place).
PDF

Nathan Fulton, Cyrus Omar, Jonathan Aldrich. Statically Typed String Sanitation Inside a Python. CMU-ISR-14-112. In ISR Technical Reports 2014. Carnegie Mellon University (Technical Report).
PDF

Nathan Fulton. A Typed Lambda Calculus for Input Sanitation. In Selected Mathematics Senior Theses for the 2012-2013 Academic Year. Carthage College.
PDF

Other Talks and Presentations

Marktoberdorf Tutorial on KeYmaera X. Presented at Summer School Marktoberdorf 2017: Logical Methods for Safety and Security of Software Systems. Marktoberdorf, Garmany. August 2017.
Slides | Other Resources

Reachability Analysis in the KeYmaera X Theorem Prover. Presented at the Third International Workshop on Symbolic and Numerical Methods. Uppsala, Sweden. April 2017.
Slides

Automatic Incremental Robustification for Hybrid Systems. Presented at the Dagstuhl Seminar on Robustness for Cyber-Phyiscal Systems. Dagstuhl, Germany. September 2016.
Slides