Timing aware information flow security for a javaCard-like bytecode

Electronic Notes in Theoretical Computer Science

Volumn 141, Issue 1 SPEC. ISS., 2005, Pages 163-182

  Hedin, Daniel ^a   Sands, David ^a  

^a Department of Computing Science ^*  (Sweden)

Author keywords

Bytecode; Covert channels; Information flow; Security

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMPUTER PROGRAMMING; DATA FLOW ANALYSIS; DATA PRIVACY; INFORMATION ANALYSIS; JAVA PROGRAMMING LANGUAGE;

BYTECODE; COVERT CHANNELS; INFORMATION FLOW; SECURITY;

SECURITY OF DATA;

EID: 28044445125     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.02.031     Document Type: Article

References (17)

1. J. Agat. Type Based Techniques for Covert Channel Elimination and Register Allocation. PhD thesis, Chalmers University of Technology and Gothenburg University, Gothenburg, Sweden, December 2000
2. Johan Agat. Transforming out timing leaks. In POPL, pages 40-53, 2000
3. A. Banerjee and D. Naumann. Secure information flow and pointer confinement in a java-like language. In Proc. IEEE Computer Security Foundations Workshop, pages 253-267, June 2002
4. Gilles Barthe, Amitabh Basu, and Tamara Rezk Security types preserving compilation Proceeding of VMCAI'04 Lecture Notes in Computer Science volume 2937 2004 Springer-Verlag
5. Gilles Barthe and Tamara Rezk. Secure information flow for a sequential java virtual machine. TLDI'05: Types in Language Design and Implementation
6. D.E. Denning A lattice model of secure information flow Communications of the ACM 19 5 May 1976 236 243
7. Samir Genaim and Fausto Spoto. Information flow analysis for java bytecode. To appear in: Proc. of the Sixth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'05)
8. Naoki Kobayashi, and Keita Shirane Type-based information flow analysis for low-level languages English version in 3rd Asian Workshop on Programming Languages and Systems (APLAS'02), Japanese (full) version in Computer Software 20 2 2003 2 21 Iwanami Press
9. P.C. Kocher Timing attacks on implementations of Diffie-Hellman, RSA, DSS, and other systems Proc. CRYPTO'96 Lecture Notes in Computer Science volume 1109 1996 104 113
10. B.W. Lampson A note on the confinement problem Communications of the ACM 16 10 October 1973 613 615
11. Greg Morrisett, Karl Crary, Neal Glew, and David Walker Stack-based typed assembly language Xavier Leroy Atsushi Ohori 1998 Workshop on Types in Compilation Lecture Notes in Computer Science volume 1473 March 1998 Springer-Verlag 28 52 Kyoto, Japan
12. A.C. Myers, N. Nystrom, L. Zheng, and S. Zdancewic Jif: Java information flow. Software release http://www.cs.cornell.edu/jif July 2001
13. Francois Pottier and Vincent Simonet. Information flow inference for ML. In Proceedings of the 29th ACM Symposium on Principles of Programming Languages (POPL'02), pages 319-330, Portland, Oregon, January 2002
14. A. Sabelfeld, and A.C. Myers Language-based information-flow security IEEE J. Selected Areas in Communications 21 1 January 2003 5 19
15. Vincent Simonet. The Flow Caml System: documentation and user's manual. Technical Report 0282, Institut National de Recherche en Informatique et en Automatique (INRIA), July 2003
16. Raymie Stata and Martin Abadi. A type system for java bytecode subroutines. In POPL, January 1998
17. D. Volpano and G. Smith. Eliminating covert flows with minimum typings. Proc. 10th IEEE Computer Security Foundations Workshop, pages 156-168, June 1997