Cătălin Hriţcu

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Micro-Policies: Formally Verified, Tag-Based Security Monitors
Arthur Azevedo de Amorim and others (2015) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society
Architectural Support for Software-Defined Metadata Processing
Udit Dhawan and others (2015) · ACM