The top documents tagged [baltopoulos secure compilation]

Secure Compilation of a Multi-Tier Web Language (Semantics Lunch)
Technology Secure Compilation of a Multi-Tier Web Language (Semantics Lunch)

5.997 views