Preventing Timing Leaks Through Transactional Branching Instructions

Electronic Notes in Theoretical Computer Science

Volumn 153, Issue 2 SPEC. ISS., 2006, Pages 33-55

  Barthe, Gilles ^a   Rezk, Tamara ^a   Warnier, Martijn ^b  

^a INRIA   (France)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

Non interference; Program transformation; Security; Semantics; Timing leaks

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATA PROCESSING; INFORMATION DISSEMINATION; QUERY LANGUAGES; SECURITY OF DATA; SEMANTICS; TIME VARYING SYSTEMS;

NON-INTERFERENCE; PROGRAM TRANSFORMATION; SECURITY; TIMING LEAKS;

COMPUTER PROGRAMMING;

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

References (18)

1. Agat J. 27th ACM Symposium on Principles of Programming Languages (January 2000), ACM Press 40-53
2. J. Agat. Transforming out Timing Leaks in Practice, chapter II from [3]. Department of Computing Science Chalmers University of Technology and Göteborg University, September 2000
3. J. Agat. Type Based Techniques for Covert Channel Elimination and Register Allocation. Ph thesis, Department of Computing Science Chalmers University of Technology and Göteborg University, SE-412 96 Göteborg, Sweden, December 2000
4. Banerjee A., and Naumann D. Secure Information Flow and Pointer Confinement in a Java-like Language. Proc. of the Fifteenth IEEE Computer Security Foundations Workshop (CSFW) (June 2002), IEEE Computer Society Press 253-267
5. A. Banerjee and D. Naumann. Stack-Based Access Control for Secure Information Flow. Journal of Functional Programming, 200x. Special Issue on Language-Based Security, To appear
6. Barthe G., D'Argenio P., and Rezk T. Secure Information Flow by Self-Composition. In: Foccardi R. (Ed). Proceedings of CSFW'04 (2004), IEEE Press 100-114
7. Chen Z. Java Card technology for smart cards: architecture and programmer's guide (June 2000), Addison-Wesley
8. Cok D.R., and Kiniry J.R. ESC/Java2: Uniting ESC/Java and JML. In: Barthe G., Burdy L., Huisman M., Lanet J.-L., and Muntean T. (Eds). Proceedings of CASSIS: Construction and Analysis of Safe, Secure and Interoperable Smart devices. LNCS volume 3362 (2004), Springer-Verlag 108-128
9. Goguen J., and Meseguer J. Security policies and security models. IEEE Symp. on Security and Privacy (1982), IEEE Comp. Soc. Press 11-20
10. Hedin D., and Sands D. Timing Aware Information Flow Security for a JavaCard-like Bytecode. In: Spoto F. (Ed). First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE) proceedings. ENTCS (2005) 149-166 ELsevier
11. Kocher P.C. Timing attacks on implementations of diffie-helman, rsa, dss, and other systems. In: Koblitz N. (Ed). Advances in Cryptology - CRYPTO'96. LNCS volume 1109 (1996), Springer-Verlag 104-113
12. Köpf B., and Mantel H. Eliminating timing leaks by unification (extended abstract) (2004)
13. Lampson B.W. A note on the Confinement Problem. Communications of the ACM 16 10 (1973) 613-615
14. S. Lecomte, G. Grimaud, and D. Donsez. Implementation of Transactional Mechanisms for Open SmartCard. In GEMPLUS Developer Conference, 1999
15. Lynch N., Merritt M., Weihl W., and Fekete A. Atomic Transactions (1994), Morgan Kaufmann Publishers
16. J.E.B. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. PhD thesis, MIT, 1981
17. Sabelfeld A., and Myers A.C. Language-Based Information-Flow Security. IEEE Journal on selected areas in communications 21 1 (2003)
18. Volpano D., and Smith G. Eliminating Covert Flows with Minimum Typings. Proc. 10th IEEE Computer Security Foundations Workshop (June 1997), IEEE Computer Society Press 156-168