{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T12:49:22Z","timestamp":1790858962332,"version":"4.1.0"},"publisher-location":"Cham","reference-count":56,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319241739","type":"print"},{"value":"9783319241746","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24174-6_23","type":"book-chapter","created":{"date-parts":[[2015,10,9]],"date-time":"2015-10-09T11:36:32Z","timestamp":1444390592000},"page":"447-467","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":27,"title":["Transforming Out Timing Leaks, More or Less"],"prefix":"10.1007","author":[{"given":"Heiko","family":"Mantel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Artem","family":"Starostin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,1,13]]},"reference":[{"key":"23_CR1","unstructured":"FlexiProvider (Version 1.7p7) (2013). http:\/\/www.flexiprovider.de"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Agat, J.: Transforming out Timing Leaks. In: POPL 2000, pp. 40\u201353. ACM (2000)","DOI":"10.1145\/325694.325702"},{"key":"23_CR3","unstructured":"Agat, J.: Type Based Techniques for Covert Channel Elimination and Register Allocation. PhD thesis, Chalmers University of Technology (2000)"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"AlFardan, N.J., Paterson, K.G.: Lucky Thirteen: Breaking the TLS and DTLS Record Protocols. In: S&P 2013, pp. 526\u2013540. IEEE (2013)","DOI":"10.1109\/SP.2013.42"},{"key":"23_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/978-3-642-37036-6_28","volume-title":"Programming Languages and Systems","author":"J Alglave","year":"2013","unstructured":"Alglave, J., Kroening, D., Nimal, V., Tautschnig, M.: Software verification for weak memory via program transformation. In: Felleisen, M., Gardner, P. (eds.) ESOP 2013. LNCS, vol. 7792, pp. 512\u2013532. Springer, Heidelberg (2013)"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Alvim, M.-S., Chatzikokolakis, K., McIver, A., Morgan, C., Palamidessi, C., Smith, G.: Additive and Multiplicative Notions of Leakage, and Their Capacities. In: CSF 2014, pp. 308\u2013322. IEEE (2014)","DOI":"10.1109\/CSF.2014.29"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Alvim, M.S., Chatzikokolakis, K., Palamidessi, C., Smith, G.: Measuring Information Leakage using Generalized Gain Functions. In: CSF 2012, pp. 265\u2013279. IEEE (2012)","DOI":"10.1109\/CSF.2012.26"},{"issue":"1","key":"23_CR8","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/TIT.1972.1054753","volume":"18","author":"S Arimoto","year":"1972","unstructured":"Arimoto, S.: An algorithm for computing the capacity of arbitrary discrete memoryless channels. IEEE Trans. Inf. Theory 18(1), 14\u201320 (1972)","journal-title":"IEEE Trans. Inf. Theory"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Askarov, A., Zhang, D., Myers, A.C., Predictive Black-Box Mitigation of Timing Channels. In: CCS 2010, pp. 297\u2013307. ACM (2010)","DOI":"10.1145\/1866307.1866341"},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1007\/978-3-540-88313-5_33","volume-title":"Computer Security - ESORICS 2008","author":"M Backes","year":"2008","unstructured":"Backes, M., K\u00f6pf, B.: Formally bounding the side-channel leakage in unknown-message attacks. In: Jajodia, S., Lopez, J. (eds.) ESORICS 2008. LNCS, vol. 5283, pp. 517\u2013532. Springer, Heidelberg (2008)"},{"key":"23_CR11","unstructured":"Baron, M.: Probability and Statistics for Computer Scientists. CRC Press (2006)"},{"key":"23_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/978-3-642-30793-5_12","volume-title":"Formal Techniques for Distributed Systems","author":"G Barthe","year":"2012","unstructured":"Barthe, G., Crespo, J.M., Devriese, D., Piessens, F., Rivas, E.: Secure multi-execution through static program transformation. In: Giese, H., Rosu, G. (eds.) FORTE 2012 and FMOODS 2012. LNCS, vol. 7273, pp. 186\u2013202. Springer, Heidelberg (2012)"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Barthe, G., Rezk, T., Warnier, M.: Preventing Timing Leaks Through Transactional Branching Instructions. In: QAPL 2005, pp. 33\u201355. Elsevier (2006)","DOI":"10.1016\/j.entcs.2005.10.031"},{"issue":"4","key":"23_CR14","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1109\/TIT.1972.1054855","volume":"18","author":"RE Blahut","year":"1972","unstructured":"Blahut, R.E.: Computation of channel capacity and rate-distortion functions. IEEE Trans. Inf. Theory 18(4), 460\u2013473 (1972)","journal-title":"IEEE Trans. Inf. Theory"},{"key":"23_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-642-23822-2_20","volume-title":"Computer Security \u2013 ESORICS 2011","author":"BB Brumley","year":"2011","unstructured":"Brumley, B.B., Tuveri, N.: Remote timing attacks are still practical. In: Atluri, V., Diaz, C. (eds.) ESORICS 2011. LNCS, vol. 6879, pp. 355\u2013371. Springer, Heidelberg (2011)"},{"issue":"1","key":"23_CR16","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"RM Burstall","year":"1977","unstructured":"Burstall, R.M., Darlington, J.: A transformation system for developing recursive programs. J. ACM 24(1), 44\u201367 (1977)","journal-title":"J. ACM"},{"key":"23_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/978-3-642-12002-2_33","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K Chatzikokolakis","year":"2010","unstructured":"Chatzikokolakis, K., Chothia, T., Guha, A.: Statistical measurement of information leakage. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 390\u2013404. Springer, Heidelberg (2010)"},{"issue":"6","key":"23_CR18","doi-asserted-by":"publisher","first-page":"760","DOI":"10.1109\/TC.2004.13","volume":"53","author":"B Chevallier-Mames","year":"2004","unstructured":"Chevallier-Mames, B., Ciet, M., Joye, M.: Low-cost solutions for preventing simple side-channel analysis: side-channel atomicity. IEEE Trans. Comput. 53(6), 760\u2013768 (2004)","journal-title":"IEEE Trans. Comput."},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Cock, D., Ge, Q., Murray, T.C., Heiser, G.: The last mile: an empirical study of timing channels on seL4. In: CCS 2014, pp. 570\u2013581. ACM (2014)","DOI":"10.1145\/2660267.2660294"},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Coppens, B., Verbauwhede, I., De Bosschere, K., De Sutter, B.: Practical mitigations for timing-based side-channel attacks on modern x86 processors. In: S&P 2009, pp. 45\u201360. IEEE (2009)","DOI":"10.1109\/SP.2009.19"},{"key":"23_CR21","doi-asserted-by":"crossref","unstructured":"Cover, T.M., Thomas, J.A.: Elements of Information Theory, 2nd ed. Wiley (2006)","DOI":"10.1002\/047174882X"},{"key":"23_CR22","doi-asserted-by":"crossref","unstructured":"Crane, S., Homescu, A., Brunthaler, S., Larsen, P., Franz, M.: Thwarting cache side-channel attacks through dynamic software diversity. In: NDSS 2015. The Internet Society (2015)","DOI":"10.14722\/ndss.2015.23264"},{"issue":"2","key":"23_CR23","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s10207-010-0107-0","volume":"10","author":"A Di Pierro","year":"2011","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Probabilistic timing covert channels: to close or not to close? Int. J. Inf. Sec. 10(2), 83\u2013106 (2011)","journal-title":"Int. J. Inf. Sec."},{"key":"23_CR24","unstructured":"Doychev, G., Feld, D., K\u00f6pf, B., Mauborgne, L., Reineke, J.: CacheAudit: a tool for the static analysis of cache side channels. In: USENIX Security 2013, pp. 431\u2013446. USENIX (2013)"},{"key":"23_CR25","doi-asserted-by":"crossref","unstructured":"Doychev, G., K\u00f6pf, B.: Rational protection against timing attacks. In: CSF 2015. IEEE (2015)","DOI":"10.1109\/CSF.2015.39"},{"key":"23_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/3-540-44709-1_21","volume-title":"Cryptographic Hardware and Embedded Systems - CHES 2001","author":"K Gandolfi","year":"2001","unstructured":"Gandolfi, K., Mourtel, C., Olivier, F.: Electromagnetic analysis: concrete results. In: Ko\u00e7, \u00c7.K., Naccache, D., Paar, C. (eds.) CHES 2001. LNCS, vol. 2162, pp. 251\u2013261. Springer, Heidelberg (2001)"},{"key":"23_CR27","unstructured":"Gay, R., Mantel, H., Sudbrock, H.: An empirical bandwidth analysis of interrupt-related covert channels. In: QASA 2013 (2013)"},{"key":"23_CR28","doi-asserted-by":"crossref","unstructured":"Georges, A., Buytaert, D., Eeckhout, L.: Statistically rigorous Java performance evaluation. In: OOPSLA 2007, pp. 57\u201376. ACM (2007)","DOI":"10.1145\/1297105.1297033"},{"key":"23_CR29","doi-asserted-by":"crossref","unstructured":"Guttoski, P.B., Suny\u00e9, M.S., Silva, F.: Kruskal\u2019s algorithm for query tree optimization. In: IDEAS 2007, pp. 296\u2013302. IEEE (2007)","DOI":"10.1109\/IDEAS.2007.4318118"},{"issue":"1","key":"23_CR30","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/j.entcs.2005.02.031","volume":"141","author":"D Hedin","year":"2005","unstructured":"Hedin, D., Sands, D.: Timing aware information flow security for a JavaCard-like Bytecode. El. Notes Th. Comp. Science 141(1), 163\u2013182 (2005)","journal-title":"El. Notes Th. Comp. Science"},{"key":"23_CR31","doi-asserted-by":"crossref","unstructured":"Hu, W.-M.: Reducing timing channels with fuzzy time. In: S&P 1991, pp. 8\u201320. IEEE (1991)","DOI":"10.1109\/RISP.1991.130768"},{"key":"23_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BFb0055858","volume-title":"Computer Security \u2013 ESORICS 98","author":"J Kelsey","year":"1998","unstructured":"Kelsey, J., Schneier, B., Wagner, D., Hall, C.: Side channel cryptanalysis of product ciphers. In: Quisquater, J.-J., Deswarte, Y., Meadows, C., Gollmann, D. (eds.) ESORICS 1998. LNCS, vol. 1485, pp. 97\u2013110. Springer, Heidelberg (1998)"},{"issue":"4","key":"23_CR33","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/356635.356640","volume":"6","author":"D Knuth","year":"1974","unstructured":"Knuth, D.: Structured programming with go to statements. ACM Comput. Surv. 6(4), 261\u2013301 (1974)","journal-title":"ACM Comput. Surv."},{"key":"23_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/3-540-68697-5_9","volume-title":"Advances in Cryptology - CRYPTO 1996","author":"PC Kocher","year":"1996","unstructured":"Kocher, P.C.: Timing attacks on implementations of Diffie-Hellman, RSA, DSS, and other systems. In: Koblitz, N. (ed.) CRYPTO 1996. LNCS, vol. 1109, pp. 104\u2013113. Springer, Heidelberg (1996)"},{"key":"23_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1007\/3-540-48405-1_25","volume-title":"Advances in Cryptology - CRYPTO 1999","author":"PC Kocher","year":"1999","unstructured":"Kocher, P.C., Jaffe, J., Jun, B.: Differential power analysis. In: Wiener, M. (ed.) CRYPTO 1999. LNCS, vol. 1666, pp. 388\u2013397. Springer, Heidelberg (1999)"},{"key":"23_CR36","doi-asserted-by":"crossref","unstructured":"K\u00f6pf, B., Basin, D.A.: An information-theoretic model for adaptive side-channel attacks. In: CCS 2007, pp. 286\u2013296. ACM (2007)","DOI":"10.1145\/1315245.1315282"},{"key":"23_CR37","doi-asserted-by":"crossref","unstructured":"K\u00f6pf, B., D\u00fcrmuth, M.: A provably secure and efficient countermeasure against timing attacks. In: CSF 2009, pp. 324\u2013335. IEEE (2009)","DOI":"10.1109\/CSF.2009.21"},{"issue":"2\u20133","key":"23_CR38","doi-asserted-by":"publisher","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. Sec. 6(2\u20133), 107\u2013131 (2007)","journal-title":"Int. J. Inf. Sec."},{"key":"23_CR39","doi-asserted-by":"crossref","unstructured":"K\u00f6pf, B., Smith, G.: Vulnerability bounds and leakage resilience of blinded cryptograph under timing attacks. In: CSF 2010, pp. 44\u201356. IEEE (2010)","DOI":"10.1109\/CSF.2010.11"},{"issue":"1","key":"23_CR40","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1090\/S0002-9939-1956-0078686-7","volume":"7","author":"JB Kruskal","year":"1956","unstructured":"Kruskal, J.B.: On the shortest spanning subtree of a graph and the traveling salesman problem. Proc. American Math. Soc. 7(1), 48\u201350 (1956)","journal-title":"Proc. American Math. Soc."},{"key":"23_CR41","unstructured":"Lai, X.: On the design and security of block ciphers. PhD thesis, ETH Z\u00fcrich (1992)"},{"issue":"10","key":"23_CR42","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/362375.362389","volume":"16","author":"BW Lampson","year":"1973","unstructured":"Lampson, B.W.: A note on the confinement problem. Commun. ACM 16(10), 613\u2013615 (1973)","journal-title":"Commun. ACM"},{"issue":"4","key":"23_CR43","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/s13389-011-0021-z","volume":"1","author":"A Lux","year":"2011","unstructured":"Lux, A., Starostin, A.: A tool for static detection of timing channels in Java. J. Crypt. Eng. 1(4), 303\u2013313 (2011)","journal-title":"J. Crypt. Eng."},{"key":"23_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/978-3-540-74735-2_29","volume-title":"Cryptographic Hardware and Embedded Systems - CHES 2007","author":"F Mac\u00e9","year":"2007","unstructured":"Mac\u00e9, F., Standaert, F.-X., Quisquater, J.-J.: Information theoretic evaluation of side-channel resistant logic styles. In: Paillier, P., Verbauwhede, I. (eds.) CHES 2007. LNCS, vol. 4727, pp. 427\u2013442. Springer, Heidelberg (2007)"},{"key":"23_CR45","doi-asserted-by":"crossref","unstructured":"Mantel, H., Sudbrock, H.: Comparing countermeasures against interrupt-related covert channels in an information-theoretic framework. In: CSF 2007, pp. 326\u2013340. IEEE (2007)","DOI":"10.1109\/CSF.2007.14"},{"key":"23_CR46","doi-asserted-by":"crossref","unstructured":"Millen, J.K.: Covert channel capacity. In: S&P 1987, pp. 60\u201366. IEEE (1987)","DOI":"10.1109\/SP.1987.10013"},{"key":"23_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/11734727_14","volume-title":"Information Security and Cryptology - ICISC 2005","author":"D Molnar","year":"2006","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: Won, D.H., Kim, S. (eds.) ICISC 2005. LNCS, vol. 3935, pp. 156\u2013168. Springer, Heidelberg (2006)"},{"key":"23_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11605805_1","volume-title":"Topics in Cryptology \u2013 CT-RSA 2006","author":"DA Osvik","year":"2006","unstructured":"Osvik, D.A., Shamir, A., Tromer, E.: Cache attacks and countermeasures: the case of AES. In: Pointcheval, D. (ed.) CT-RSA 2006. LNCS, vol. 3860, pp. 1\u201320. Springer, Heidelberg (2006)"},{"key":"23_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/3-540-45418-7_17","volume-title":"Smart Card Programming and Security","author":"J-J Quisquater","year":"2001","unstructured":"Quisquater, J.-J., Samyde, D.: ElectroMagnetic Analysis (EMA): measures and counter-measures for smart cards. In: Attali, S., Jensen, T. (eds.) E-smart 2001. LNCS, vol. 2140, pp. 200\u2013210. Springer, Heidelberg (2001)"},{"issue":"2","key":"23_CR50","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1145\/359340.359342","volume":"21","author":"RL Rivest","year":"1978","unstructured":"Rivest, R.L., Shamir, A., Adleman, L.M.: A method for obtaining digital signatures and public-key cryptosystems. Commun. ACM 21(2), 120\u2013126 (1978)","journal-title":"Commun. ACM"},{"issue":"379\u2013423","key":"23_CR51","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1002\/j.1538-7305.1948.tb00917.x","volume":"27","author":"CE Shannon","year":"1948","unstructured":"Shannon, C.E.: A mathematical theory of communication. Bell Syst. Tech. J. 27(379\u2013423), 623\u2013656 (1948)","journal-title":"Bell Syst. Tech. J."},{"key":"23_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-642-00596-1_21","volume-title":"Foundations of Software Science and Computational Structures","author":"G Smith","year":"2009","unstructured":"Smith, G.: On the foundations of quantitative information flow. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol. 5504, pp. 288\u2013302. Springer, Heidelberg (2009)"},{"key":"23_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/978-3-642-01001-9_26","volume-title":"Advances in Cryptology - EUROCRYPT 2009","author":"F-X Standaert","year":"2009","unstructured":"Standaert, F.-X., Malkin, T.G., Yung, M.: A unified framework for the analysis of side-channel key recovery attacks. In: Joux, A. (ed.) EUROCRYPT 2009. LNCS, vol. 5479, pp. 443\u2013461. Springer, Heidelberg (2009)"},{"key":"23_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-642-12459-4_9","volume-title":"Formal Aspects in Security and Trust","author":"J Svenningsson","year":"2010","unstructured":"Svenningsson, J., Sands, D.: Specification and Verification of Side Channel Declassification. In: Degano, P., Guttman, J.D. (eds.) FAST 2009. LNCS, vol. 5983, pp. 111\u2013125. Springer, Heidelberg (2010)"},{"key":"23_CR55","doi-asserted-by":"crossref","unstructured":"Wray, J.C.: An analysis of covert timing channels. In: S&P 1991, pp. 2\u20137. IEEE (1991)","DOI":"10.1109\/RISP.1991.130767"},{"key":"23_CR56","doi-asserted-by":"crossref","unstructured":"Zhang, D., Askarov, A., Myers, A.C.: Language-based control and mitigation of timing channels. In: PLDI 2012, pp. 99\u2013110. ACM (2012)","DOI":"10.1145\/2345156.2254078"}],"container-title":["Lecture Notes in Computer Science","Computer Security -- ESORICS 2015"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24174-6_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T00:01:17Z","timestamp":1748649677000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-24174-6_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319241739","9783319241746"],"references-count":56,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24174-6_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"13 January 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}