Search: onr:"swepub:oai:research.chalmers.se:ac2b8322-9335-43e1-89e2-29018170c2aa" >
Tracking Informatio...
Tracking Information Flow via Delayed Output: Addressing Privacy in IoT and Emailing Apps
-
- Bastys, Iulia, 1986 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Piessens, Frank (author)
- Katholieke Universiteit Leuven
-
- Sabelfeld, Andrei, 1974 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- 2018-11-02
- 2018
- English.
-
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Cham : Springer International Publishing. - 1611-3349 .- 0302-9743. ; 11252 LNCS, s. 19-37
- Related links:
-
https://doi.org/10.1...
-
show more...
-
https://research.cha...
-
show less...
Abstract
Subject headings
Close
- This paper focuses on tracking information flow in the presence of delayed output. We motivate the need to address delayed output in the domains of IoT apps and email marketing. We discuss the threat of privacy leaks via delayed output in code published by malicious app makers on popular IoT app platforms. We discuss the threat of privacy leaks via delayed output in non-malicious code on popular platforms for email-driven marketing. We present security characterizations of projected noninterference and projected weak secrecy to capture information flows in the presence of delayed output in malicious and non-malicious code, respectively. We develop two security type systems: for information flow control in potentially malicious code and for taint tracking in non-malicious code, engaging read and write security types to soundly enforce projected noninterference and projected weak secrecy.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Publication and Content Type
- kon (subject category)
- ref (subject category)
Find in a library
To the university's database