<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>A Hard Lesson: Assessing the HTTPS Deployment of Italian University Websites</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Stefano Calzavara</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Riccardo Focardi</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Alvise Rabitti</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Lorenzo Soligo</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Universita Ca' Foscari Venezia</institution>
        </aff>
      </contrib-group>
      <abstract>
        <p>In this paper we carry out a systematic analysis of the state of the HTTPS deployment of the most popular Italian university websites. Our analysis focuses on three di erent key aspects: HTTPS adoption and activation, HTTPS certi cates, and cryptographic TLS implementations. Our investigation shows that the current state of the HTTPS deployment is unsatisfactory, yet it is possible to signi cantly improve the level of security by working exclusively at the web application layer. We hope this observation will encourage site operators to take actions to improve the current state of protection.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Introduction</title>
      <p>In our security assessment we use numeric scores to measure the compliance with respect
to security best practices, where higher scores stand for better security. At the end of our
study, we assign a nal numeric score to all sites and show that the current state of the HTTPS
deployment is unsatisfactory, yet it is possible to signi cantly improve the level of security by
working exclusively at the web application layer (Section 6). We hope this observation will
encourage site operators to take actions to improve the current state of protection.
2
2.1</p>
    </sec>
    <sec id="sec-2">
      <title>Preliminaries</title>
      <sec id="sec-2-1">
        <title>HTTPS and TLS</title>
        <p>HTTPS is an encrypted variant of HTTP based on the TLS cryptographic protocol. At a high
level, TLS can be described as follows:
1. The client initiates a handshake with the server by proposing a TLS version and a list of
supported ciphersuites;
2. The server chooses the lower between its highest supported TLS version and the TLS
version proposed by the client. It then picks a supported ciphersuite from the proposed
list and sends to the client an X.509 certi cate, which contains information about the
server's identity, the server's public key and the issuing certi cation authority;
3. The client con rms the validity of the X.509 certi cate by checking that it was issued by
a trusted certi cation authority to the hostname to which it is trying to connect, thus
getting a proof of authenticity;
4. The client and the server take appropriate actions to generate a fresh session key, which
is used to protect the communication by means of symmetric encryption, thus ensuring
its con dentiality and integrity.</p>
        <p>The session key establishment can be implemented in di erent ways and takes advantage of
the server's public key.
2.2</p>
      </sec>
      <sec id="sec-2-2">
        <title>Domains and Sub-Domains</title>
        <p>On the Web, servers are typically identi ed by a fully quali ed domain name (FQDN), i.e., a
dot-separated sequence of labels terminated by a top-level domain (TLD) from a xed list. For
example, www.unive.it is a FQDN under the TLD .it. Domain registration typically operates
at the granularity of TLD+1: this means that an organization can register a domain name like
unive.it and then create arbitrary sub-domains like www.unive.it and idp.unive.it. It is
common practice to create di erent sub-domains for di erent services, e.g., www.unive.it to
serve the university website and idp.unive.it for authentication.</p>
        <p>
          The security of sub-domains plays an important role on web application security, most
notably because sub-domains can share cookies. For example, www.unive.it and idp.unive.it
can both set cookies with the Domain attribute set to .unive.it: such cookies, called domain
cookies, are sent to both services. Though this practice is useful and popular, e.g., to implement
authentication across di erent sub-domains, it also means that attacking www.unive.it might
break the con dentiality and integrity of cookies at idp.unive.it and vice-versa [
          <xref ref-type="bibr" rid="ref8">8</xref>
          ].
2.3
        </p>
      </sec>
      <sec id="sec-2-3">
        <title>Threat Model</title>
        <p>We assume an active network attacker who is able to add, remove or modify messages sent
between a client and a server. The attacker also controls a malicious website, which is navigated
by the attacked client. By means of the website, the attacker can inject scripts in the client
from an attacker-controlled origin, which is relevant for a subset of the considered attacks.
However, the attacker can neither break the Same Origin Policy (SOP), nor exploit any bug in
the browser. We assume the attacker cannot exploit timing side-channels, since the feasibility
of such attacks is generally hard to assess.</p>
        <p>In our security analysis, we also occasionally make considerations about passive network
attackers, who just sni the network tra c and do not take actions to avoid detection. These
attackers are particularly interesting because they only require very limited skill.
2.4</p>
      </sec>
      <sec id="sec-2-4">
        <title>Analysed Websites</title>
        <p>
          We focus on the HTTPS deployment of the Italian universities which are included in the QS
World University Ranking 2020.1 We identi ed 34 universities overall, then extracted their
o cial names from QS and searched for them on Google: the rst website in the results page
is the one we used as the entry point of our security analysis. The rationale of this choice is
that we want to analyse the website which is most likely accessed when users look for a speci c
university via a search engine. We provide the full list of the analysed websites online [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ].
3
3.1
        </p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>HTTPS Adoption and Activation</title>
      <sec id="sec-3-1">
        <title>Security Practices</title>
        <p>
          When users access a website like www.unive.it without specifying any protocol, browsers
normally contact the site using the HTTP protocol. A common practice is then to upgrade the
communication to HTTPS through a redirection, e.g., by using the Location header, to send
the browser to https://www.unive.it. Though this practice de nitely improves security over
the plain adoption of HTTP, it is still vulnerable to attacks like SSL stripping [
          <xref ref-type="bibr" rid="ref17">17</xref>
          ]. Speci cally,
