Change search
ReferencesLink to record
Permanent link

Direct link
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 (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
URN: urn:nbn:se:kth:diva-50356DOI: 10.1145/1653662.1653715ISI: 000281662800040OAI: diva2:461674
16th ACM Conference on Computer and Communications Security. Chicago, IL. NOV 09-13, 2009
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
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 15 hits
ReferencesLink to record
Permanent link

Direct link