{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:49:25Z","timestamp":1725702565175},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340253"},{"type":"electronic","value":"9783642340260"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34026-0_27","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T01:07:20Z","timestamp":1348621640000},"page":"358-371","source":"Crossref","is-referenced-by-count":2,"title":["Dynamic Information-Flow Analysis for Multi-threaded Applications"],"prefix":"10.1007","author":[{"given":"Laurent","family":"Mounier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emmanuel","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"Chow, J., Pfaff, B., Garfinkel, T., Christopher, K., Rosenblum, M.: Understanding data lifetime via whole system simulation. In: Proceedings of the 13th Conference on USENIX Security Symposium, SSYM 2004, vol.\u00a013, pp. 22\u201322. USENIX Association, Berkeley (2004)"},{"issue":"4","key":"27_CR2","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/1187976.1187977","volume":"3","author":"J.R. Crandall","year":"2006","unstructured":"Crandall, J.R., Wu, S.F., Chong, F.T.: Minos: Architectural support for protecting control data. ACM Trans. Archit. Code Optim.\u00a03(4), 359\u2013389 (2006)","journal-title":"ACM Trans. Archit. Code Optim."},{"issue":"5","key":"27_CR3","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/1037947.1024404","volume":"32","author":"G.E. Suh","year":"2004","unstructured":"Suh, G.E., Lee, J.W., Zhang, D., Devadas, S.: Secure program execution via dynamic information flow tracking. SIGARCH Comput. Archit. News\u00a032(5), 85\u201396 (2004)","journal-title":"SIGARCH Comput. Archit. News"},{"key":"27_CR4","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-642-17697-5_7","volume-title":"Transactions on computational science xi","author":"P. Clemente","year":"2010","unstructured":"Clemente, P., Rouzaud-Cornabas, J., Toinard, C.: Transactions on computational science xi, pp. 131\u2013161. Springer, Heidelberg (2010)"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Volpano, D., Smith, G.: A type-based approach to pro-gram security. In: Proceedings of the 7th International Joint Conference on the Theory and Practice of Software Development, pp. 607\u2013621. Springer (1997)","DOI":"10.1007\/BFb0030629"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Sabelfeld, A., Myers, A.C.: Language-based information-flow security. IEEE Journal on Selected Areas in Communications 21 (2003)","DOI":"10.1109\/JSAC.2002.806121"},{"issue":"3","key":"27_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1805974.1805977","volume":"13","author":"G. Barthe","year":"2010","unstructured":"Barthe, G., Rezk, T., Russo, A., Sabelfeld, A.: Security of multithreaded programs by compilation. ACM Trans. Inf. Syst. Secur.\u00a013(3), 21:1\u201321:32 (2010)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"27_CR8","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1145\/268946.268975","volume-title":"Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1998","author":"G. Smith","year":"1998","unstructured":"Smith, G., Volpano, D.: Secure information flow in a multi-threaded imperative language. In: Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1998, pp. 355\u2013364. ACM, New York (1998)"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Grunwald, D., Srinivasan, H.: Data flow equations for explicitly parallel programs. In: PPOPP. ACM (1993)","DOI":"10.1145\/155332.155349"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"Krinke, J.: Static slicing of threaded programs. SIGPLAN (1998)","DOI":"10.1145\/277631.277638"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Knoop, J., Bernhard, S., Vollmer, J.: Parallelism for free: efficient and optimal bitvector analyses for parallel programs. ACM Trans. Program. Lang. Syst. (1996)","DOI":"10.1145\/229542.229545"},{"key":"27_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-642-15769-1_16","volume-title":"Static Analysis","author":"A. Farzan","year":"2010","unstructured":"Farzan, A., Kincaid, Z.: Compositional Bitvector Analysis for Concurrent Programs with Nested Locks. In: Cousot, R., Martel, M. (eds.) SAS 2010. LNCS, vol.\u00a06337, pp. 253\u2013270. Springer, Heidelberg (2010)"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Krinke, J.: Context-sensitive slicing of concurrent programs. SIGSOFT (2003)","DOI":"10.1145\/949952.940096"},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"Hammer, C.: Information flow control for java based on path conditions in dependence graphs. In: Secure Software Engineering. IEEE Computer Society (2006)","DOI":"10.1145\/1111542.1111552"},{"key":"27_CR15","unstructured":"Liu, Y., Milanova, A.: Static information flow analysis with handling of implicit flows and a study on effects of implicit flows vs explicit flows. In: Software Maintenance and Reengineering. IEEE Computer Society (2010)"},{"key":"27_CR16","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1145\/1065010.1065034","volume-title":"Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2005","author":"C.K. Luk","year":"2005","unstructured":"Luk, C.K., Cohn, R., Muth, R., Patil, H., Klauser, A., Lowney, G., Wallace, S., Reddi, V.J., Hazelwood, K.: Pin: building customized program analysis tools with dynamic instrumentation. In: Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2005, pp. 190\u2013200. ACM, New York (2005)"},{"key":"27_CR17","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1177\/109434200001400404","volume":"14","author":"B. Buck","year":"2000","unstructured":"Buck, B., Hollingsworth, J.K.: An api for runtime code patching. The International Journal of High Performance Computing Applications\u00a014, 317\u2013329 (2000)","journal-title":"The International Journal of High Performance Computing Applications"},{"key":"27_CR18","doi-asserted-by":"crossref","unstructured":"Nethercote, N., Seward, J.: Valgrind: A framework for heavyweight dynamic binary instrumentation. In: Proceedings of ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI 2007), San Diego, California, USA, pp. 89\u2013100 (June 2007)","DOI":"10.1145\/1250734.1250746"},{"key":"27_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-642-16612-9_20","volume-title":"Runtime Verification","author":"M.K. Ganai","year":"2010","unstructured":"Ganai, M.K., Wang, C.: Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol.\u00a06418, pp. 253\u2013269. Springer, Heidelberg (2010)"},{"key":"27_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-642-14295-6_13","volume-title":"Computer Aided Verification","author":"S. Kundu","year":"2010","unstructured":"Kundu, S., Ganai, M.K., Wang, C.: Contessa: Concurrency Testing Augmented with Symbolic Analysis. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174, pp. 127\u2013131. Springer, Heidelberg (2010)"},{"key":"27_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/978-3-642-29860-8_2","volume-title":"Runtime Verification","author":"C. Wang","year":"2012","unstructured":"Wang, C., Ganai, M.: Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol.\u00a07186, pp. 4\u201318. Springer, Heidelberg (2012)"},{"key":"27_CR22","unstructured":"Li, T., Ellis, C.S., Lebeck, A.R., Sorin, D.J.: Pulse: a dynamic deadlock detection mechanism using speculative execution. In: Proceedings of the Annual Conference on USENIX Annual Technical Conference, ATEC 2005, p. 3. USENIX Association, Berkeley (2005)"},{"key":"27_CR23","first-page":"175","volume-title":"Proceedings of the 2012 20th Euromicro International Conference on Parallel, Distributed and Network-based Processing, PDP 2012","author":"M. Castillo","year":"2012","unstructured":"Castillo, M., Farina, F., Cordoba, A.: A dynamic deadlock detection\/resolution algorithm with linear message complexity. In: Proceedings of the 2012 20th Euromicro International Conference on Parallel, Distributed and Network-based Processing, PDP 2012, pp. 175\u2013179. IEEE Computer Society, Washington, DC (2012)"},{"issue":"4","key":"27_CR24","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S. Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst.\u00a015(4), 391\u2013411 (1997)","journal-title":"ACM Trans. Comput. Syst."},{"key":"27_CR25","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/1791194.1791203","volume-title":"Proceedings of the Workshop on Binary Instrumentation and Applications, WBIA 2009","author":"K. Serebryany","year":"2009","unstructured":"Serebryany, K., Iskhodzhanov, T.: Threadsanitizer: data race detection in practice. In: Proceedings of the Workshop on Binary Instrumentation and Applications, WBIA 2009, pp. 62\u201371. ACM, New York (2009)"},{"key":"27_CR26","doi-asserted-by":"publisher","first-page":"1871","DOI":"10.1145\/1774088.1774484","volume-title":"Proceedings of the 2010 ACM Symposium on Applied Computing, SAC 2010","author":"U. Bayer","year":"2010","unstructured":"Bayer, U., Kirda, E., Kruegel, C.: Improving the efficiency of dynamic malware analysis. In: Proceedings of the 2010 ACM Symposium on Applied Computing, SAC 2010, pp. 1871\u20131878. ACM, New York (2010)"},{"issue":"2","key":"27_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2089125.2089126","volume":"44","author":"M. Egele","year":"2008","unstructured":"Egele, M., Scholte, T., Kirda, E., Kruegel, C.: A survey on automated dynamic malware-analysis techniques and tools. ACM Comput. Surv.\u00a044(2), 6:1\u20136:42 (2008)","journal-title":"ACM Comput. Surv."},{"issue":"1","key":"27_CR28","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1145\/1945023.1945039","volume":"45","author":"D.Y. Zhu","year":"2011","unstructured":"Zhu, D.Y., Jung, J., Song, D., Kohno, T., Wetherall, D.: Tainteraser: protecting sensitive data leaks using application-level taint tracking. SIGOPS Oper. Syst. Rev.\u00a045(1), 142\u2013154 (2011)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"27_CR29","unstructured":"Cristia, M., Mata, P.: Runtime enforcement of noninterference by duplicating processes and their memories. In: WSEGI (2009)"},{"key":"27_CR30","unstructured":"Waddington, Roy, Schmidt: Dynamic analysis and profiling of multi-threaded systems"},{"key":"27_CR31","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/1542431.1542435","volume-title":"Proceedings of the 2009 International Symposium on Memory Management, ISMM 2009","author":"K. Hazelwood","year":"2009","unstructured":"Hazelwood, K., Lueck, G., Cohn, R.: Scalable support for multithreaded applications on dynamic binary instrumentation systems. In: Proceedings of the 2009 International Symposium on Memory Management, ISMM 2009, pp. 20\u201329. ACM, New York (2009)"},{"key":"27_CR32","unstructured":"Nethercote, N.: Dynamic Binary Analysis and Instrumentation. PhD thesis, Computer Laboratory, University of Cambridge, United Kingdom (November 2004)"},{"key":"27_CR33","unstructured":"Uh, G.R., Cohn, R., Yadavalli, B., Peri, R., Ayyagari, R.: Analyzing dynamic binary instrumentation overhead. In: Workshop on Binary Instrumentation and Application, San Jose, CA (October 2007)"},{"key":"27_CR34","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1109\/HPCA.2007.346205","volume-title":"Proceedings of the 2007 IEEE 13th International Symposium on High Performance Computer Architecture, HPCA 2007","author":"G. Venkataramani","year":"2007","unstructured":"Venkataramani, G., Roemer, B., Solihin, Y., Prvulovic, M.: Memtracker: Efficient and programmable support for memory access monitoring and debugging. In: Proceedings of the 2007 IEEE 13th International Symposium on High Performance Computer Architecture, HPCA 2007, pp. 273\u2013284. IEEE Computer Society, Washington, DC (2007)"},{"issue":"11","key":"27_CR35","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/1037187.1024404","volume":"39","author":"G.E. Suh","year":"2004","unstructured":"Suh, G.E., Lee, J.W., Zhang, D., Devadas, S.: Secure program execution via dynamic information flow tracking. SIGPLAN Not.\u00a039(11), 85\u201396 (2004)","journal-title":"SIGPLAN Not."},{"key":"27_CR36","doi-asserted-by":"crossref","unstructured":"Venkataramani, G., Doudalis, I., Solihin, Y., Prvulovic, M.: Flexitaint: A programmable accelerator for dynamic taint propagation. In: 14th International Symposium on High Performance Computer Architecture (2008)","DOI":"10.1109\/HPCA.2008.4658637"},{"issue":"2","key":"27_CR37","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1145\/871656.859660","volume":"31","author":"M.L. Corliss","year":"2003","unstructured":"Corliss, M.L., Lewis, E.C., Roth, A.: Dise: a programmable macro engine for customizing applications. SIGARCH Comput. Archit. News\u00a031(2), 362\u2013373 (2003)","journal-title":"SIGARCH Comput. Archit. News"},{"issue":"1","key":"27_CR38","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/1061267.1061269","volume":"2","author":"Y. Zhou","year":"2005","unstructured":"Zhou, Y., Zhou, P., Qin, F., Liu, W., Torrellas, J.: Efficient and flexible architectural support for dynamic monitoring. ACM Trans. Archit. Code Optim.\u00a02(1), 3\u201333 (2005)","journal-title":"ACM Trans. Archit. Code Optim."},{"issue":"2\/3","key":"27_CR39","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1147\/rd.502.0261","volume":"50","author":"R. Shetty","year":"2006","unstructured":"Shetty, R., Kharbutli, M., Solihin, Y., Prvulovic, M.: Heapmon: a helper-thread approach to programmable, automatic, and low-overhead memory bug detection. IBM J. Res. Dev.\u00a050(2\/3), 261\u2013275 (2006)","journal-title":"IBM J. Res. Dev."},{"key":"27_CR40","unstructured":"Nagarajan, V., Kim, H.-S., Wu, Y.: Gupta, R.: Dynamic information flow tracking on multicores. In: Workshop on Interaction between Compilers and Computer Architectures, Salt Lake City (February 2008)"},{"key":"27_CR41","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1109\/ISCA.2008.20","volume-title":"Proceedings of the 35th Annual International Symposium on Computer Architecture, ISCA 2008","author":"S. Chen","year":"2008","unstructured":"Chen, S., Kozuch, M., Strigkos, T., Falsafi, B., Gibbons, P.B., Mowry, T.C., Ramachandran, V., Ruwase, O., Ryan, M., Vlachos, E.: Flexible hardware acceleration for instruction-grain program monitoring. In: Proceedings of the 35th Annual International Symposium on Computer Architecture, ISCA 2008, pp. 377\u2013388. IEEE Computer Society, Washington, DC (2008)"},{"key":"27_CR42","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1145\/1736020.1736050","volume-title":"Proceedings of the Fifteenth Edition of ASPLOS on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010","author":"M.L. Goodstein","year":"2010","unstructured":"Goodstein, M.L., Vlachos, E., Chen, S., Gibbons, P.B., Kozuch, M.A., Mowry, T.C.: Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring. In: Proceedings of the Fifteenth Edition of ASPLOS on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010, pp. 257\u2013270. ACM, New York (2010)"},{"key":"27_CR43","doi-asserted-by":"crossref","unstructured":"Sifakis, E., Mounier, L.: Extended dynamic taint analysis of multi-threaded applications. Technical Report TR-2012-08, VERIMAG, University of Grenoble (June 2012)","DOI":"10.1007\/978-3-642-34026-0_27"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34026-0_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:41:20Z","timestamp":1620132080000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34026-0_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340253","9783642340260"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34026-0_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}