%0 Journal Article %1 journals/corr/JuglaretHAP16 %A Juglaret, Yannis %A Hritcu, Catalin %A de Amorim, Arthur Azevedo %A Pierce, Benjamin C. %D 2016 %J CoRR %K %T Beyond Full Abstraction: Formalizing the Security Guarantees of Low-Level Compartmentalization. %U http://dblp.uni-trier.de/db/journals/corr/corr1602.html#JuglaretHAP16 %V abs/1602.04503

@article{journals/corr/JuglaretHAP16, added-at = {2023-12-13T04:14:08.000+0100}, author = {Juglaret, Yannis and Hritcu, Catalin and de Amorim, Arthur Azevedo and Pierce, Benjamin C.}, biburl = {https://www.bibsonomy.org/bibtex/2f780ea9ec0dc81a2bb66f1ecfb423c46/admin}, ee = {http://arxiv.org/abs/1602.04503}, interhash = {9374ab76f6126cd308d1e7000971d0a7}, intrahash = {f780ea9ec0dc81a2bb66f1ecfb423c46}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T04:14:08.000+0100}, title = {Beyond Full Abstraction: Formalizing the Security Guarantees of Low-Level Compartmentalization.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1602.html#JuglaretHAP16}, volume = {abs/1602.04503}, year = 2016 }