BibTeX records: Arthur Azevedo de Amorim

download as .bib file

@inproceedings{DBLP:conf/post/AmorimHP18,
  author    = {Arthur Azevedo de Amorim and
               Catalin Hritcu and
               Benjamin C. Pierce},
  title     = {The Meaning of Memory Safety},
  booktitle = {Principles of Security and Trust - 7th International Conference, {POST}
               2018, Held as Part of the European Joint Conferences on Theory and
               Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20,
               2018, Proceedings},
  pages     = {79--105},
  year      = {2018},
  crossref  = {DBLP:conf/post/2018},
  url       = {https://doi.org/10.1007/978-3-319-89722-6\_4},
  doi       = {10.1007/978-3-319-89722-6\_4},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/post/AmorimHP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-00588,
  author    = {Guglielmo Fachini and
               Catalin Hritcu and
               Marco Stronati and
               Arthur Azevedo de Amorim and
               Ana Nora Evans and
               Carmine Abate and
               Roberto Blanco and
               Th{\'{e}}o Laurent and
               Benjamin C. Pierce and
               Andrew Tolmach},
  title     = {When Good Components Go Bad: Formally Secure Compilation Despite Dynamic
               Compromise},
  journal   = {CoRR},
  volume    = {abs/1802.00588},
  year      = {2018},
  url       = {http://arxiv.org/abs/1802.00588},
  archivePrefix = {arXiv},
  eprint    = {1802.00588},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1802-00588},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-05091,
  author    = {Arthur Azevedo de Amorim and
               Marco Gaboardi and
               Justin Hsu and
               Shin{-}ya Katsumata},
  title     = {Metric Semantics for Probabilistic Relational Reasoning},
  journal   = {CoRR},
  volume    = {abs/1807.05091},
  year      = {2018},
  url       = {http://arxiv.org/abs/1807.05091},
  archivePrefix = {arXiv},
  eprint    = {1807.05091},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1807-05091},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AmorimGHKC17,
  author    = {Arthur Azevedo de Amorim and
               Marco Gaboardi and
               Justin Hsu and
               Shin{-}ya Katsumata and
               Ikram Cherigui},
  title     = {A semantic account of metric preservation},
  booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
               Programming Languages, {POPL} 2017, Paris, France, January 18-20,
               2017},
  pages     = {545--556},
  year      = {2017},
  crossref  = {DBLP:conf/popl/2017},
  url       = {http://dl.acm.org/citation.cfm?id=3009890},
  timestamp = {Wed, 28 Dec 2016 13:17:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/AmorimGHKC17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AmorimGHKC17,
  author    = {Arthur Azevedo de Amorim and
               Marco Gaboardi and
               Justin Hsu and
               Shin{-}ya Katsumata and
               Ikram Cherigui},
  title     = {A Semantic Account of Metric Preservation},
  journal   = {CoRR},
  volume    = {abs/1702.00374},
  year      = {2017},
  url       = {http://arxiv.org/abs/1702.00374},
  archivePrefix = {arXiv},
  eprint    = {1702.00374},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AmorimGHKC17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AmorimHP17,
  author    = {Arthur Azevedo de Amorim and
               Catalin Hritcu and
               Benjamin C. Pierce},
  title     = {The Meaning of Memory Safety},
  journal   = {CoRR},
  volume    = {abs/1705.07354},
  year      = {2017},
  url       = {http://arxiv.org/abs/1705.07354},
  archivePrefix = {arXiv},
  eprint    = {1705.07354},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AmorimHP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-07308,
  author    = {Guglielmo Fachini and
               Catalin Hritcu and
               Marco Stronati and
               Ana Nora Evans and
               Th{\'{e}}o Laurent and
               Arthur Azevedo de Amorim and
               Benjamin C. Pierce and
               Andrew Tolmach},
  title     = {Formally Secure Compilation of Unsafe Low-Level Components (Extended
               Abstract)},
  journal   = {CoRR},
  volume    = {abs/1710.07308},
  year      = {2017},
  url       = {http://arxiv.org/abs/1710.07308},
  archivePrefix = {arXiv},
  eprint    = {1710.07308},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1710-07308},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/Amorim16,
  author    = {Arthur Azevedo de Amorim},
  title     = {Binding Operators for Nominal Sets},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {325},
  pages     = {3--27},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.entcs.2016.09.029},
  doi       = {10.1016/j.entcs.2016.09.029},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/Amorim16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/AmorimCDDHPPPT16,
  author    = {Arthur Azevedo de Amorim and
               Nathan Collins and
               Andr{\'{e}} DeHon and
               Delphine Demange and
               Catalin Hritcu and
               David Pichardie and
               Benjamin C. Pierce and
               Randy Pollack and
               Andrew Tolmach},
  title     = {A verified information-flow architecture},
  journal   = {Journal of Computer Security},
  volume    = {24},
  number    = {6},
  pages     = {689--734},
  year      = {2016},
  url       = {https://doi.org/10.3233/JCS-15784},
  doi       = {10.3233/JCS-15784},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcs/AmorimCDDHPPPT16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HritcuLSADHPV16,
  author    = {Catalin Hritcu and
               Leonidas Lampropoulos and
               Antal Spector{-}Zabusky and
               Arthur Azevedo de Amorim and
               Maxime D{\'{e}}n{\`{e}}s and
               John Hughes and
               Benjamin C. Pierce and
               Dimitrios Vytiniotis},
  title     = {Testing noninterference, quickly},
  journal   = {J. Funct. Program.},
  volume    = {26},
  pages     = {e4},
  year      = {2016},
  url       = {https://doi.org/10.1017/S0956796816000058},
  doi       = {10.1017/S0956796816000058},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/HritcuLSADHPV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/JuglaretHAEP16,
  author    = {Yannis Juglaret and
               Catalin Hritcu and
               Arthur Azevedo de Amorim and
               Boris Eng and
               Benjamin C. Pierce},
  title     = {Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing
               Compilation},
  booktitle = {{IEEE} 29th Computer Security Foundations Symposium, {CSF} 2016, Lisbon,
               Portugal, June 27 - July 1, 2016},
  pages     = {45--60},
  year      = {2016},
  crossref  = {DBLP:conf/csfw/2016},
  url       = {https://doi.org/10.1109/CSF.2016.11},
  doi       = {10.1109/CSF.2016.11},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/JuglaretHAEP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JuglaretHAP16,
  author    = {Yannis Juglaret and
               Catalin Hritcu and
               Arthur Azevedo de Amorim and
               Benjamin C. Pierce},
  title     = {Beyond Full Abstraction: Formalizing the Security Guarantees of Low-Level
               Compartmentalization},
  journal   = {CoRR},
  volume    = {abs/1602.04503},
  year      = {2016},
  url       = {http://arxiv.org/abs/1602.04503},
  archivePrefix = {arXiv},
  eprint    = {1602.04503},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/JuglaretHAP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/AmorimDGHPST15,
  author    = {Arthur Azevedo de Amorim and
               Maxime D{\'{e}}n{\`{e}}s and
               Nick Giannarakis and
               Catalin Hritcu and
               Benjamin C. Pierce and
               Antal Spector{-}Zabusky and
               Andrew Tolmach},
  title     = {Micro-Policies: Formally Verified, Tag-Based Security Monitors},
  booktitle = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
               CA, USA, May 17-21, 2015},
  pages     = {813--830},
  year      = {2015},
  crossref  = {DBLP:conf/sp/2015},
  url       = {https://doi.org/10.1109/SP.2015.55},
  doi       = {10.1109/SP.2015.55},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sp/AmorimDGHPST15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AmorimAGH15,
  author    = {Arthur Azevedo de Amorim and
               Emilio Jes{\'{u}}s Gallego Arias and
               Marco Gaboardi and
               Justin Hsu},
  title     = {Really Natural Linear Indexed Type Checking},
  journal   = {CoRR},
  volume    = {abs/1503.04522},
  year      = {2015},
  url       = {http://arxiv.org/abs/1503.04522},
  archivePrefix = {arXiv},
  eprint    = {1503.04522},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AmorimAGH15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AmorimCDDHPPPT15,
  author    = {Arthur Azevedo de Amorim and
               Nathan Collins and
               Andr{\'{e}} DeHon and
               Delphine Demange and
               Catalin Hritcu and
               David Pichardie and
               Benjamin C. Pierce and
               Randy Pollack and
               Andrew Tolmach},
  title     = {A Verified Information-Flow Architecture},
  journal   = {CoRR},
  volume    = {abs/1509.06503},
  year      = {2015},
  url       = {http://arxiv.org/abs/1509.06503},
  archivePrefix = {arXiv},
  eprint    = {1509.06503},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AmorimCDDHPPPT15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JuglaretHAPST15,
  author    = {Yannis Juglaret and
               Catalin Hritcu and
               Arthur Azevedo de Amorim and
               Benjamin C. Pierce and
               Antal Spector{-}Zabusky and
               Andrew Tolmach},
  title     = {Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation
               for Mutually Distrustful Components},
  journal   = {CoRR},
  volume    = {abs/1510.00697},
  year      = {2015},
  url       = {http://arxiv.org/abs/1510.00697},
  archivePrefix = {arXiv},
  eprint    = {1510.00697},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/JuglaretHAPST15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/AmorimGAH14,
  author    = {Arthur Azevedo de Amorim and
               Marco Gaboardi and
               Emilio Jes{\'{u}}s Gallego Arias and
               Justin Hsu},
  title     = {Really Natural Linear Indexed Type Checking},
  booktitle = {Proceedings of the 26th 2014 International Symposium on Implementation
               and Application of Functional Languages, {IFL} '14, Boston, MA, USA,
               October 1-3, 2014},
  pages     = {5:1--5:12},
  year      = {2014},
  crossref  = {DBLP:conf/ifl/2014},
  url       = {http://doi.acm.org/10.1145/2746325.2746335},
  doi       = {10.1145/2746325.2746335},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifl/AmorimGAH14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AmorimCDDHPPPT14,
  author    = {Arthur Azevedo de Amorim and
               Nathan Collins and
               Andr{\'{e}} DeHon and
               Delphine Demange and
               Catalin Hritcu and
               David Pichardie and
               Benjamin C. Pierce and
               Randy Pollack and
               Andrew Tolmach},
  title     = {A verified information-flow architecture},
  booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
               2014},
  pages     = {165--178},
  year      = {2014},
  crossref  = {DBLP:conf/popl/2014},
  url       = {http://doi.acm.org/10.1145/2535838.2535839},
  doi       = {10.1145/2535838.2535839},
  timestamp = {Thu, 09 Jan 2014 08:21:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/AmorimCDDHPPPT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HritcuLSADHPV14,
  author    = {Catalin Hritcu and
               Leonidas Lampropoulos and
               Antal Spector{-}Zabusky and
               Arthur Azevedo de Amorim and
               Maxime D{\'{e}}n{\`{e}}s and
               John Hughes and
               Benjamin C. Pierce and
               Dimitrios Vytiniotis},
  title     = {Testing Noninterference, Quickly},
  journal   = {CoRR},
  volume    = {abs/1409.0393},
  year      = {2014},
  url       = {http://arxiv.org/abs/1409.0393},
  archivePrefix = {arXiv},
  eprint    = {1409.0393},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/HritcuLSADHPV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HritcuHPSVAL13,
  author    = {Catalin Hritcu and
               John Hughes and
               Benjamin C. Pierce and
               Antal Spector{-}Zabusky and
               Dimitrios Vytiniotis and
               Arthur Azevedo de Amorim and
               Leonidas Lampropoulos},
  title     = {Testing noninterference, quickly},
  booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
               ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
  pages     = {455--468},
  year      = {2013},
  crossref  = {DBLP:conf/icfp/2013},
  url       = {http://doi.acm.org/10.1145/2500365.2500574},
  doi       = {10.1145/2500365.2500574},
  timestamp = {Thu, 19 Sep 2013 11:20:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/HritcuHPSVAL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/post/2018,
  editor    = {Lujo Bauer and
               Ralf K{\"{u}}sters},
  title     = {Principles of Security and Trust - 7th International Conference, {POST}
               2018, Held as Part of the European Joint Conferences on Theory and
               Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20,
               2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10804},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-89722-6},
  doi       = {10.1007/978-3-319-89722-6},
  isbn      = {978-3-319-89721-9},
  timestamp = {Mon, 16 Apr 2018 13:26:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/post/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2017,
  editor    = {Giuseppe Castagna and
               Andrew D. Gordon},
  title     = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
               Programming Languages, {POPL} 2017, Paris, France, January 18-20,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3009837},
  doi       = {10.1145/3009837},
  isbn      = {978-1-4503-4660-3},
  timestamp = {Wed, 28 Dec 2016 13:17:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csfw/2016,
  title     = {{IEEE} 29th Computer Security Foundations Symposium, {CSF} 2016, Lisbon,
               Portugal, June 27 - July 1, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7518122},
  isbn      = {978-1-5090-2607-4},
  timestamp = {Mon, 19 Sep 2016 15:37:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sp/2015,
  title     = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
               CA, USA, May 17-21, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7160813},
  isbn      = {978-1-4673-6949-7},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sp/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifl/2014,
  editor    = {Sam Tobin{-}Hochstadt},
  title     = {Proceedings of the 26th 2014 International Symposium on Implementation
               and Application of Functional Languages, {IFL} '14, Boston, MA, USA,
               October 1-3, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2746325},
  isbn      = {978-1-4503-3284-2},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifl/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2014,
  editor    = {Suresh Jagannathan and
               Peter Sewell},
  title     = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
               2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2535838},
  isbn      = {978-1-4503-2544-8},
  timestamp = {Thu, 09 Jan 2014 08:21:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2013,
  editor    = {Greg Morrisett and
               Tarmo Uustalu},
  title     = {{ACM} {SIGPLAN} International Conference on Functional Programming,
               ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2500365},
  isbn      = {978-1-4503-2326-0},
  timestamp = {Thu, 19 Sep 2013 11:20:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier