default search action
Search dblp for Publications
export results for "Guglielmo Fachini"
@inproceedings{DBLP:conf/ccs/AbateABEFHLPST18, author = {Carmine Abate and Arthur Azevedo de Amorim and Roberto Blanco and Ana Nora Evans and Guglielmo Fachini and Catalin Hritcu and Th{\'{e}}o Laurent and Benjamin C. Pierce and Marco Stronati and Andrew Tolmach}, editor = {David Lie and Mohammad Mannan and Michael Backes and XiaoFeng Wang}, title = {When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise}, booktitle = {Proceedings of the 2018 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2018, Toronto, ON, Canada, October 15-19, 2018}, pages = {1351--1368}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3243734.3243745}, doi = {10.1145/3243734.3243745}, timestamp = {Tue, 10 Nov 2020 20:00:51 +0100}, biburl = {https://dblp.org/rec/conf/ccs/AbateABEFHLPST18.bib}, 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}, eprinttype = {arXiv}, eprint = {1802.00588}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1802-00588.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/FachiniM17, author = {Guglielmo Fachini and Alberto Momigliano}, editor = {Alessandro Cimatti and Marjan Sirjani}, title = {Validating the Meta-Theory of Programming Languages (Short Paper)}, booktitle = {Software Engineering and Formal Methods - 15th International Conference, {SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10469}, pages = {367--374}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-66197-1\_23}, doi = {10.1007/978-3-319-66197-1\_23}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/sefm/FachiniM17.bib}, 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}, eprinttype = {arXiv}, eprint = {1710.07308}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1710-07308.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.