Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Abate, Carmine"'
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:
http://arxiv.org/abs/2006.14969
Autor:
Abate, Carmine, Blanco, Roberto, Ciobaca, Stefan, Durier, Adrien, Garg, Deepak, Hritcu, Catalin, Patrignani, Marco, Tanter, Éric, Thibault, Jérémy
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:
http://arxiv.org/abs/1907.05320
Autor:
Abate, Carmine, Blanco, Roberto, Garg, Deepak, Hritcu, Catalin, Patrignani, Marco, Thibault, Jérémy
(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:
http://arxiv.org/abs/1807.04603
Autor:
Abate, Carmine, de Amorim, Arthur Azevedo, Blanco, Roberto, Evans, Ana Nora, Fachini, Guglielmo, Hritcu, Catalin, Laurent, Théo, Pierce, Benjamin C., Stronati, Marco, Thibault, Jérémy, Tolmach, Andrew
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:
http://arxiv.org/abs/1802.00588
Autor:
ABATE, CARMINE1 carmine.abate@mpi-sp.org, BLANCO, ROBERTO1 roberto.blanco@mpi-sp.org, CIOBÂCĂ, ȘTEFAN2 stefan.ciobaca@info.uaic.ro, DURIER, ADRIEN1 adrien.durier@mpi-sp.org, GARG, DEEPAK3 dg@mpi-sws.org, HRIȚCU, CĂTĂLIN1 catalin.hritcu@gmail.com, PATRIGNANI, MARCO4 mp@cs.stanford.edu, TANTER, ÉRIC5 etanter@dcc.uchile.cl, THIBAULT, JÉRÉMY1 jeremy.thibault@mpisp.org
Publikováno v:
ACM Transactions on Programming Languages & Systems. Oct2021, Vol. 43 Issue 4, p1-48. 48p.
Autor:
Abate, Carmine (M. Sc.)
Wir untersuchen einen eine große Auswahl von korrekter und sicherer Kompilierungsdefinitionen, die abhängen von der Klasse von Trace-Eigenschaften (Prädikaten für Ausführungstracing), Hypereigenschaften (Prädikaten für Sätze von Ausführungst
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::083c822b5b233ce8a7860b3aea38ce23
Autor:
HASELWARTER, PHILIPP G., RIVAS, EXEQUIEL, VAN MUYLDER, ANTOINE, WINTERHALTER, THÉO, ABATE, CARMINE, SIDORENCO, NIKOLAJ, HRIŢCU, CĂTĂLIN, MAILLARD, KENJI, SPITTERS, BAS
Publikováno v:
ACM Transactions on Programming Languages & Systems; Sep2023, Vol. 45 Issue 3, p1-61, 61p
Autor:
Abate, Carmine, Azevedo de Amorim, Arthur, Blanco, Roberto, Evans, Ana Nora, Fachini, Guglielmo, Hritcu, Catalin, Laurent, Théo, Pierce, Benjamin C., Stronati, Marco, Tolmach, Andrew
Publikováno v:
25th ACM Conference on Computer and Communications Security (CCS)
25th ACM Conference on Computer and Communications Security (CCS), Oct 2018, Toronto, Canada. pp.1351--1368, ⟨10.1145/3243734.3243745⟩
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security
25th ACM Conference on Computer and Communications Security (CCS), Oct 2018, Toronto, Canada. pp.1351--1368, ⟨10.1145/3243734.3243745⟩
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security
International audience; 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 behav
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::aa3e4c30ef24d96db436671d67487d2b
https://hal.science/hal-01949202
https://hal.science/hal-01949202
Publikováno v:
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Programming Languages and Systems
Lecture Notes in Computer Science-Programming Languages and Systems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=sygma_______::c2e92228d346dc7e269ebf0d205811e7