Skip to content

Commit caa1bb8

Browse files
committedAug 17, 2023
Update projects according to the new structure, upload logos
1 parent 0ca8b18 commit caa1bb8

39 files changed

+236
-220
lines changed
 

‎_data/projects.yml

+186
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,186 @@
1+
- id: AI@TN
2+
title: AI@TN
3+
titleAddon: Intelligenza artificiale a Trento
4+
startDate: "2022-01-01"
5+
endDate: "2023-12-31"
6+
url: https://magazine.fbk.eu/it/news/nasce-il-progetto-ai-tn-intelligenza-artificiale-a-trento/
7+
8+
- id: F&C_authnCIE
9+
title: F&C CIE
10+
titleAddon: Autenticazione con CIE
11+
startDate: "2021-04-01"
12+
endDate: "2022-03-31"
13+
logo: logo_FuturoConoscenza.png
14+
url: /projects/FC_authnCIE
15+
16+
- id: F&C_eID
17+
title: F&C eID
18+
titleAddon: Scenari Innovativi di Identità Digitale
19+
logo: logo_FuturoConoscenza.png
20+
url: /projects/FC_eID
21+
22+
- id: F&C_eVoting
23+
title: F&C eVoting
24+
endDate: "2023-06-30"
25+
logo: logo_FuturoConoscenza.png
26+
url: /projects/FC_evoting
27+
28+
- id: F&C_fisica
29+
title: F&C fisica
30+
titleAddon: Scenari Innovativi di Identità Fisica
31+
logo: logo_FuturoConoscenza.png
32+
url: /projects/FC_fisica
33+
34+
- id: FIDES2015
35+
title: FIDES 2015
36+
titleAddon: Federated Identity Management System
37+
startDate: "2015-01-01"
38+
endDate: "2015-12-31"
39+
logo: logo_FIDES.png
40+
url: /projects/FIDES_2015
41+
42+
- id: FIDES2016
43+
title: FIDES 2016
44+
titleAddon: Federated Identity Management System
45+
startDate: "2016-01-01"
46+
endDate: "2016-12-31"
47+
logo: logo_FIDES.png
48+
url: /projects/FIDES_2016
49+
50+
- id: FINSEC
51+
title: FINSEC
52+
titleAddon: Integrated Framework for Predictive and Collaborative Security of Financial Infrastructures
53+
startDate: "2018-05-01"
54+
endDate: "2021-04-30"
55+
logo: logo_FINSEC.png
56+
url: /projects/FINSEC
57+
58+
- id: IDeARe
59+
title: IDeARe
60+
titleAddon: Identità Digitali ed Azioni Reali
61+
url: /projects/IDeARe
62+
63+
- id: JuLIA
64+
title: JuLIA
65+
titleAddon: Justice, fundamentaL rIghts and Artificial intelligence
66+
logo: logo_JuLIA.svg
67+
url: https://www.julia-project.eu/
68+
# url: /projects/JuLIA
69+
70+
- id: MERIT
71+
title: MERIT
72+
titleAddon: Master of Science in Smart, Secure and Interconnected Systems
73+
startDate: "2022-10-01"
74+
logo: logo_MERIT.png
75+
url: /projects/MERIT
76+
77+
- id: METAfora
78+
title: METAfora
79+
titleAddon: Metodologie e tecnologie di rappresentazione per il metaverso
80+
url: /projects/METAfora
81+
82+
- id: NATO_ABAC
83+
title: NATO High Assurance ABAC Guard
84+
startDate: "2012-08-01"
85+
endDate: "2014-12-31"
86+
url: /projects/NATO_High_Assurance_ABAC_Guard
87+
88+
- id: POTENTIAL
89+
title: POTENTIAL
90+
titleAddon: PilOTs for EuropeaN digiTal Identity wALlet
91+
logo: logo_POTENTIAL.png
92+
url: https://www.digital-identity-wallet.eu/
93+
# url: /projects/POTENTIAL
94+
95+
- id: PROTECTOR
96+
title: PROTECTOR
97+
titleAddon: PROTECTing places of wORship
98+
startDate: "2021-04-01"
99+
endDate: "2023-03-31"
100+
logo: logo_PROTECTOR.png
101+
url: /projects/PROTECTOR
102+
103+
- id: SecAC
104+
title: SecAC
105+
titleAddon: Security Analysis of Complex Access Control Policies
106+
startDate: "2012-10-01"
107+
endDate: "2014-09-30"
108+
url: /projects/SecAC
109+
110+
- id: SeCco
111+
title: SeCco
112+
titleAddon: Securing Containers
113+
logo: logo_SERICS.png
114+
url: /projects/SeCco
115+
116+
- id: SECENTIS
117+
title: SECENTIS
118+
startDate: "2013-04-01"
119+
endDate: "2017-03-31"
120+
logo: logo_SECENTIS.png
121+
url: /projects/SECENTIS
122+
123+
- id: SecSES
124+
title: SecSES
125+
titleAddon: Secure Energy Systems
126+
startDate: "2013-01-01"
127+
endDate: "2013-12-31"
128+
logo: logo_EIT_Labs.jpeg
129+
url: /projects/SecSES
130+
131+
- id: SESSec-EU
132+
title: SESSec-EU
133+
startDate: "2012-01-01"
134+
endDate: "2012-12-31"
135+
logo: logo_EIT_Labs.jpeg
136+
url: /projects/SESSec-EU
137+
138+
- id: SIAM
139+
title: SIAM
140+
titleAddon: Automated Security Analysis of Identity and Access Management Systems
141+
startDate: "2010-04-01"
142+
endDate: "2013-08-01"
143+
url: /projects/SIAM
144+
145+
- id: SPARTA
146+
title: SPARTA
147+
titleAddon: Re-imagining the way cybersecurity research, innovation, and training are performed in Europe
148+
startDate: # "2020-05-01" #date to be checked
149+
endDate: "2022-12-30" #date to be checked
150+
logo: logo_SPARTA.png
151+
url: /projects/SPARTA
152+
153+
- id: STAnD
154+
title: STAnD
155+
titleAddon: Security Tools for App Development
156+
startDate: "2018-01-01"
157+
endDate: "2018-12-31"
158+
logo: logo_STAnD.png
159+
url: /projects/STAnD
160+
161+
- id: StealthGoCloud
162+
title: Stealth Go! Cloud
163+
startDate: "2021-11-01"
164+
endDate: "2023-04-30"
165+
url: /projects/StealthGoCloud
166+
167+
- id: STIATE
168+
title: STIATE
169+
titleAddon: Security Threat Identification and Testing
170+
startDate: "2014-01-01"
171+
endDate: "2014-12-31"
172+
logo: logo_EIT_Labs.jpeg
173+
url: /projects/STIATE
174+
175+
- id: STRIDE
176+
title: STRIDE
177+
titleAddon: Secure and TRaceable Identities in Distributed Environments
178+
logo: logo_SERICS.png
179+
url: /projects/STRIDE
180+
181+
- id: TreC
182+
title: TreC
183+
startDate: "2010-11-01"
184+
endDate: "2011-11-30"
185+
logo: logo_TreC.jpg
186+
url: /projects/TreC

