Search results

Articles (4)

Journals (0)

1-4 of 4 results for cryptographic compilers

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2004-5-1

Type-based cryptographic operations *

Dominic Duggan

Journal of Computer Security

Retricted access

Research article

First published 2015-7

David Cadé, Bruno Blanchet

Journal of Computer Security

Retricted access

Research article

First published 2014-12-16

Joseph A. Akinyele, Matthew Green, Susan Hohenberger [...]

Journal of Computer Security

Retricted access

Research article

First published 2008-10-13

Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet [...]

Journal of Computer Security