Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Carmine Abate"'
Autor:
Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Cătălin Hrițcu, Kenji Maillard, Bas Spitters
Publikováno v:
ACM Transactions on Programming Languages and Systems.
State-separating proofs (SSP) is a recent methodology for structuring game-based cryptographic proofs in a modular way, by using algebraic laws to exploit the modular structure of composed protocols. While promising, this methodology was previously n
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::527ef3480187e0fa65e80de3b22ec333
https://doi.org/10.1145/3594735
https://doi.org/10.1145/3594735
Autor:
Carmine Abate, Roberto Blanco, Ștefan Ciobâcă, Marco Patrignani, Adrien Durier, Jérémy Thibault, Éric Tanter, Cătălin Hrițcu, Deepak Garg
Publikováno v:
Programming Languages and Systems
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Programming Languages and Systems
Programming Languages and Systems-29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Programming Languages and Systems ISBN: 9783030449131
ESOP
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Programming Languages and Systems
Programming Languages and Systems-29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Programming Languages and Systems ISBN: 9783030449131
ESOP
Compiler correctness is, in its simplest form, defined as the inclusion of the set of traces of the compiled program into the set of traces of the original program, which is equivalent to the preservation of all trace properties. Here traces collect,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dc21d4a5ceaf59064bf89c09ed1b98fd
http://europepmc.org/articles/PMC7702255
http://europepmc.org/articles/PMC7702255
Autor:
Carmine Abate
In una calda notte d'agosto, quando gli incendi divampano nelle campagne di Spillace, tre amici si riuniscono per chiacchierare fino a tardi. È un rito che compiono ogni sera, forse per cercare di spegnere almeno il fuoco che sentono dentro, nell'es
Autor:
Carmine Abate
The village of Hora is a magical place that blurs the boundaries between a mythical past and the present. It is here that Costantino Avati grows alongside his impetuous and melancholic father, Francesco; his mother, Elena, who hides a secret torment;
Publikováno v:
Proceedings of 19th Asian Symposium on Programming Languages and Systems (APLAS)
Programming Languages and Systems ISBN: 9783030890506
Programming Languages and Systems ISBN: 9783030890506
The most prominent formal criterion for secure compilation is full abstraction, the preservation and reflection of contextual equivalence. Recent work introduced robust compilation, defined as the preservation of robust satisfaction of hyperpropertie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c2e92228d346dc7e269ebf0d205811e7
Autor:
Deepak Garg, Carmine Abate, Jérémy Thibault, Catalin Hritcu, Roberto Blanco, Marco Patrignani
Publikováno v:
32nd IEEE Computer Security Foundations Symposium (CSF)
2019 IEEE 32nd Computer Security Foundations Symposium (CSF)
CSF 2019-32nd IEEE Computer Security Foundations Symposium
CSF 2019-32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States. pp.256-271, ⟨10.1109/CSF.2019.00025⟩
CSF
2019 IEEE 32nd Computer Security Foundations Symposium (CSF)
CSF 2019-32nd IEEE Computer Security Foundations Symposium
CSF 2019-32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States. pp.256-271, ⟨10.1109/CSF.2019.00025⟩
CSF
(CROPPED TO FIT IN ARXIV'S SILLY LIMIT. SEE PDF FOR COMPLETE ABSTRACT.) We are the first to thoroughly explore a large space of formal secure compilation criteria based on robust property preservation, i.e., the preservation of properties satisfied a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c5258244ad14840038a19bfa836a7a4d
https://doi.org/10.1109/CSF.2019.00025
https://doi.org/10.1109/CSF.2019.00025
Autor:
Théo Laurent, Roberto Blanco, Arthur Azevedo de Amorim, Catalin Hritcu, Marco Stronati, Andrew Tolmach, Carmine Abate, Guglielmo Fachini, Benjamin C. Pierce, Ana Nora Evans
Publikováno v:
CCS
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security-CCS 18
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security -CCS '18
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security-CCS 18
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security -CCS '18
We propose a new formal criterion for evaluating secure compilation schemes for unsafe languages, expressing end-to-end security guarantees for software components that may become compromised after encountering undefined behavior---for example, by ac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aa3e4c30ef24d96db436671d67487d2b
https://doi.org/10.1145/3243734.3243745
https://doi.org/10.1145/3243734.3243745
Autor:
Cătălin Hritţcu, Roberto Blanco, Marco Patrignani, Carmine Abate, Éric Tanter, Adrien Durier, Deepak Garg, Ştefan Ciobâcă, Jérémy Thibault
Publikováno v:
ACM Transactions on Programming Languages and Systems
Compiler correctness, in its simplest form, is defined as the inclusion of the set of traces of the compiled program in the set of traces of the original program. This is equivalent to the preservation of all trace properties. Here, traces collect, f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f1d664202b6cfad95f37896e3bc7b048
Autor:
GIACOMARRA M. G.
Due gruppi di minoranza etnica e/o linguistica immigrati in Sicilia tra il XII e il XVI sec. (Albanesi e Galloitalici) vengono messi a confronto nel trattamento della loro identità culturale. Two minorities immigrated in Sicily between XII and XVI c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::15c4b58ccc80f5f9f8d8b4ac1017e7cb
http://hdl.handle.net/10447/250273
http://hdl.handle.net/10447/250273