JFlow swMATH ID: 20595 Software Authors: Myers, Andrew C. Description: JFlow: practical mostly-static information flow control. A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work has proposed programming language extensions to allow this static checking, the resulting languages are too restrictive for practical use and have not been implemented. In this paper, we describe the new language JFlow, an extension to the Java language that adds statically-checked information flow annotations. JFlow provides several new features that make information flow checking more flexible and convenient than in previous models: a decentralized label model, label polymorphism, run-time label checking, and automatic label inference. JFlow also supports many language features that have never been integrated successfully with static information flow control, including objects, subclassing, dynamic type tests, access control, and exceptions. This paper defines the JFlow language and presents formal rules that are used to check JFlow programs for correctness. Because most checking is static, there is little code space, data space, or run-time overhead in the JFlow implementation. Homepage: http://dl.acm.org/citation.cfm?id=292561 Related Software: Laminar; LLVM; TaintDroid; Haskell; NaCl; TALx86; Jif; F*; Creol; Featherweight Java; CacheAudit; Boogie; JML; Coq; SGX; Privtrans; Fable; Moat; EROS; VC3 Cited in: 25 Documents all top 5 Cited by 71 Authors 2 Bhardwaj, Chandrika 2 Ene, Cristian 2 Mounier, Laurent 2 Potet, Marie-Laure 2 Prasad, Sanjiva 1 Abadi, Martín 1 Abu-Ghazaleh, Nael B. 1 Askarov, Aslan 1 Attali, Isabelle 1 Bacelar Almeida, José 1 Barbosa, Manuel 1 Barthe, Gilles 1 Basu, Amitabh 1 Beckert, Bernhard 1 Bonakdarpour, Borzoo 1 Boudol, Gérard 1 Brett, Noel 1 Bruns, Daniel 1 Caires, Luís 1 Caromel, Denis 1 Castellani, Ilaria 1 Chang, Bor-Yuh Evan 1 Crary, Karl 1 De Francesco, Nicoletta 1 Del Aguila, Felipe Luna 1 DeLap, Margaret 1 Dong, Yuan 1 Fallah, Mehran S. 1 Ferrara, Pietro 1 Harper, Robert 1 Harris, William R. 1 Henrio, Ludovic 1 Iranmanesh, Zeinab 1 Jha, Somesh 1 Kittelmann, Alexander 1 Klebanov, Vladimir 1 Laud, Peeter 1 Li, Peng 1 Liszka, Jason 1 Lourenço, Luísa 1 Mantel, Heiko 1 Martini, Luca 1 Müller-Olm, Markus 1 Murphy, Tom VII 1 Myers, Andrew C. 1 Olivieri, Luca 1 Owe, Olaf 1 Ozsoy, Meltem 1 Perner, Matthias 1 Pettai, Martin 1 Pfenning, Frank 1 Pinto, Jorge Sousa 1 Potanin, Alex 1 Ramezanifarkhani, Toktam 1 Reps, Thomas W. 1 Rezk, Tamara 1 Runge, Tobias 1 Schaefer, Ina 1 Scheben, Christoph 1 Schmitt, Peter H. 1 Servetto, Marco 1 Seshia, Sanjit Arunkumar 1 Siddique, Umair 1 Spoto, Fausto 1 Suri, Tameesh 1 Tokas, Shukun 1 Ulbrich, Mattias 1 Vieira, Bárbara 1 Wang, Shengyuan 1 Wenner, Alexander 1 Zdancewic, Steve all top 5 Cited in 9 Serials 2 Theoretical Computer Science 2 Computer Languages, Systems & Structures 2 Logical Methods in Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 IEEE Transactions on Computers 1 Science of Computer Programming 1 Information and Computation 1 Formal Methods in System Design 1 Science China. Information Sciences Cited in 4 Fields 25 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 3 Information and communication theory, circuits (94-XX) 2 Order, lattices, ordered algebraic structures (06-XX) Citations by Year