Micro-Policies: Formally Verified, Tag-Based Security Monitors
de Amorim, Arthur Azevedo, Denes, Maxime, Giannarakis, Nick, Hritcu, Catalin, Pierce, Benjamin C., Spector-Zabusky, Antal, Tolmach, Andrew
Published in 2015 IEEE Symposium on Security and Privacy (01.05.2015)
Published in 2015 IEEE Symposium on Security and Privacy (01.05.2015)
Get full text
Conference Proceeding
Testing noninterference, quickly
HRIŢCU, CĂTĂLIN, LAMPROPOULOS, LEONIDAS, SPECTOR-ZABUSKY, ANTAL, AZEVEDO DE AMORIM, ARTHUR, DÉNÈS, MAXIME, HUGHES, JOHN, PIERCE, BENJAMIN C., VYTINIOTIS, DIMITRIOS
Published in Journal of functional programming (01.01.2016)
Published in Journal of functional programming (01.01.2016)
Get full text
Journal Article
Embracing a mechanized formalization gap
Spector-Zabusky, Antal, Breitner, Joachim, Li, Yao, Weirich, Stephanie
Year of Publication 25.10.2019
Year of Publication 25.10.2019
Get full text
Journal Article
Total Haskell is Reasonable Coq
Spector-Zabusky, Antal, Breitner, Joachim, Rizkallah, Christine, Weirich, Stephanie
Published in arXiv.org (25.11.2017)
Published in arXiv.org (25.11.2017)
Get full text
Paper
Journal Article
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code
Breitner, Joachim, Spector-Zabusky, Antal, Li, Yao, Rizkallah, Christine, Wiegley, John, Weirich, Stephanie
Year of Publication 19.03.2018
Year of Publication 19.03.2018
Get full text
Journal Article
Embracing a mechanized formalization gap
Spector-Zabusky, Antal, Breitner, Joachim, Yao, Li, Weirich, Stephanie
Published in arXiv.org (25.10.2019)
Get full text
Published in arXiv.org (25.10.2019)
Paper
Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components
Juglaret, Yannis, Hritcu, Catalin, de Amorim, Arthur Azevedo, Pierce, Benjamin C, Spector-Zabusky, Antal, Tolmach, Andrew
Year of Publication 02.10.2015
Year of Publication 02.10.2015
Get full text
Journal Article
Testing Noninterference, Quickly
Hritcu, Catalin, Lampropoulos, Leonidas, Spector-Zabusky, Antal, Azevedo de Amorim, Arthur, Dénès, Maxime, Hughes, John, Pierce, Benjamin C, Vytiniotis, Dimitrios
Published in arXiv.org (25.07.2015)
Published in arXiv.org (25.07.2015)
Get full text
Paper
Journal Article