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

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