English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation

El-Korashy, A., Blanco, R., Thibault, J., Durier, A., Garg, D., & Hriţcu, C. (2022). SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation. In 2022 IEEE 35th Computer Security Foundations Symposium (pp. 64-79). Piscataway, NJ: IEEE. doi:10.1109/CSF54842.2022.9919680.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/21.11116/0000-0009-B26F-2 Version Permalink: https://hdl.handle.net/21.11116/0000-000B-B430-3
Genre: Conference Paper

Files

show Files
hide Files
:
arXiv:2110.01439.pdf (Preprint), 9KB
View   Save
File Permalink:
https://hdl.handle.net/21.11116/0000-0009-B271-E
Name:
arXiv:2110.01439.pdf
Description:
File downloaded from arXiv at 2022-01-03 09:55 CSF 2022 submission
OA-Status:
Not specified
Visibility:
Public
MIME-Type / Checksum:
application/xhtml+xml / [MD5]
Technical Metadata:
View
Copyright Date:
-
Copyright Info:
© 2022 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works
License:
http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Locators

show

Creators

show
hide
 Creators:
El-Korashy, Akram1, Author           
Blanco, Roberto2, Author
Thibault, Jérémy2, Author
Durier, Adrien2, Author
Garg, Deepak1, Author           
Hriţcu, Cătălin2, Author           
Affiliations:
1Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society, ou_2105289              
2External Organizations, ou_persistent22              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2021-10-042022
 Publication Status: Published online
 Pages: 16 p.
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: ElKorashyCSF22
DOI: 10.1109/CSF54842.2022.9919680
 Degree: -

Event

show
hide
Title: IEEE 35th Computer Security Foundations Symposium
Place of Event: Haifa, Israel
Start-/End Date: 2022-08-07 - 2022-08-10

Legal Case

show

Project information

show hide
Project name : SECOMP
Grant ID : 715753
Funding program : Horizon 2020 (H2020)
Funding organization : European Commission (EC)

Source 1

show
hide
Title: 2022 IEEE 35th Computer Security Foundations Symposium
  Abbreviation : CSF 2022
  Subtitle : Proceedings ; 7-10 August 2022, Haifa, Israel
Source Genre: Proceedings
 Creator(s):
Affiliations:
Publ. Info: Piscataway, NJ : IEEE
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 64 - 79 Identifier: ISBN: 978-1-6654-8417-6