Types and Abstract Interpretation for Authorization Hook Advice - Skalka, Christian; Darais, David; Jaeger, Trent; Capobianco, Frank (Proceedings (IEEE Computer Security Foundations Symposium), 2020)
Keywords: Authorization; Linux; Servers; Sockets