‎_projects/AI@TN.md

+2-6
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,7 @@
11
---
2-
id: AI_TN
3-
title: AI@TN
4-
titleAddon:
5-
6-
startDate: #"2020-05-01"
7-
2+
project: AI@TN
83

4+
funding: "Provincia Autonoma di Trento"
95

106
---
117
Under construction

‎_projects/FC_authnCIE.md

+1-9
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,5 @@
11
---
2-
id: FC_authnCIE
3-
title: F&C CIE
4-
customURL: FC_authnCIE
5-
titleAddon: Autenticazione con CIE
6-
7-
startDate: "2021-04-01"
8-
endDate: "2022-03-31"
9-
10-
2+
project: F&C_authnCIE
113

124
---
135
Under construction

‎_projects/FC_eID.md

+1-9
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,5 @@
11
---
2-
id: FC_eID
3-
title: F&C eID
4-
customURL: FC_eID
5-
titleAddon: Scenari Innovativi di Identità Digitale
6-
7-
startDate: #"2021-04-01"
8-
9-
10-
2+
project: F&C_eID
113

124
---
135
Under construction

‎_projects/FC_eVoting.md

+1-8
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,5 @@
11
---
2-
id: FC_evoting
3-
title: F&C eVoting
4-
customURL: FC_evoting
5-
titleAddon:
6-
7-
startDate: #"2020-05-01"
8-
endDate: "2023-06-30"
9-
2+
project: F&C_eVoting
103

114
---
125
Under construction

‎_projects/FC_fisica.md

+1-8
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,5 @@
11
---
2-
id: FC_fisica
3-
title: F&C fisica
4-
customURL: FC_fisica
5-
titleAddon: Scenari Innovativi di Identità Fisica
6-
7-
startDate: #"2020-05-01"
8-
9-
2+
project: F&C_fisica
103

114
---
125
Under construction

‎_projects/FIDES_2015.md

+2-10
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,9 @@
11
---
2-
id: FIDES2015
3-
title: FIDES 2015
4-
titleAddon: Federated Identity Management System
5-
tagline: "an activity in the context of the EIT ICT Labs activities 2015 (Innovation Area: Privacy, Security and Trust)."
2+
project: FIDES2015
63
leader: Rocco Mammoliti (Poste Italiane)
74
goals: >
85
Deploy a working pilot of an open, federated, identity infrastructure service provider, deliver the implementation guidelines and define the relevant business model.
96
10-
logo: logo_FIDES.png
11-
startDate: "2015-01-01"
12-
endDate: "2015-12-31"
137
funding: ICT EIT Labs
148

159
partners:
@@ -38,15 +32,13 @@ partners:
3832
- name: Eurodocs
3933
link: http://www.eurodocs.net/
4034

41-
4235
people:
4336
- FedericoSinigaglia
4437
- GiadaSciarretta
4538
- RobertoCarbone
4639
- AlessioColetta
4740
- AlessandroArmando
48-
49-
peopleOrder: surname
41+
5042
---
5143

5244
FIDES is an activity in the context of the EIT ICT Labs activities 2015 (Innovation Area: Privacy, Security and Trust).

‎_projects/FIDES_2016.md

+2-8
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,9 @@
11
---
2-
title: FIDES 2016
3-
titleAddon: Federated Identity Management System
4-
tagline: "an activity in the context of the EIT ICT Labs activities 2016 (Innovation Area: Privacy, Security and Trust) built on results achieved in 2015."
2+
project: FIDES2016
53
leader: Rocco Mammoliti (Poste Italiane)
64
goals: >
75
FBK is responsible for the definition of business models relevant to the pilots and the foreground, on the basis of the market analysis accomplished in 2015 and the identified market segments. Additionally, FBK will provide innovative identity management solutions for mobile and it will contribute to the deployment and extension of the Italian pilot (with the involvement of the e-Health Unit of FBK).
86
9-
logo: logo_FIDES.png
10-
startDate: "2016-01-01"
11-
endDate: "2016-12-31"
127
funding: ICT EIT Labs
138

149
partners:
@@ -31,8 +26,7 @@ people:
3126
- SilvioRanise
3227
- AlessioColetta
3328
- AlessandroArmando
34-
35-
peopleOrder: surname
29+
3630
---
3731

3832
FIDES is an activity in the context of the EIT ICT Labs activities 2016 (Innovation Area: Privacy, Security and Trust) built on results achieved in 2015.

‎_projects/FINSEC.md

+1-10
Original file line numberDiff line numberDiff line change
@@ -1,17 +1,8 @@
11
---
2-
id: FINSEC
3-
title: FINSEC
4-
titleAddon: Integrated Framework for Predictive and Collaborative Security of Financial Infrastructures
2+
project: FINSEC
53

6-
startDate: "2018-05-01"
7-
endDate: "2021-04-30" #date to be checked
8-
9-
leader: # Activity leader (optional)
10-
referenceFBK: # Name of the reference in FBK (optional)
11-
duration: # Duration of the project (optional)
124
funding: European Union's Horizon 2020 research and innovation programme (grant agreement No 786727)
135
website: https://www.finsec-project.eu/
146
cordisNo: 786727
15-
logo: logo_FINSEC.png
167

178
---

‎_projects/IDeARe.md

+1-7
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,5 @@
11
---
2-
id: IDeARe
3-
title: IDeARe
4-
titleAddon: Identità Digitali ed Azioni Reali
5-
6-
startDate: #"2022-10-01"
7-
8-
2+
project: IDeARe
93

104
---
115
Under construction

‎_projects/JuLIA.md

+1-7
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,5 @@
11
---
2-
id: JuLIA
3-
title: JuLIA
4-
titleAddon: Justice, fundamentaL rIghts and Artificial intelligence
5-
6-
startDate: #"2022-10-01"
7-
8-
2+
project: JuLIA
93

104
---
115
Under construction

‎_projects/MERIT.md

+3-7
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,7 @@
11
---
2-
id: MERIT
3-
title: MERIT
4-
titleAddon: Master of Science in Smart, Secure and Interconnected Systems
5-
6-
startDate: "2022-10-01"
7-
8-
2+
project: MERIT
3+
funding: Horizon Europe, as part of the Digital Europe Program (2021-2027)
4+
website: http://digitalmerit.eu/
95

106
---
117
The project *Master of Science in Smart, Secure and Interconnected Systems (MERIT)* is a European Union co-funded project under the Digital Europe Programme, with participating universities from four countries, industrial partners, excellence and research centres, national technology transfer organisations and Digital Innovation Hubs.

‎_projects/METAfora.md

+1-7
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,5 @@
11
---
2-
id: METAfora
3-
title: METAfora
4-
titleAddon: Metodologie e tecnologie di rappresentazione per il metaverso
5-
6-
startDate: #"2022-10-01"
7-
8-
2+
project: METAfora
93

104
---
115
Under construction

‎_projects/NATO_High_Assurance_ABAC_Guard.md

+2-7
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,10 @@
11
---
2-
title: NATO High Assurance ABAC Guard
3-
tagline: "aimed to develop the Content-based Protection and Release (CPR) access control model for the HAAG by defining a declarative specification language for CPR based on the first-order logical framework underlying a class of efficient theorem-proving tools, called Satisfiability Modulo Theories (SMT) solvers, and showing how they can support answering authorization queries together with policy analysis to help policy designers and administrators."
4-
5-
startDate: "2012-08-01"
6-
endDate: "2014-12-31"
2+
project: NATO_ABAC
73

84
people:
95
- SilvioRanise
106
- AlessandroArmando
11-
12-
peopleOrder: surname
7+
138
---
149

1510
The successful operation of NATO missions requires the effective and secure sharing of information among coalition partners and external organizations, while avoiding the disclosure of sensitive information to unauthorized users. To resolve the conflict between confidentiality and availability in a dynamic coalition and network environment while being able to dynamically respond to changes in protection requirements and release conditions, NATO is developing a new information sharing infrastructure called the NATO High Assurance ABAC Guard (HAAG for short).

‎_projects/PNRR_STRIDE.md

-11
This file was deleted.

‎_projects/PNRR_SeCco.md

-11
This file was deleted.

‎_projects/POTENTIAL.md

+1-7
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,5 @@
11
---
2-
id: POTENTIAL
3-
title: POTENTIAL
4-
titleAddon: PilOTs for EuropeaN digiTal Identity wALlet
5-
6-
startDate: #"2022-10-01"
7-
8-
2+
project: POTENTIAL
93

104
---
115
Under construction

‎_projects/PROTECTOR.md

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
project: PROTECTOR
3+
4+
---
5+
Under construction

‎_projects/Protector.md

-11
This file was deleted.

‎_projects/SECENTIS.md

+1-6
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,12 @@
11
---
2-
title: SECENTIS
3-
tagline: an Initial Training Network (ITN) / European Industrial Doctorate (EID) project established in collaboration with Sap France. The aim is to give 5 scientists (Early Stage Researcher) an optimal training and technical assistance to carry out their doctoral research on Security and Trust of Next Generation Enterprise Information Systems.
2+
project: SECENTIS
43
goals: >
54
The SECENTIS Project will provide an innovative training program at the Doctoral level to educate a new generation of security experts capable to tackle the scientific and technical challenges raised by the combination of new technologies (e.g., cloud computing, mobile applications, and the Software-as-a-Service paradigm) and to manage the impact of these changes in industry.
65
76
funding: Initial Training Networks (ITN) - Marie Curie Actions
87
duration: 4 years
98
role: Coordinator
109
website: http://www.secentis.eu/
11-
startDate: "2013-04-01"
12-
endDate: "2017-03-31"
13-
logo: logo_SECENTIS.png
1410

1511
partners:
1612
- name: SAP Next Business and Technology (Security & Trust applied research department in Sophia-Antipolis)
@@ -33,7 +29,6 @@ people:
3329
- AvinashSudhodanan
3430
- NadiaMetoui
3531

36-
peopleOrder: surname
3732
---
3833

3934
SECENTIS is an Initial Training Network (ITN) / European Industrial Doctorate (EID) project established in collaboration with Sap France.

‎_projects/SESSec-EU.md

+1-8
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,6 @@
11
---
2-
title: SESSec-EU
3-
titleAddon: Networked Smart Energy Systems Security in Europe
4-
tagline: # Tagline, describes the project in projects' list
5-
6-
startDate: "2012-01-01"
7-
endDate: "2012-12-31"
8-
2+
project: SESSec-EU
93
funding: EIT ICT Labs
10-
logo: logo_EIT_Labs.jpeg
114

125
goals: >
136
In the first step, EU-wide development of technological and standardisation background will be exploited and results will be made available in reports. Also, data and infrastructure security threats will be identified. The results of step one will serve as an input for the configuration, and adaption of testbeds, simulations and software platforms of partners, participating in the SESec-EU network.

‎_projects/SIAM.md

+1-8
Original file line numberDiff line numberDiff line change
@@ -1,19 +1,12 @@
11
---
2-
title: SIAM
3-
titleAddon: Automated Security Analysis of Identity and Access Management Systems
4-
5-
startDate: "2010-04-01"
6-
endDate: "2013-08-01"
7-
2+
project: SIAM
83
funding: Provincia Autonoma di Trento
94

105
people:
116
- RobertoCarbone
127
- SilvioRanise
138
- AlessandroArmando
149

15-
peopleOrder: surname
16-
1710
---
1811

1912
SIAM (Automated Security Analysis of Identity and Access Management Systems) is funded by Provincia Autonoma di Trento in the context of the "team 2009 - Incoming" COFUND action of the European Commission (FP7).

‎_projects/SPARTA.md

+1-8
Original file line numberDiff line numberDiff line change
@@ -1,18 +1,11 @@
11
---
2-
id: SPARTA
3-
title: SPARTA
4-
titleAddon: Re-imagining the way cybersecurity research, innovation, and training are performed in Europe
5-
6-
startDate: # "2020-05-01" #date to be checked
7-
endDate: "2022-12-30" #date to be checked
8-
2+
project: SPARTA
93
leader: # Activity leader (optional)
104
referenceFBK: # Name of the reference in FBK (optional)
115
duration: # Duration of the project (optional)
126
funding: This project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No 830892
137
website: https://www.sparta.eu/
148
cordisNo: # 786727
15-
logo: logo_SPARTA.png
169

1710
---
1811
Re-imagining the way cybersecurity research, innovation, and training are performed in Europe across domains and expertise, from foundations to applications, in academia and industry.

‎_projects/STAnD.md

+1-7
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,10 @@
11
---
2-
title: STAnD
3-
titleAddon: Security Tools for App Development
4-
tagline: the outcome of EIT Digital's API Assistant Innovation Activity 2018.
2+
project: STAnD
53
leader: Silvio Ranise (FBK)
64
goals: >
75
The outcome of EIT Digital's API Assistant Innovation Activity is STAnD. The Security Tools for App Development - STAnD - is a new plug-in that helps application programming interface (API) developers make their APIs secure. It does this by providing a managed security service capable of identifying potential vulnerabilities, together with a catalogue of code hardening techniques that help reduce their exploitation. While tools already exist to secure APIs, none has so far been available for ensuring their secure usage in application creation.
86
97
funding: EIT Digital innovation and entrepreneurial education organisation under Internal Agreement Grant 2018 (ID project 18163)
10-
startDate: "2018-01-01"
11-
endDate: "2018-12-31"
12-
logo: logo_STAnD.png
138

149
partners:
1510
- name: Fondazione Bruno Kessler (FBK)
@@ -34,7 +29,6 @@ people:
3429
- RobertoTiella
3530
- SilvioRanise
3631

37-
peopleOrder: surname
3832
---
3933

4034
STAnD (Security Tools for App Development) is the outcome of EIT Digital's [API Assistant Innovation Activity 2018](https://www.eitdigital.eu/innovation-entrepreneurship/digital-infrastructure/).

‎_projects/STIATE.md

+1-7
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,11 @@
11
---
2-
title: STIATE
3-
titleAddon: Security Threat Identification and Testing
4-
tagline: "an activity in the context of the EIT ICT Labs activities 2014 (Innovation Area: Privacy, Security and Trust)."
2+
project: STIATE
53
leader: Alessandro Armando (FBK)
64
goals: >
75
Today there is little availability of methods and tools for designing and assessing interaction patterns for high security and critical systems. Any large enterprise with strong security need or services to provide to a vast number of people will be keen to utilize STIATE toolkit and methodology as the risk mitigation effects will largely outweigh the cost of the solution. The go to market strategy relies on the presence in the consortium of a system integrator and consultancy with presence across Europe. The solution will be delivered within Reply as part of the consultancy commercial offering, with a dedicated team that will initially deliver across EU. This approach leverages a consolidated practice and will allow exploitation of target markets. The outputs of the activity will strengthen the ICT security industry in Europe - by automating threat analysis and security testing - and will significantly add to the competitive advantage of the products and services of the industrial partners (SAP and Reply). The activity will also allow the involved research institutions (FBK and DFKI) to identify new scientific challenges and opportunities and will thus ultimately strengthen their knowledge and technical skills in this key area.
86
97
website: http://www.eitictlabs.eu/innovation-entrepreneurship/privacy-security-trust/security-threat-identification-and-testing-stiate/
108

11-
startDate: "2014-01-01"
12-
endDate: "2014-12-31"
13-
logo: logo_EIT_Labs.jpeg
149
funding: EIT ICT Labs
1510

1611
partners:
@@ -32,7 +27,6 @@ images:
3227
- title: Partners structure
3328
source: /projects/assets/STIATE_partners.jpg
3429

35-
peopleOrder: surname
3630
---
3731

