Tracking Dependencies for Security and Privacy
Doktorsavhandling, 2013
Programming Languages
Software Security
Web Security
Författare
Arnar Birgisson
Chalmers, Data- och informationsteknik, Programvaruteknik
Capabilities for information flow
ACM SIGPLAN Workshop on Programming Languages and Analysis for Security,;(2011)p. article no. 5-
Paper i proceeding
Unifying Facets of Information Integrity
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),;Vol. 6503(2010)p. 48-65
Paper i proceeding
Multi-run security
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),;Vol. 6879 LNCS(2011)p. 372-391
Paper i proceeding
Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),;Vol. 7459(2012)p. 55-72
Paper i proceeding
Position Paper: Differential Privacy with Information Flow Control
Proceedings of ACM SIGPLAN Sixth Workshop on Programming Languages and Analysis for Security,;(2011)
Paper i proceeding
Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier
Programvaruteknik
ISBN
978-91-7385-929-5
Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie: 3610
VV12, Sven Hultins gata 6, Chalmers.
Opponent: Prof. Michael Hicks, Department of Computer Science, University of Maryland, USA.