Antal Spector-Zabusky

Testing noninterference, quickly

Benjamin C. Pierce, Leonidas Lampropoulos, Antal Spector-Zabusky, 2016, Journal of Functional Programming.

Ready, Set, Verify!

Stephanie Weirich, Antal Spector-Zabusky, C. Rizkallah, 2018 .

Formally Verified, Tag-Based Security Monitors

Benjamin C. Pierce, Antal Spector-Zabusky, Arthur Azevedo de Amorim, 2015 .

Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report)

Antal Spector-Zabusky, Stephanie Weirich, Yao Li, 2018, Journal of Functional Programming.

Total Haskell is reasonable Coq

Stephanie Weirich, Antal Spector-Zabusky, Joachim Breitner, 2017, CPP.

Testing noninterference, quickly

Benjamin C. Pierce, Leonidas Lampropoulos, Antal Spector-Zabusky, 2013, Journal of Functional Programming.

Micro-Policies: Formally Verified, Tag-Based Security Monitors

Benjamin C. Pierce, Antal Spector-Zabusky, Catalin Hritcu, 2015, 2015 IEEE Symposium on Security and Privacy.

Micro-Policies A Framework for Verified, Hardware-Assisted Security Monitors

Benjamin C. Pierce, Antal Spector-Zabusky, Arthur Azevedo de Amorim, 2014 .