3832
STIATE is an activity in the context of the EIT ICT Labs activities 2014 (Innovation Area: [Privacy, Security and Trust](http://www.eitictlabs.eu/innovation-areas/privacy-security-trust-in-information-society/)).

‎_projects/STRIDE.md

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
project: STRIDE
3+
4+
---
5+
Under construction

‎_projects/SeCco.md

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
project: SeCco
3+
4+
---
5+
Under construction

‎_projects/SecAC.md

+1-7
Original file line numberDiff line numberDiff line change
@@ -1,21 +1,15 @@
11
---
2-
title: SecAC
3-
titleAddon: Security Analysis of Complex Access Control Policies
4-
tagline: "aimed to tackle security verification and enforcement in distributed multi-components systems. We want to formally specify such systems by means of a high-level symbolic language that will allow for the (automated) analysis and enforcement of interesting security properties."
2+
project: SecAC
53
goals: >
64
The goal of the project is to provide a uniform declarative framework to define, compose and verify, at design-time as well as at run-time, multi-policy distributed environments. We aim at developing a declarative rule-based specification language with clean and unambiguous semantics, and offering the possibility to perform automatic analysis of access control policies. Design-time analysis will be based on symbolic analysis techniques where violation of authorisation constraints are reduced to symbolic model-checking problems. Run-time verification techniques will be based on aspect-oriented programming for integrating our high-level policy specifications into target programs and ensure safe execution monitoring. This approach guarantees modularity, since security policies are specified and checked independently, and can later be weaved into different applications.
75
86
duration: 24 months
9-
funding: Marie Curie COFUND
10-
startDate: "2012-10-01"
11-
endDate: "2014-09-30"
127
funding: RESTATE Programme, co-funded by the European Union under the FP7 COFUND Marie-Curie Action
138

149
people:
1510
- SilvioRanise
1611
- ClaraBertolissi
1712

18-
peopleOrder: surname
1913
---
2014

2115
SecAC (Security Analysis of Complex Access Control Policies) is supported by the [RESTATE](http://cofund.fbk.eu/) Programme, co-funded by the European Union under the FP7 COFUND Marie-Curie Action.

‎_projects/SecSES.md

+1-9
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,7 @@
11
---
2-
title: SecSES
3-
titleAddon: Secure Energy Systems
4-
tagline: # Tagline, describes the project in projects' list
5-
6-
startDate: "2013-01-01"
7-
endDate: "2013-12-31"
2+
project: SecSES
83
funding: EIT ICT Labs
94

10-
logo: logo_EIT_Labs.jpeg
115
role: >
126
Our contribution is the formal modeling and the mechanical analysis of security protocols and policies used in the complex scenario of the Secure Smart Home Energy Gateway for Smart Buildings.
137
@@ -21,8 +15,6 @@ people:
2115
- RobertoCarbone
2216
- AlessandroArmando
2317

24-
peopleOrder: surname # How to order the involved people (must be one of the fields belonging to the "people" structure)
25-
2618
publications:
2719
- SmartGridSec14
2820
- SACMAT2014_ABAC

‎_projects/StealthGoCloud.md

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
project: StealthGoCloud
3+
4+
---
5+
Under construction

‎_projects/Stealth_Go!_Cloud.md

-11
This file was deleted.

‎_projects/TreC.md

+1-6
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,8 @@
11
---
2-
title: TreC
3-
tagline: aims at the development of an on-line platform providing citizens with the ability to carry out a number of functionalities related to the personal health records (such as read, update, and delegation). The platform also enables citizens to communicate with medical institutions, their doctors, and other citizens.
2+
project: TreC
43
funding: Provincia Autonoma di Trento
54
role: Our role within the project is to identify a suitable framework for the specification and enforcement of the security policies of TreC.
65
website: https://trec.trentinosalute.net/
7-
logo: logo_TreC.jpg
8-
9-
startDate: "2010-11-01"
10-
endDate: "2011-11-30"
116

127
people:
138
- RobertoCarbone
24.5 KB
Loading

‎assets/areas/projects/logo_JuLIA.svg

+1
Loading

‎assets/areas/projects/logo_MERIT.png

7.26 KB
Loading
16 KB
Loading
4.8 KB
Loading

‎assets/areas/projects/logo_SERICS.png

194 KB
Loading

‎assets/areas/projects/logo_SPARTA.png

-21 KB
Loading

0 commit comments

Comments
 (0)
Please sign in to comment.