Secure Compilation of Constant-Resource Programs.

Gilles Barthe Sandrine Blazy Rémi Hutin David Pichardie

Published in: CSF (2021)

Keyphrases

resource allocation
resource management
resource constraints
security issues
security requirements
security analysis
web resources
grid environment
automatic programming
information systems
computer programs
resource consumption
authentication protocol
cryptographic protocols