<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-01444523</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-21T00:04:34+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis</title>
            <author role="aut">
              <persName>
                <forename type="first">Gianluca</forename>
                <surname>Barbon</surname>
              </persName>
              <email type="md5">81b20ac3a2ab9e7ee52f3265a30acdae</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">gianluca-barbon</idno>
              <idno type="idhal" notation="numeric">14049</idno>
              <idno type="halauthorid" notation="string">32644-14049</idno>
              <affiliation ref="#struct-1082372"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Agostino</forename>
                <surname>Cortesi</surname>
              </persName>
              <email type="md5">67d5e57d82f520f17d608e676e5c8765</email>
              <email type="domain">unive.it</email>
              <idno type="idhal" notation="numeric">999177</idno>
              <idno type="halauthorid" notation="string">1093856-999177</idno>
              <affiliation ref="#struct-1082372"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Pietro</forename>
                <surname>Ferrara</surname>
              </persName>
              <idno type="halauthorid">416032-0</idno>
              <affiliation ref="#struct-480396"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Marco</forename>
                <surname>Pistoia</surname>
              </persName>
              <idno type="halauthorid">793613-0</idno>
              <affiliation ref="#struct-480396"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Omer</forename>
                <surname>Tripp</surname>
              </persName>
              <idno type="halauthorid">793612-0</idno>
              <affiliation ref="#struct-480396"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Hal</forename>
                <surname>Ifip</surname>
              </persName>
              <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2017-01-24 10:46:17</date>
              <date type="whenModified">2026-03-13 11:46:13</date>
              <date type="whenReleased">2017-01-24 10:54:06</date>
              <date type="whenProduced">2015-09-24</date>
              <date type="whenEndEmbargoed">2018-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01444523v1/document">
                <date notBefore="2018-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01444523v1/file/978-3-319-24369-6_1_Chapter.pdf" id="file-1444523-1522153">
                <date notBefore="2018-01-01"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="200187">
                <persName>
                  <forename>Hal</forename>
                  <surname>Ifip</surname>
                </persName>
                <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01444523</idno>
            <idno type="halUri">https://inria.hal.science/hal-01444523</idno>
            <idno type="halBibtex">barbon:hal-01444523</idno>
            <idno type="halRefHtml">&lt;i&gt;14th Computer Information Systems and Industrial Management (CISIM)&lt;/i&gt;, Sep 2015, Warsaw, Poland. pp.3-23, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-24369-6_1"&gt;&amp;#x27E8;10.1007/978-3-319-24369-6_1&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.3-23, &amp;#x27E8;10.1007/978-3-319-24369-6_1&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1444523-1522153"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="IFIP-LNCS" corresp="IFIP">IFIP - Lecture Notes in Computer Science</idno>
            <idno type="stamp" n="IFIP">IFIP - International Federation for Information Processing</idno>
            <idno type="stamp" n="IFIP-TC" corresp="IFIP">IFIP Technical Committees </idno>
            <idno type="stamp" n="IFIP-TC8" corresp="IFIP-TC">IFIP-TC8: Information Systems</idno>
            <idno type="stamp" n="IFIP-CISIM">IFIP-CISIM</idno>
            <idno type="stamp" n="IFIP-LNCS-9339" corresp="IFIP-LNCS">Computer Information Systems and Industrial Management</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Part 1: Full Keynote and Invited Papers</note>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Gianluca</forename>
                    <surname>Barbon</surname>
                  </persName>
                  <email type="md5">81b20ac3a2ab9e7ee52f3265a30acdae</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">gianluca-barbon</idno>
                  <idno type="idhal" notation="numeric">14049</idno>
                  <idno type="halauthorid" notation="string">32644-14049</idno>
                  <affiliation ref="#struct-1082372"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Agostino</forename>
                    <surname>Cortesi</surname>
                  </persName>
                  <email type="md5">67d5e57d82f520f17d608e676e5c8765</email>
                  <email type="domain">unive.it</email>
                  <idno type="idhal" notation="numeric">999177</idno>
                  <idno type="halauthorid" notation="string">1093856-999177</idno>
                  <affiliation ref="#struct-1082372"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Pietro</forename>
                    <surname>Ferrara</surname>
                  </persName>
                  <idno type="halauthorid">416032-0</idno>
                  <affiliation ref="#struct-480396"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Marco</forename>
                    <surname>Pistoia</surname>
                  </persName>
                  <idno type="halauthorid">793613-0</idno>
                  <affiliation ref="#struct-480396"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Omer</forename>
                    <surname>Tripp</surname>
                  </persName>
                  <idno type="halauthorid">793612-0</idno>
                  <affiliation ref="#struct-480396"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>14th Computer Information Systems and Industrial Management (CISIM)</title>
                  <date type="start">2015-09-24</date>
                  <date type="end">2015-09-26</date>
                  <settlement>Warsaw</settlement>
                  <country key="PL">Poland</country>
                </meeting>
                <editor>Khalid Saeed</editor>
                <editor>Władysław Homenda</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Computer Information Systems and Industrial Management</biblScope>
                  <biblScope unit="volume">LNCS-9339</biblScope>
                  <biblScope unit="pp">3-23</biblScope>
                  <date type="datePub">2015</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-24369-6_1</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>A static analysis is presented, based on the theory of abstract interpretation, for verifying privacy policy compliance by mobile applications. This includes instances where, for example, the application releases the user’s location or device ID without authorization. It properly extends previous work on datacentric semantics for verification of privacy policy compliance by mobile applications by (i) tracking implicit information flow, and (ii) performing a quantitative analysis of information leakage. This yields to a novel combination of qualitative and quantitative analyses of information flows in mobile applications.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 8</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-1082372" status="VALID">
          <orgName>University of Venice Ca’ Foscari = Université de Venise Ca’ Foscari = Università Ca’ Foscari di Venezia</orgName>
          <desc>
            <address>
              <addrLine>Dorsoduro 3246, 30123 Venezia</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">https://www.unive.it/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-480396" status="INCOMING">
          <orgName>IBM Thomas J.Watson Research Center</orgName>
          <desc>
            <address>
              <addrLine>Yorktown Heights USA</addrLine>
              <country key="US"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>