{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T17:06:10Z","timestamp":1743699970780},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2011,10,20]],"date-time":"2011-10-20T00:00:00Z","timestamp":1319068800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Cryptogr Eng"],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1007\/s13389-011-0021-z","type":"journal-article","created":{"date-parts":[[2011,10,19]],"date-time":"2011-10-19T11:45:16Z","timestamp":1319024716000},"page":"303-313","source":"Crossref","is-referenced-by-count":7,"title":["A tool for static detection of timing channels in Java"],"prefix":"10.1007","volume":"1","author":[{"given":"Alexander","family":"Lux","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Artem","family":"Starostin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,10,20]]},"reference":[{"key":"21_CR1","unstructured":"Flow Caml. http:\/\/www.normalesup.org\/~simonet\/soft\/flowcaml\/ (2003)"},{"key":"21_CR2","unstructured":"GNU Classpath. http:\/\/www.gnu.org\/software\/classpath\/ (2009)"},{"key":"21_CR3","unstructured":"FlexiProvider\u2014A Toolkit for the Java Cryptography Architecture (JCA\/JCE). http:\/\/www.flexiprovider.de (2010)"},{"key":"21_CR4","unstructured":"JIF: Java + information flow. http:\/\/www.cs.cornell.edu\/jif\/ (2010)"},{"key":"21_CR5","unstructured":"Eclipse\u2014The Eclipse Foundation open source community website. http:\/\/www.eclipse.org\/ (2011)"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Acii\u00e7mez, O., Schindler, W., Ko\u00e7, \u00c7. K.: Improving Brumley and Boneh timing attack on unprotected SSL implementations. In: Proceedings of the 12th ACM Conference on Computer and Communications Security (CCS), pp. 139\u2013146. ACM, Alexandria (2005)","DOI":"10.1145\/1102120.1102140"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Agat, J.: Transforming out Timing Leaks. In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp. 40\u201353. ACM Press, Boston (2000)","DOI":"10.1145\/325694.325702"},{"key":"21_CR8","unstructured":"Agat, J.: Type Based Techniques for Covert Channel Elimination and Register Allocation. Ph.D. thesis, Chalmers University of Technology (2001)"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Bakhshi, B., Sadeghiyan, B.: A timing attack on Blakley\u2019s modular multiplication algorithm, and applications to DSA. In: Proceedings of the 5th International Conference on Applied Cryptography and Network Security (ACNS), LNCS, vol. 4521, pp. 129\u2013140. Springer. Berlin (2007)","DOI":"10.1007\/978-3-540-72738-5_9"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Barthe, G., Rezk, T., Warnier, M.: Preventing timing leaks through transactional branching instructions. In: Proceedings of the 3rd Workshop on Quantitative Aspects of Programming Languages (QAPL), ENTCS, vol. 153, pp. 33\u201355. Elsevier, Edinburgh (2006)","DOI":"10.1016\/j.entcs.2005.10.031"},{"issue":"5","key":"21_CR11","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1016\/j.comnet.2005.01.010","volume":"48","author":"D. Brumley","year":"2005","unstructured":"Brumley D., Boneh D.: Remote timing attacks are practical. Comput. Netw. 48(5), 701\u2013716 (2005)","journal-title":"Comput. Netw."},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Chapman, R., Hilton, A.: Enforcing security and safety models with an information flow analysis tool. In: Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada, SIGAda \u201904, pp. 39\u201346. ACM, New York (2004)","DOI":"10.1145\/1032297.1032305"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Dhem, J.F., Koeune, F., Leroux, P.A., Mestr\u00e9, P., Quisquater, J.J., Willems, J.L.: A practical implementation of the timing attack. In: Proceedings of the 3rd International Conference on Smart Card. Research and Applications (CARDIS 98), LNCS, vol. 1820, pp. 167\u2013182. Springer, Berlin (1998)","DOI":"10.1007\/10721064_15"},{"key":"21_CR14","unstructured":"Gesser, J.V.: javaparser. http:\/\/code.google.com\/p\/javaparser\/ (2010)"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: Proceedings of the IEEE Symposium on Security and Privacy, pp. 11\u201320. IEEE Computer Society, Oakland (1982)","DOI":"10.1109\/SP.1982.10014"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Hammer, C.: Experiences with PDG-based IFC. In: Proceedings of the 2nd International Symposium on Engineering Secure Software and Systems (ESSoS 2010), LNCS, vol. 5965, pp. 44\u201360. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-11747-3_4"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Hevia, A., Kiwi, M.: Strength of two data encryption standard implementations under timing attacks. In: Proceedings of the Theoretical Informatics Third Latin American Symposium (LATIN), LNCS, vol. 1380, pp. 192\u2013205. Springer, Campinas (1998)","DOI":"10.1007\/BFb0054321"},{"issue":"2\u20133","key":"21_CR18","doi-asserted-by":"crossref","first-page":"141","DOI":"10.3233\/JCS-2000-82-304","volume":"8","author":"J. Kelsey","year":"2000","unstructured":"Kelsey J., Schneier B., Wagner D., Hall C.: Side channel cryptanalysis of product ciphers. J. Comput. Secur. 8(2\u20133), 141\u2013158 (2000)","journal-title":"J. Comput. Secur."},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"Kocher, P.C.: Timing attacks on implementations of Diffie-Hellman, RSA, DSS, and other systems. In: Proceedings of the 16th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO), LNCS, vol. 1109, pp. 104\u2013113. Springer, Santa Barbara (1996)","DOI":"10.1007\/3-540-68697-5_9"},{"issue":"2\u20133","key":"21_CR20","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s10207-007-0016-z","volume":"6","author":"B. K\u00f6pf","year":"2007","unstructured":"K\u00f6pf B., Mantel H.: Transformational typing and unification for automatically correcting insecure programs. Int. J. Inf. Secur. 6(2\u20133), 107\u2013131 (2007)","journal-title":"Int. J. Inf. Secur."},{"key":"21_CR21","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/362375.362389","volume":"16","author":"B.W. Lampson","year":"1973","unstructured":"Lampson B.W.: A note on the confinement problem. Commun. ACM 16, 613\u2013615 (1973)","journal-title":"Commun. ACM"},{"key":"21_CR22","unstructured":"Lux, A., Mantel, H., Perner, M., Starostin, A.: Side Channel Finder (Version 1.0). Tech. Rep. TUD-CS-2010-0155, TU Darmstadt (2010)"},{"key":"21_CR23","first-page":"365","volume-title":"Handbook of theoretical computer science (vol. b) chap. Type systems for programming languages","author":"J.C. Mitchell","year":"1990","unstructured":"Mitchell J.C.: Handbook of theoretical computer science (vol. b) chap. Type systems for programming languages, pp. 365\u2013458. MIT Press, Cambridge (1990)"},{"key":"21_CR24","doi-asserted-by":"crossref","unstructured":"Molnar, D., Piotrowski, M., Schultz, D., Wagner, D.: The program counter security model: automatic detection and removal of control-flow side channel attacks. In: Proceedings of the 8th Annual International Conference on Information Security and Cryptology (ICISC), pp. 156\u2013168. Springer, Seoul (2005)","DOI":"10.1007\/11734727_14"},{"key":"21_CR25","doi-asserted-by":"crossref","unstructured":"Myers, A.C.: JFlow: practical mostly-static information flow control. In: Proceedings of the 26th ACM Symposium on Principles of Programming Languages (POPL), pp. 228\u2013241. ACM, San Antonio (1999)","DOI":"10.1145\/292540.292561"},{"issue":"1","key":"21_CR26","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A. Sabelfeld","year":"2003","unstructured":"Sabelfeld A., Myers A.C.: Language-based information-flow security. IEEE J. Sel. Areas Commun. 21(1), 5\u201319 (2003)","journal-title":"IEEE J. Sel. Areas Commun."},{"key":"21_CR27","doi-asserted-by":"crossref","unstructured":"Schindler, W.: A timing attack against RSA with the Chinese remainder theorem. In: Proceedings of Second International Workshop on Cryptographic Hardware and Embedded Systems (CHES), LNCS, vol. 1965, pp. 109\u2013124. Springer, Worcester (2000)","DOI":"10.1007\/3-540-44499-8_8"},{"key":"21_CR28","doi-asserted-by":"crossref","unstructured":"Schindler, W.: On the optimization of side-channel attacks by advanced stochastic methods. In: Proceedings of the 8th International Workshop on Theory and Practice in Public Key Cryptography (PKC), LNCS, vol. 3386, pp. 85\u2013103. Springer, Les Diablerets (2005)","DOI":"10.1007\/978-3-540-30580-4_7"},{"key":"21_CR29","doi-asserted-by":"crossref","unstructured":"Shoufan, A., Strenzke, F., Molter, H.G., St\u00f6ttinger, M.: A timing attack against Patterson algorithm in the McEliece PKC. In: Proceedings of the 12th International Conference on Information, Security and Cryptology (ICISC), LNCS, vol. 5984, pp. 161\u2013175. Springer, Seoul (2009, revised selected papers)","DOI":"10.1007\/978-3-642-14423-3_12"},{"key":"21_CR30","doi-asserted-by":"crossref","unstructured":"Standaert, F.X., Malkin, T., Yung, M.: A unified framework for the analysis of side-channel key recovery attacks. In: Proceedings of the 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT), LNCS, vol. 5479, pp. 443\u2013461. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-01001-9_26"},{"key":"21_CR31","doi-asserted-by":"crossref","unstructured":"Strenzke, F.: A timing attack against the secret permutation in the McEliece PKC. In: Proceedings of the Third International Workshop on Post-Quantum Cryptography (PQCrypto), LNCS, vol. 6061, pp. 95\u2013107. Springer, Darmstadt (2010)","DOI":"10.1007\/978-3-642-12929-2_8"},{"key":"21_CR32","doi-asserted-by":"crossref","unstructured":"Strenzke, F., Tews, E., Molter, H.G., Overbeck, R., Shoufan, A.: Side channels in the McEliece PKC. In: Proceedings of the 2nd International Workshop on Post-Quantum Cryptography (PQCrypto), LNCS, vol. 5299, pp. 216\u2013229. Springer, Cincinnati (2008)","DOI":"10.1007\/978-3-540-88403-3_15"},{"issue":"3","key":"21_CR33","first-page":"1","volume":"4","author":"D. Volpano","year":"1996","unstructured":"Volpano D., Smith G., Irvine C.: A sound type system for secure flow analysis. J. Comput. Secur. 4(3), 1\u201321 (1996)","journal-title":"J. Comput. Secur."}],"container-title":["Journal of Cryptographic Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13389-011-0021-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13389-011-0021-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13389-011-0021-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T03:35:48Z","timestamp":1560828948000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13389-011-0021-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,20]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["21"],"URL":"https:\/\/doi.org\/10.1007\/s13389-011-0021-z","relation":{},"ISSN":["2190-8508","2190-8516"],"issn-type":[{"value":"2190-8508","type":"print"},{"value":"2190-8516","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,10,20]]}}}