Antal Spector-Zabusky

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

Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis et al. · 2015 · 51 citations · Full text

Symbolic Machine, Engineering, Information Security +21

Testing noninterference, quickly

Cătălin Hriţcu, John Hughes, Benjamin C. Pierce et al. · 2013 · 35 citations · Full text

Program Checking, Engineering, Information-flow Control Mechanisms +24

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

Joachim Breitner, Antal Spector-Zabusky, Yao Li et al. · Proceedings of the ACM on Programming Languages · 2018 · 22 citations · Full text

Haskell Code, Engineering, Program Analysis +15

Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components

Yannis Juglaret, Cătălin Hriţcu, Arthur Azevedo de Amorim et al. · arXiv (Cornell University) · 2015 · 10 citations · Full text

Engineering, Information Security, Compiler Technology +19