since the rst communication still happens over HTTP, the attacker can block the redirection
to HTTPS and forcefully prevent the security upgrade to encrypted communication. To avoid
this pitfall, websites can deploy HTTP Strict Transport Security (HSTS). HSTS instructs the
browser to never contact the website over HTTP, so that every communication attempt on
HTTP is automatically upgraded to HTTPS [
          <xref ref-type="bibr" rid="ref13">13</xref>
          ].
        </p>
        <p>
          There are several deployment options for HSTS. Speci cally, HSTS can be activated using
the Strict-Transport-Security header, using the max-age attribute to specify the lifetime
of protection. The includeSubDomains option can be used to extend the HTTPS upgrade to
all the sub-domains of the protected website, which is particularly useful to protect other web
applications and ensure the con dentiality and integrity of cookies shared among them [
          <xref ref-type="bibr" rid="ref8">8</xref>
          ]. To
further reduce the attack surface of the \trust upon rst use" model of HSTS, browsers include
a preload list of HSTS-protected websites: communication with such websites is automatically
upgraded to HTTPS, even before getting the HSTS header from them.
        </p>
        <p>Finally, once a website is accessed over HTTPS, it is important that it does not include
subresources over HTTP, otherwise the con dentiality and integrity guarantees of HTTPS can be
undermined. Modern browsers mitigate this severe threat by implementing the Mixed Content
1https://www.topuniversities.com/university-rankings/world-university-rankings/2020
policy.2 Roughly, this policy mandates that active contents like scripts must be blocked when
they are included in HTTPS pages over HTTP connections, while browser vendors are left at
liberty of being more tolerant towards passive content like images. It is a good practice to avoid
the use of mixed content in high-security sites to ensure appropriate protection also to users of
browsers which do not implement the Mixed Content policy, e.g., legacy browsers. It is worth
noticing that, starting from 2020, Google Chrome will automatically block all forms of mixed
content.3 It is thus even more important to avoid the use of mixed content to prevent breakage.
3.2</p>
      </sec>
      <sec id="sec-3-2">
        <title>Security Measurement</title>
        <p>To analyse the practices used to activate HTTPS, we have to check for the presence of redirects.
Since redirects can be performed using JavaScript, we cannot just check for the use of Location
headers and we rather use Puppeteer4 to access the websites over HTTP using Chrome. We
then check the protocol used in the nal landing page to see whether HTTPS was activated in
some way since the original HTTP request. Since Puppeteer has access to the response headers
of the landing page, we can also use it to log the presence of HSTS headers. However, this
is not entirely su cient, because HSTS activation can (and should) be forced on the TLD+1
using the includeSubDomains option; we then also check for the presence of such headers there
using the curl command line tool. Finally, we assign each website a score as follows:
0 points: no redirection to HTTPS took place. This means that the navigation is
performed over HTTP by default, which makes network attacks trivial to carry out;
3 points: redirection from HTTP to HTTPS, but lack of HSTS adoption. The website
is vulnerable to SSL stripping, yet it is normally served over HTTPS and careful users
might notice when the site is unexpectedly served over HTTP;
5 points: redirection from HTTP to HTTPS + HSTS. The website is protected against
SSL stripping, but other applications served on sub-domains might be vulnerable to this
attack and domain cookies might be leaked or set over HTTP;
7 points: redirection from HTTP to HTTPS + HSTS with the includeSubDomains option
on TLD+1. This ensures that all the applications on the domain are always accessed over
HTTPS, as well as granting the con dentiality and integrity of domain cookies.</p>
        <p>As for mixed content checking, we still rely on Puppeteer to track all the outgoing HTTP
requests of the accessed web pages, including their type. We then assign the following scores:
0 points: presence of active mixed content in the homepage. The integrity of the page is
seriously at harm on legacy clients not implementing the Mixed Content speci cation;
1 point: presence of passive mixed content in the homepage. Website defacement is
potentially possible and there is a signi cant risk of privacy breaches due to the presence
of outgoing HTTP requests, even on modern clients which are tolerant on such content;
2 points: there is no presence of mixed content in the homepage. This ensures that the full
page content is served over encrypted connections, which is necessary to provide optimal
con dentiality and integrity guarantees.
2https://www.w3.org/TR/mixed-content/
3https://blog.chromium.org/2019/10/no-more-mixed-messages-about-https.html
4https://github.com/puppeteer/puppeteer</p>
        <p>Based on this scoring system, websites with a score lower than 5 are not secure even against
passive network attackers, since they either do not redirect to HTTPS or include some HTTP
content in the homepage. A minimal score for protection against active network attackers is 7:
this ensures that SSL stripping is not possible and that the con dentiality and integrity of the
homepage cannot be trivially harmed by the use of mixed content.
3.3</p>
      </sec>
      <sec id="sec-3-3">
        <title>Experimental Results</title>
        <p>The rst observation we make is that the majority of the websites is eventually accessed over
