Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Security-Preserving Compiler for Distributed Programs: From Information-Flow Policies to Cryptographic Mechanisms
Cambridge, England.
MSR-INRIA Joint Centre, Orsay, France.
Méditerranée, France.
2009 (English)In: CCS'09: PROCEEDINGS OF THE 16TH ACM CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2009, 432-441 p.Conference paper, Published paper (Refereed)
Abstract [en]

We enforce Information flow policies in programs that run at multiple locations, with diverse levels of security We build a compiler from a small Imperative language with locality and security annotations down to distributed code linked to concrete cryptographic libraries Our compiler splits source programs into local threads. Inserts checks on auxiliary variables to enforce the source control flow, implements shared distributed variables using instead a series of local replicas with explicit updates. and finally selects cryptographic mechanisms for securing the communication of updates between locations We establish computational soundness for our compiler under standard assumptions on cryptographic primitives, all confidentiality and Integrity properties of the source program also hold with its distributed code, despite the presence of active adversaries that control all communications and some of the program locations We also present performance results for the code obtained by compiling sample programs

Place, publisher, year, edition, pages
2009. 432-441 p.
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:kth:diva-50356DOI: 10.1145/1653662.1653715ISI: 000281662800040OAI: oai:DiVA.org:kth-50356DiVA: diva2:461674
Conference
16th ACM Conference on Computer and Communications Security. Chicago, IL. NOV 09-13, 2009
Note
QC 20111207Available from: 2011-12-05 Created: 2011-12-05 Last updated: 2011-12-07Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Le Guernic, Gurvan
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 30 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf