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
Security Through Extensible Type Systems.
SPLASH’12 Student Research Competition (Second Place).
A Typed Lambda Calculus for Input Sanitation.
In Selected Mathematics Senior Theses for the 2012-2013 Academic Year. Carthage College.