HTTPS: this is the case for 28 out of 34 websites (82%). As to the remaining 6 websites, we
observed that web.uniroma2.it, poliba.it, www.unina.it and www.unipa.it do not perform
any redirection to HTTPS, but can still be accessed over HTTPS when the protocol is explicitly
typed in the browser address bar. This means that users can access these sites securely, but the
very large majority of users is normally left unprotected; in particular, even passive network
attackers have full visibility of the exchanged HTTP tra c. The other two websites are even
more problematic from a security perspective, because www.uniroma3.it cannot be accessed
over HTTPS and www.unife.it forces an explicit downgrade from HTTPS to HTTP using
JavaScript. We manually veri ed that both websites have a private area, which is accessible
over HTTPS. However, this is clearly not su cient for security, because an active network
attacker can break the integrity of the homepage and force the adoption of the HTTP protocol
also on the private area. Given that it is not possible to navigate these two sites over HTTPS,
we excluded them from all further analyses.</p>
        <p>As to the 28 websites which force the activation of HTTPS in some way, they mostly do it by
means of redirects: we observed that this is the case for 25 websites. The security implication
is that the majority of the Italian university websites are vulnerable to SSL stripping. Only 3
websites make use of HSTS: www.unibo.it, www.unifi.it and www.polimi.it, with the latter
two even activating the includeSubDomains option. Unfortunately, in both cases, this is not
done on the TLD+1, but on the www sub-domain, which essentially voids protection.</p>
        <p>As for the presence of mixed content, the picture is largely positive, yet we also observed
two insecure practices due to the use of passive mixed content. First, www.unina.it includes
an image over HTTP, which is su cient to leak the website cookies even against a passive
network attacker who just sni s the HTTP tra c. A second problem a ects www.unipa.it,
where the form of the internal search engine is sent over HTTP: this might not only expose the
website cookies, but also reveal all the search keywords typed by the website users, including
the corresponding results.</p>
        <p>
          The complete picture of this part of our analysis is summarized by the scores in the
\Activation" column at [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ]. It turns out that 6 out of 34 websites do not comply with minimal security
practices, hence are completely at harm even against passive network attackers: in particular,
4 sites got a score lesser than 5 and 2 sites were excluded from our analysis because they could
not be accessed over HTTPS in the rst place. The other 28 websites o er a minimal degree of
protection against passive network attackers by ensuring that communication is encrypted and
by ruling out mixed content from their homepages, yet only 3 of them implement safeguards
against active tampering attempts like SSL stripping.
        </p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>HTTPS Certi cates</title>
      <sec id="sec-4-1">
        <title>Security Practices</title>
        <p>It is well-known that certi cates should only be signed by a trusted certi cation authority and
should only be considered valid up to a given expiration date. What is likely less known is that
certi cates come in di erent forms. In particular, by increasing level of security guarantees:
1. Domain Validated (DV) certi cates are issued after proving some form of control over a
given domain name, but do not provide any form of binding between the domain name
and the organization which claims ownership of the domain;
2. Organization Validated (OV) certi cates are only issued after proving that a domain name
is actually controlled by a given physical organization. This requires the presentation of
appropriate documentation about the organization asking for the certi cate;
3. Extended Validated (EV) certi cates are similar to OV certi cates, but are subject to
even stricter security checks. Browsers often rely on custom security indicators for EV
certi cates and show the name of the owning organization directly in the address bar.</p>
        <p>Major organizations like universities should only use OV or EV certi cates, since DV
certi cates provide no protection against phishing attempts. For example, an attacker could get a
valid DV certi cate for www.unvie.it and host a website which pretends to be the legitimate
website of Universita Ca' Foscari Venezia (www.unive.it).5</p>
        <p>Moreover, security-conscious administrators should avoid the use of wildcard certi cates.
Wildcard certi cates apply to arbitrary sub-domains like *.unive.it, hence are typically reused
on a multitude of di erent hosts. This simpli es the HTTPS deployment, but also implies that
all such hosts have access to the same cryptographic keys, hence the compromise of any host
would su ce to get read and write access to all the HTTPS tra c exchanged with any
subdomain of unive.it. Wildcards cannot be used in EV certi cates, but it is worth noticing that
even certi cates which do not make use of wildcards might be unduly issued for a large number
of domains by specifying multiple Subject Alternative Names (SANs) in them.
4.2</p>
      </sec>
      <sec id="sec-4-2">
        <title>Security Measurement</title>
        <p>We check the use of certi cates at the analysed websites by using the openssl tool from the
command line. In particular, we rely on the following scoring system:
0 points: the certi cate is not signed by a trusted certi cation authority or has expired.
In the former case a network attacker can just replace the server's certi cate with a fake
one while going unnoticed, while in the latter case it is plausible that keys might have
been compromised over time, e.g., by brute-forcing;
2 points: the website uses a valid DV certi cate signed by a trusted certi cation authority.
This provides both con dentiality and integrity, but not necessarily authenticity;
4 points: the website uses a valid OV certi cate signed by a trusted certi cation authority.
This gives attentive and technically educated users a way to check the identity of the
server's organization when in doubt;
5We actually registered www.unvie.it after realizing that this is one of our most common typos...
5 points: the website uses a valid EV certi cate signed by a trusted certi cation authority.
This provides immediate visual feedback about the identity of the server's organization
or at least easy access to this information.</p>
        <p>Finally, we award 2 extra points to certi cates which are only valid for a \small" number of
domain names. Such certi cates do not make use of wildcards and keep the number of SANs
under a given threshold t. To choose t, we rely on the distribution of the number of SANs in
the collected certi cates as reported below.</p>
        <p>Based on this scoring system, certi cates should be awarded at least 6 points to be considered
