The top documents tagged [security reasoning]

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

5.997 views