%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 dblp %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 = {2018-08-13T00:00:00.000+0200}, author = {Juglaret, Yannis and Hritcu, Catalin and de Amorim, Arthur Azevedo and Pierce, Benjamin C.}, biburl = {https://www.bibsonomy.org/bibtex/2f780ea9ec0dc81a2bb66f1ecfb423c46/dblp}, ee = {http://arxiv.org/abs/1602.04503}, interhash = {9374ab76f6126cd308d1e7000971d0a7}, intrahash = {f780ea9ec0dc81a2bb66f1ecfb423c46}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T14:19:25.000+0200}, 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 }