compliant with security best practices: this requirement is satis ed by OV and EV certi cates
with only limited reuse on multiple domains.
4.3</p>
      </sec>
      <sec id="sec-4-3">
        <title>Experimental Results</title>
        <p>We start by discussing a positive result: all the analysed websites have valid certi cates and
none of them relies on DV certi cates. This means that minimal security practices to ensure
communication security and complicate phishing attempts are put in place, and all websites
were awarded at least 4 points. Only 5 websites, however, use EV certi cates: www.unimore.it,
www.unipg.it, www.unitn.it, www.uniud.it and www.unive.it. An interesting fact is that
all the collected certi cates were issued by the same certi cation authority (TERENA).</p>
        <p>We also noticed that only two websites make use of wildcard certi cates, i.e., www.unibo.it
and www.unicatt.it. This means that most certi cates cannot be arbitrarily reused on
subdomains, which is important to minimize the risk of leaking private keys and reduce the attack
surface. There are however a few interesting observations about the use of SANs, since their
distribution is highly skewed. In particular, the mode of the distribution is 2, the mean is 21.7
and the variance is 47.4. We show the full frequency table of the number of SANs in Table 1.
Observe that there are a few cases where the certi cate is valid for so many domains that it
is essentially equivalent to having a wildcard: for example, the certi cate of www.unifi.it is
valid on 247 di erent domains. Based on the collected numbers, we empirically set the threshold
t = 10: indeed, 24 out of 32 certi cates use a number of SANs which is lower than this threshold,
hence it is common practice to avoid a more widespread certi cate reuse.</p>
        <p>
          The complete picture of this part of our analysis is summarized by the scores in the \Certi
cate" column at [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ]. The numbers con rm the good state of the certi cate ecosystem of Italian
university websites. Though EV certi cates are still underrepresented, DV certi cates are not
used on website homepages and 22 out of 32 certi cates (69%) were awarded the extra points
granted by the limited amount of reuse on multiple domains.
5
5.1
        </p>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>Cryptographic Implementations</title>
      <sec id="sec-5-1">
        <title>Security Practices</title>
        <p>
          Even when HTTPS is up and running, cryptographic aws in the implementation of TLS may
break its intended security guarantees. Researchers identi ed several attacks against TLS in
the past, which may even lead to the disclosure of the cryptographic keys used to protect the
HTTP tra c [
          <xref ref-type="bibr" rid="ref18 ref3 ref4">3, 4, 18</xref>
          ]. In recent work, our research group developed a tool which automates
the detection of TLS vulnerabilities exploitable on modern clients and estimates their impact
on web application security [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ]. Part of the tool has been recently integrated in the Discovery
service of Cryptosense and is publicly available online.6
        </p>
        <sec id="sec-5-1-1">
          <title>Number of SANs</title>
        </sec>
        <sec id="sec-5-1-2">
          <title>Number of Websites Frequency</title>
          <p>Given a domain name like www.unive.it, the tool performs a cryptographic assessment of all
the hosts to which www.unive.it might resolve. Moreover, the tool also analyzes all the hosts to
which any other sub-domain of unive.it might resolve, since other web applications might be
hosted there. Finally, the security analysis is done on all the hosts from which the web page at
www.unive.it is including content, e.g., scripts and stylesheets. Cryptographic vulnerabilities
on such hosts might seriously undermine page integrity and introduce con dentiality breaches,
despite the adoption of the HTTPS protocol.</p>
          <p>The output of the tool builds on the following taxonomy of insecure channels:
1. Leaky channels: established with servers vulnerable to con dentiality attacks, which give
the attacker the ability to decrypt the network tra c;
2. Tainted channels : susceptible to man-in-the-middle attacks, which give the attacker the
ability to decrypt and arbitrarily modify the network tra c. Observe that tainted
channels are also leaky by de nition;
3. Partially leaky channels : su ering from side-channels, which give the attacker the ability
to disclose selected \small" secrets (like cookies) over time. Observe that leaky and tainted
channels also qualify as partially leaky.
5.2</p>
        </sec>
      </sec>
      <sec id="sec-5-2">
        <title>Security Measurement</title>
        <p>We assign to each website a score from 0 to 4 based on the following system:
1 point: no (partially) leaky channel on the main domain or domains from which resources
are loaded from the homepage. This ensures that network attackers cannot leverage
cryptographic aws to disclose information on the homepage;
1 point: no tainted channel on the main domain or domains from which resources are
loaded from the homepage. This ensures that network attackers cannot exploit
cryptographic aws to undermine the integrity of the homepage;
1 point: no (partially) leaky channel on sub-domains. This is important at the very least
to ensure the con dentiality of domain cookies;
1 point: no tainted channel on sub-domains. This is important at the very least to ensure
the con dentiality and integrity of domain cookies.</p>
        <p>Notice that, since tainted channels are also (partially) leaky, integrity violations e ectively
weigh twice as much as con dentiality violations in our scoring system.
5.3</p>
      </sec>
      <sec id="sec-5-3">
        <title>Experimental Results</title>
        <p>
          At the end of our measurement, we analysed 2,654 domains. In particular, we scanned 2,601
