formalsec.github.io/index.html at main · formalsec/formalsec.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
---
layout: default
---

<section class="py-5 mt-5">
  <div class="container">
    <header class="row align-items-center mb-5" id="about">
      <div class="col-md-3 text-center mb-4 mb-md-0">
        <img src="assets/logo.png" class="img-fluid" alt="Formal Security Logo" style="max-height: 180px; width: auto;">
      </div>
      <div class="col-md-9">
        <h1 class="display-4">Formal Security for Web Technologies</h1>
        <p class="lead mt-3 text-muted">
          We use <strong>Formal Methods</strong> to enhance the security and reliability of modern web technologies.
          Our research focuses on <strong>Static Analysis</strong>, <strong>Symbolic Execution</strong>, and <strong>Automated Exploit Generation</strong>
          for languages like JavaScript and WebAssembly.
        </p>
        <div class="mt-4">
          <span class="badge rounded-pill bg-light text-dark px-3 py-2 border me-2">Formal Verification</span>
          <span class="badge rounded-pill bg-light text-dark px-3 py-2 border me-2">Web Security</span>
          <span class="badge rounded-pill bg-light text-dark px-3 py-2 border me-2">Program Analysis</span>
          <span class="badge rounded-pill bg-light text-dark px-3 py-2 border me-2">SMT Solving</span>
        </div>
      </div>
    </header>
  </div>
</section>

<section id="projects" class="py-5">
  <div class="container">
    <h2 class="section-title">Research Projects</h2>
    <p class="text-muted mb-4">We develop open-source tools to solve real-world security challenges.</p>

    <div class="row row-cols-1 row-cols-md-2 row-cols-lg-3 g-4">
      {% for project in site.data.projects %}
      <div class="col">
        <div class="card h-100">
          <div class="card-body">
            <h5 class="card-title text-primary">{{ project.name }}</h5>
            <p class="card-text">{{ project.description }}</p>
            <div class="mb-3">
              {% for tag in project.tags %}
              <span class="tag">{{ tag }}</span>
              {% endfor %}
            </div>
          </div>
          <div class="card-footer bg-white border-0 pb-3">
            <div class="d-flex justify-content-between align-items-center">
              <a href="https://github.com/{{ project.repo }}" target="_blank" class="btn btn-sm btn-outline-dark">
                <i class="fab fa-github"></i> Repository
              </a>
              {% if project.homepage %}
              <a href="{{ project.homepage }}" class="btn btn-sm btn-primary">
                Learn More <i class="fas fa-arrow-right ms-1"></i>
              </a>
              {% endif %}
            </div>
          </div>
        </div>
      </div>
      {% endfor %}
    </div>
  </div>
</section>

<div class="container my-5">
  <section id="team" class="py-5 bg-light rounded-4 px-4">
    <div class="container">
      <h2 class="section-title">Our Team</h2>
      <div class="row mt-4">
        {% for person in site.data.people %}
        <div class="col-md-4 mb-4">
          <div class="d-flex align-items-start">
            <div class="profile-img me-3">
              {% if person.photo %}
              <img src="{{ person.photo | relative_url }}" alt="{{ person.name }}">
              {% else %}
              <i class="fas fa-user-circle"></i>
              {% endif %}
            </div>
            <div>
              <h5 class="mb-0">{{ person.name }}</h5>
              <p class="text-primary small mb-1">{{ person.role }}</p>
              {% if person.github %}
              <a href="https://github.com/{{ person.github }}" target="_blank" class="text-muted small me-2">
                <i class="fab fa-github"></i> @{{ person.github }}
              </a>
              {% endif %}
              {% if person.homepage %}
              <a href="{{ person.homepage }}" target="_blank" class="text-muted small">
                <i class="fas fa-globe"></i> Website
              </a>
              {% endif %}
            </div>
          </div>
        </div>
        {% endfor %}
      </div>
    </div>
  </section>
</div>

<section id="publications" class="py-5">
  <div class="container">
    <h2 class="section-title">Selected Publications</h2>
    <div class="list-group mt-4">
      {% for pub in site.data.publications %}
      <div class="list-group-item list-group-item-action border-0 px-0 mb-3">
        <div class="d-flex w-100 justify-content-between">
          <h5 class="mb-1 text-primary">{{ pub.title }}</h5>
        </div>
        <p class="mb-1">{{ pub.authors }}</p>
        <small class="text-muted">{{ pub.venue }}</small>
        {% if pub.link %}
        <a href="{{ pub.link }}" target="_blank" class="ms-3 small text-primary"><i class="fas fa-external-link-alt"></i> Paper</a>
        {% endif %}
      </div>
      {% endfor %}
    </div>
  </div>
</section>

<section id="contact" class="py-5">
  <div class="container">
    <h2 class="section-title">Contact & Location</h2>
    <div class="row align-items-center">
      <div class="col-md-6">
        <p>
          We are part of <strong>INESC-ID</strong> and the <strong>Instituto Superior Técnico (IST)</strong> at the University of Lisbon.
        </p>
        <address>
          <strong>INESC-ID Lisboa</strong><br>
          Rua Alves Redol 9<br>
          1000-029 Lisboa, Portugal
        </address>
        <p>
          <i class="fas fa-envelope me-2 text-primary"></i> <a href="mailto:formalsec@example.com">formalsec@example.com</a>
        </p>
      </div>
      <div class="col-md-6 text-center">
         <div class="p-4 bg-white shadow-sm border rounded-4">
            <i class="fas fa-map-marker-alt fa-3x text-primary mb-3"></i>
            <h5>Find us in Lisbon</h5>
            <p class="small text-muted">Our research takes place in the heart of Portugal's capital.</p>
            <a href="https://www.google.com/maps/search/INESC-ID+Lisboa" target="_blank" class="btn btn-sm btn-outline-primary">View on Maps</a>
         </div>
      </div>
    </div>
  </div>
</section>