“Types and Abstract Interpretation for Authorization Hook Advice” by Christian Skalka, David Darais, Trent Jaeger, and Frank Capobianco. In Proceedings of the 33rd IEEE Computer Security Foundations (CSF) Symposium, June 2020, pp. 139-152.
Download: PDF.
BibTeX entry:
@inproceedings{csf20, author = {Christian Skalka and David Darais and Trent Jaeger and Frank Capobianco}, title = {Types and Abstract Interpretation for Authorization Hook Advice}, booktitle = {Proceedings of the 33rd {IEEE} Computer Security Foundations {(CSF)} Symposium}, pages = {139--152}, month = jun, year = {2020} }
(This webpage was created with bibtex2web.)
Back to Trent Jaeger's Publications.