sub-domains of Italian universities and 53 external domains from which resources are loaded on
the homepage of the analysed websites, the large majority of these being well-known analytics
or library providers. This is already an interesting observation, because it shows that the attack
surface is mostly under the control of the universities and does not signi cantly depend upon
the security settings of external entities. This is in stark contrast with what we observed in
general websites from the Alexa list [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ]. On the other hand, the average number of sub-domains
analysed on each website is 83: this is in line with our previous study, where we emphasized
the growing importance of sub-domains on web application security.
        </p>
        <p>
          A positive result of our analysis is that, as long as we focus on the main domain and the
homepage of the analysed websites, the quality of the cryptographic deployment is very high.
We were not able to nd any cryptographic aw which could a ect the con dentiality and the
integrity guarantees of the homepages. Unfortunately, the picture is way less positive when
we turn our attention to sub-domains, given the size of the attack surface. In particular, we
found tainted channels on at least one sub-domain on 15 out of 32 analyzed main domains. The
key culprits of this are vulnerabilities enabling attacks like DROWN [
          <xref ref-type="bibr" rid="ref3">3</xref>
          ] and ROBOT [
          <xref ref-type="bibr" rid="ref4">4</xref>
          ]. The
summary of our ndings is given by the scores in the \Cryptography" column at [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ].
6
        </p>
      </sec>
    </sec>
    <sec id="sec-6">
      <title>Closing Remarks</title>
      <p>We draw the key conclusions of our study, discussing ethical considerations and limitations.
6.1</p>
      <sec id="sec-6-1">
        <title>Italian University Websites: Secure or Not?</title>
        <p>
          To understand the state of the HTTPS deployment on the Italian university websites, we take
a nal look at the collected data [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ] and assign a nal score to each website as follows:
1. Insecure (6 sites): these websites got a score lower than 5 in the \Activation" column or
could not be accessed over HTTPS. The implication is that these sites do not satisfy even
minimal security requirements, because they su er from con dentiality aws even against
passive network attackers;
2. At risk (25 sites): these websites got a score of 5 in the \Activation" column. They do
provide a minimal level of protection, in particular against passive network attackers, but
they are vulnerable to active tampering which can bypass HTTPS (SSL stripping);
3. Acceptable (2 sites): these websites got a score of at least 7 in the \Activation" column,
but got a score lower than 6 in the \Certi cate" column or a score lower than 4 in the
\Cryptography" column. Though these sites implement some safeguards against active
network attackers, they also take unnecessary risks in their certi cate management, e.g.,
by abusing of certi cate reuse, or su er from crytographic aws which can be exploited
by sophisticated attacks;
4. Close to secure (1 site): we put in this category all the other websites. We do not call
this category \secure", because none of the analysed websites implement state-of-the-art
protection mechanisms against all the considered threats.
        </p>
        <p>In the end, our analysis shows that the current state of the HTTPS deployment of Italian
university websites is unsatisfactory, because active network attackers have easy life on the
very large majority of the analysed sites. However, our analysis also has positive implications,
because it shows a reasonable state of health of the certi cate and cryptographic ecosystems.
This means that many websites can improve their security with limited e ort by exclusively
working at the web application layer. In particular, we observe that activating HSTS on the
25 websites marked as at risk would lead to the following improvement: 16 websites would be
deemed acceptable and 9 websites would be considered close to secure (or even better). We
hope this observation will encourage site operators to take actions to improve the current state
of protection.
6.2</p>
      </sec>
      <sec id="sec-6-2">
        <title>Ethics and Limitations</title>
        <p>
          Due to both legal and ethical reasons, our analysis of TLS vulnerabilities in the wild was limited
to an unintrusive scan based on the use of publicly available tools. The exploitability of the
discovered vulnerabilities was exclusively judged through a systematic analysis of the output of
those tools, as discussed in previous work [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ]. The analyses of HTTPS activation and HTTPS
certi cates do not pose legal or ethical implications.
        </p>
        <p>A limitation of our analysis is that it considers the homepage of the website as the key entry
point. Though this makes sense from the perspective of a navigation session, it is possible that
security-sensitive services are deployed on external domains which we did not analyse. Notice,
however, that we provided a reasonable coverage of the security guarantees of sub-domains. A
second limitation of our study is that we did not authenticate to the analysed websites, because
we do not own valid access credentials for them. Finally, it is worth mentioning that our analysis
is entirely focused on network attackers: we leave the study of security mechanisms designed
to prevent web attacks to future work.</p>
        <p>We are making plans to responsibly disclose all our results with the technical sta of the
universities involved in our study. For now, we contacted our own IT o ce at Ca' Foscari and
convinced them to activate HSTS on www.unive.it. We hope we will be just as successful with
further disclosures.
7</p>
      </sec>
    </sec>
    <sec id="sec-7">
      <title>Related Work</title>
      <p>
        Many papers presented attacks exploiting cryptographic vulnerabilities in TLS, like DROWN [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ],
ROBOT [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ] and TLS-POODLE [
        <xref ref-type="bibr" rid="ref18">18</xref>
        ]. The presence of such aws in the wild is well-known and
constantly measured by organizations like Qualys.7 In this paper, we focused on the analysis
of cryptographic vulnerabilities in the Italian university websites, which is an important and
interesting aspect for our country and the ITASEC community. Most importantly, our analysis
leverages a research tool which only captures exploitable vulnerabilities still working on modern
clients and are thus particularly relevant from a security perspective [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ].
      </p>
      <p>
        Besides cryptographic vulnerabilities, there might be several other reasons why HTTPS
deployments turn out to be susceptible to attacks [
        <xref ref-type="bibr" rid="ref14">14</xref>
        ]. SSL stripping is a prominent example of
an application layer attack against HTTPS [
        <xref ref-type="bibr" rid="ref17">17</xref>
        ]. To prevent it, browsers had to implement a new
security mechanism in the form of HSTS. Kranch and Bonneau measured the HSTS adoption
in the wild in 2015 and found it very limited; also, they observed that many con gurations turn
out to be insecure [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ]. Luckily, anecdotal evidence shows that HSTS has been gaining traction
over the years: for example, a recent small-scale session security study on 20 popular sites found
that more than a half of the analyzed sites made use of HSTS [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ]. Other studies on HTTPS
security focused on the certi cate ecosystem [
        <xref ref-type="bibr" rid="ref1 ref11 ref15">11, 1, 15</xref>
        ] and certi cate errors in particular [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ].
      </p>
      <p>
        The present paper positions itself in the popular research line of security measurements of
the Web. For example, previous work analyzed the security of European sites [
        <xref ref-type="bibr" rid="ref20">20</xref>
        ] and Chinese
sites [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ]. Other papers, instead, focused on the adoption of selected web security mechanisms
like Content Security Policy [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ], Cross Origin Resource Sharing [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ] and postMessage [
        <xref ref-type="bibr" rid="ref19">19</xref>
        ]. We
would like to expand our security analysis to also cover these important aspects.
      </p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>Josh</given-names>
            <surname>Aas</surname>
          </string-name>
          , Richard Barnes,
          <string-name>
            <given-names>Benton</given-names>
            <surname>Case</surname>
          </string-name>
          , Zakir Durumeric,
          <string-name>
            <given-names>Peter</given-names>
            <surname>Eckersley</surname>
          </string-name>
          , Alan Flores-Lopez,
          <string-name>
            <given-names>J. Alex</given-names>
            <surname>Halderman</surname>
          </string-name>
          ,
          <source>Jacob Ho man-Andrews</source>
          , James Kasten, Eric Rescorla,
          <string-name>
            <given-names>Seth D.</given-names>
            <surname>Schoen</surname>
          </string-name>
          , and
          <string-name>
            <given-names>Brad</given-names>
            <surname>Warren</surname>
          </string-name>
          .
          <article-title>Let's encrypt: An automated certi cate authority to encrypt the entire web</article-title>
          .
          <source>In Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS</source>
          <year>2019</year>
          , London, UK, November
          <volume>11</volume>
          -
          <issue>15</issue>
          ,
          <year>2019</year>
          , pages
          <fpage>2473</fpage>
          {
          <fpage>2487</fpage>
          ,
          <year>2019</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>Mustafa</given-names>
            <surname>Emre</surname>
          </string-name>
          <string-name>
            <surname>Acer</surname>
          </string-name>
          , Emily Stark, Adrienne Porter Felt, Sascha Fahl, Radhika Bhargava, Bhanu Dev, Matt Braithwaite, Ryan Sleevi, and
          <string-name>
            <given-names>Parisa</given-names>
            <surname>Tabriz</surname>
          </string-name>
          .
          <article-title>Where the wild warnings are: Root causes of chrome HTTPS certi cate errors</article-title>
          .
          <source>In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS</source>
          <year>2017</year>
          , Dallas, TX, USA, October 30 - November 03,
          <year>2017</year>
          , pages
          <fpage>1407</fpage>
          {
          <fpage>1420</fpage>
          ,
          <year>2017</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>Nimrod</given-names>
            <surname>Aviram</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Sebastian</given-names>
            <surname>Schinzel</surname>
          </string-name>
          , Juraj Somorovsky, Nadia Heninger, Maik Dankel, Jens Steube, Luke Valenta, David Adrian,
          <string-name>
            <given-names>J. Alex</given-names>
            <surname>Halderman</surname>
          </string-name>
          , Viktor Dukhovni, Emilia Kasper, Shaanan Cohney, Susanne Engels, Christof Paar, and
          <string-name>
            <given-names>Yuval</given-names>
            <surname>Shavitt</surname>
          </string-name>
          .
          <article-title>DROWN: Breaking TLS Using SSLv2</article-title>
          .
          <source>In Proceedings of the 25th USENIX Security Symposium (USENIX Security 16)</source>
          , pages
          <fpage>689</fpage>
          {
          <fpage>706</fpage>
          . USENIX Association,
          <year>2016</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>Hanno</given-names>
            <surname>Bo</surname>
          </string-name>
          <article-title>ck, Juraj Somorovsky, and Craig Young. Return Of Bleichenbacher's Oracle Threat (ROBOT)</article-title>
          .
          <source>Cryptology ePrint Archive, Report 2017/1189</source>
          ,
          <year>2017</year>
          . Online, cit. [2018-10-29].
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>Stefano</given-names>
            <surname>Calzavara</surname>
          </string-name>
          , Riccardo Focardi, Matus Nemec, Alvise Rabitti, and
          <string-name>
            <given-names>Marco</given-names>
            <surname>Squarcina</surname>
          </string-name>
          .
          <article-title>Postcards from the post-http world: Ampli cation of HTTPS vulnerabilities in the web ecosystem</article-title>
          .
          <source>In 2019 IEEE Symposium on Security and Privacy</source>
          ,
          <string-name>
            <surname>SP</surname>
          </string-name>
          <year>2019</year>
          , San Francisco, CA, USA, May
          <volume>19</volume>
          -23,
          <year>2019</year>
          , pages
          <fpage>281</fpage>
          {
          <fpage>298</fpage>
          ,
          <year>2019</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>Stefano</given-names>
            <surname>Calzavara</surname>
          </string-name>
          , Riccardo Focardi, Alvise Rabitti, and
          <string-name>
            <given-names>Lorenzo</given-names>
            <surname>Soligo</surname>
          </string-name>
          .
          <article-title>Results of our security assessment</article-title>
          . https://secgroup.dais.unive.it/https_universities/,
          <year>2020</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>Stefano</given-names>
            <surname>Calzavara</surname>
          </string-name>
          , Alvise Rabitti, and
          <string-name>
            <given-names>Michele</given-names>
            <surname>Bugliesi</surname>
          </string-name>
          .
          <article-title>Semantics-based analysis of content security policy deployment</article-title>
          .
          <source>TWEB</source>
          ,
          <volume>12</volume>
          (
          <issue>2</issue>
          ):
          <volume>10</volume>
          :1{
          <fpage>10</fpage>
          :
          <fpage>36</fpage>
          ,
          <year>2018</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>Stefano</given-names>
            <surname>Calzavara</surname>
          </string-name>
          , Alvise Rabitti, Alessio Ragazzo, and
          <string-name>
            <given-names>Michele</given-names>
            <surname>Bugliesi</surname>
          </string-name>
          .
          <article-title>Testing for integrity aws in web sessions</article-title>
          .
          <source>In Computer Security - ESORICS 2019 - 24th European Symposium on Research in Computer Security</source>
          , Luxembourg,
          <source>September 23-27</source>
          ,
          <year>2019</year>
          , Proceedings,
          <string-name>
            <surname>Part</surname>
            <given-names>II</given-names>
          </string-name>
          , pages
          <volume>606</volume>
          {
          <fpage>624</fpage>
          ,
          <year>2019</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>Jianjun</given-names>
            <surname>Chen</surname>
          </string-name>
          , Jian Jiang,
          <string-name>
            <surname>Hai-Xin</surname>
            <given-names>Duan</given-names>
          </string-name>
          , Tao Wan, Shuo Chen, Vern Paxson, and
          <string-name>
            <given-names>Min</given-names>
            <surname>Yang</surname>
          </string-name>
          .
          <article-title>We still don't have secure cross-domain requests: an empirical study of CORS</article-title>
          .
          <source>In 27th USENIX Security Symposium, USENIX Security</source>
          <year>2018</year>
          , Baltimore,
          <string-name>
            <surname>MD</surname>
          </string-name>
          , USA,
          <year>August</year>
          15-
          <issue>17</issue>
          ,
          <year>2018</year>
          , pages
          <fpage>1079</fpage>
          {
          <fpage>1093</fpage>
          ,
          <year>2018</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <surname>Ping</surname>
            <given-names>Chen</given-names>
          </string-name>
          , Nick Nikiforakis, Lieven Desmet, and
          <string-name>
            <given-names>Christophe</given-names>
            <surname>Huygens</surname>
          </string-name>
          .
          <article-title>Security analysis of the chinese web: How well is it protected?</article-title>
          <source>In Proceedings of the 2014 Workshop on Cyber Security Analytics, Intelligence and Automation</source>
          , SafeCon g '
          <volume>14</volume>
          ,
          <string-name>
            <surname>Scottsdale</surname>
          </string-name>
          , Arizona, USA, November 3,
          <year>2014</year>
          , pages
          <issue>3{9</issue>
          ,
          <year>2014</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <surname>Zakir</surname>
            <given-names>Durumeric</given-names>
          </string-name>
          , James Kasten,
          <string-name>
            <given-names>Michael</given-names>
            <surname>Bailey</surname>
          </string-name>
          , and
          <string-name>
            <given-names>J. Alex</given-names>
            <surname>Halderman</surname>
          </string-name>
          .
          <article-title>Analysis of the HTTPS certi cate ecosystem</article-title>
          .
          <source>In Proceedings of the 2013 Internet Measurement Conference</source>
          ,
          <string-name>
            <surname>IMC</surname>
          </string-name>
          <year>2013</year>
          , Barcelona, Spain,
          <source>October 23-25</source>
          ,
          <year>2013</year>
          , pages
          <fpage>291</fpage>
          {
          <fpage>304</fpage>
          ,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>Adrienne</given-names>
            <surname>Porter</surname>
          </string-name>
          <string-name>
            <surname>Felt</surname>
          </string-name>
          , Richard Barnes, April King, Chris Palmer, Chris Bentzel, and
          <string-name>
            <given-names>Parisa</given-names>
            <surname>Tabriz</surname>
          </string-name>
          .
          <article-title>Measuring HTTPS adoption on the web</article-title>
          .
          <source>In 26th USENIX Security Symposium, USENIX Security</source>
          <year>2017</year>
          , Vancouver, BC, Canada,
          <source>August 16-18</source>
          ,
          <year>2017</year>
          , pages
          <fpage>1323</fpage>
          {
          <fpage>1338</fpage>
          ,
          <year>2017</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>Michael</given-names>
            <surname>Kranch</surname>
          </string-name>
          and
          <string-name>
            <given-names>Joseph</given-names>
            <surname>Bonneau</surname>
          </string-name>
          .
          <article-title>Upgrading HTTPS in mid-air: An empirical study of strict transport security and key pinning</article-title>
          .
          <source>In 22nd Annual Network and Distributed System Security Symposium, NDSS</source>
          <year>2015</year>
          , San Diego, California, USA, February 8-
          <issue>11</issue>
          ,
          <year>2015</year>
          ,
          <year>2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <surname>Katharina</surname>
            <given-names>Krombholz</given-names>
          </string-name>
          , Wilfried Mayer,
          <string-name>
            <given-names>Martin</given-names>
            <surname>Schmiedecker</surname>
          </string-name>
          , and
          <string-name>
            <surname>Edgar</surname>
            <given-names>R.</given-names>
          </string-name>
          <string-name>
            <surname>Weippl</surname>
          </string-name>
          .
          <article-title>"i have no idea what i'm doing" - on the usability of deploying HTTPS</article-title>
          .
          <source>In 26th USENIX Security Symposium, USENIX Security</source>
          <year>2017</year>
          , Vancouver, BC, Canada,
          <source>August 16-18</source>
          ,
          <year>2017</year>
          , pages
          <fpage>1339</fpage>
          {
          <fpage>1356</fpage>
          ,
          <year>2017</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [15]
          <string-name>
            <surname>Deepak</surname>
            <given-names>Kumar</given-names>
          </string-name>
          , Zhengping Wang, Matthew Hyder, Joseph Dickinson, Gabrielle Beck, David Adrian,
          <string-name>
            <given-names>Joshua</given-names>
            <surname>Mason</surname>
          </string-name>
          , Zakir Durumeric,
          <string-name>
            <given-names>J. Alex</given-names>
            <surname>Halderman</surname>
          </string-name>
          , and
          <string-name>
            <given-names>Michael</given-names>
            <surname>Bailey</surname>
          </string-name>
          .
          <article-title>Tracking certi cate misissuance in the wild</article-title>
          .
          <source>In 2018 IEEE Symposium on Security and Privacy</source>
          ,
          <string-name>
            <surname>SP</surname>
          </string-name>
          <year>2018</year>
          , Proceedings,
          <fpage>21</fpage>
          -
          <lpage>23</lpage>
          May
          <year>2018</year>
          , San Francisco, California, USA, pages
          <volume>785</volume>
          {
          <fpage>798</fpage>
          ,
          <year>2018</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          [16]
          <string-name>
            <surname>Salvatore</surname>
            <given-names>Manfredi</given-names>
          </string-name>
          , Silvio Ranise, and
          <string-name>
            <given-names>Giada</given-names>
            <surname>Sciarretta</surname>
          </string-name>
          .
          <article-title>Lost in tls? no more! assisted deployment of secure TLS con gurations</article-title>
          .
          <source>In Data and Applications Security and Privacy XXXIII - 33rd Annual IFIP WG 11.3 Conference</source>
          , DBSec
          <year>2019</year>
          ,
          <article-title>Charleston</article-title>
          ,
          <string-name>
            <surname>SC</surname>
          </string-name>
          , USA, July
          <volume>15</volume>
          -
          <issue>17</issue>
          ,
          <year>2019</year>
          , Proceedings, pages
          <volume>201</volume>
          {
          <fpage>220</fpage>
          ,
          <year>2019</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          [17]
          <string-name>
            <given-names>Moxie</given-names>
            <surname>Marlinspike</surname>
          </string-name>
          .
          <article-title>New Tricks for Defeating SSL in Practice, 2009</article-title>
          . Online, cit. [2019-02-12].
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          [18]
          <string-name>
            <given-names>Bodo</given-names>
            <surname>Mo</surname>
          </string-name>
          <article-title>ller, Thai Duong, and Krzysztof Kotowicz</article-title>
          .
          <source>This POODLE Bites: Exploiting The SSL 3.0 Fallback</source>
          ,
          <year>2014</year>
          . Online, cit. [2018-10-29].
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          [19]
          <string-name>
            <given-names>Sooel</given-names>
            <surname>Son</surname>
          </string-name>
          and
          <string-name>
            <given-names>Vitaly</given-names>
            <surname>Shmatikov</surname>
          </string-name>
          .
          <article-title>The postman always rings twice: Attacking and defending postmessage in HTML5 websites. In 20th Annual Network and Distributed System Security Symposium</article-title>
          ,
          <string-name>
            <surname>NDSS</surname>
          </string-name>
          <year>2013</year>
          , San Diego, California, USA, February
          <volume>24</volume>
          -
          <issue>27</issue>
          ,
          <year>2013</year>
          ,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          [20] Tom van Goethem,
          <string-name>
            <surname>Ping Chen</surname>
            , Nick Nikiforakis, Lieven Desmet, and
            <given-names>Wouter</given-names>
          </string-name>
          <string-name>
            <surname>Joosen</surname>
          </string-name>
          .
          <article-title>Large-scale security analysis of the web: Challenges and ndings</article-title>
          .
          <source>In Trust and Trustworthy Computing - 7th International Conference, TRUST</source>
          <year>2014</year>
          , Heraklion, Crete, Greece, June 30 - July 2,
          <year>2014</year>
          . Proceedings, pages
          <volume>110</volume>
          {
          <fpage>126</fpage>
          ,
          <year>2014</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>