Detecting Encryption Vulnerabilities By Coupling Architectural Analyses and Source Code Analyses (ICSA 2025 - Workshops) - ICSA 2025

Mon 31 March - Fri 4 April 2025 Odense, Denmark

Who

Frederik Reiche, Robert Heinrich

Track

ICSA 2025 Workshops

Time Zone

The program is currently displayed in (GMT+02:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, ParisSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Tue 1 Apr 2025 10:50 - 11:10 at Workshop Room 3 (U74) - MDE4SA Session 2 Chair(s): Francesco Basciani

Frederik Reiche

Karlsruhe Institute of Technology

Robert Heinrich

Karlsruhe Institute of Technology (KIT)

Time Zone

The program is currently displayed in (GMT+02:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, ParisSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Tue 1 Apr
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

	10:30 - 11:30	MDE4SA Session 2Workshops at Workshop Room 3 (U74) Chair(s): Francesco Basciani Gran Sasso Science Institute (GSSI)

	10:30 20m Paper		Reimplementing the Structurizr Software Architecture Modelling Language as a Hybrid DSLMDE4SA 2025 Workshops Ionut Predoaia University of York, Dimitris Kolovos University of York, Antonio Garcia-Dominguez University of York DOI
	10:50 20m Paper		Detecting Encryption Vulnerabilities By Coupling Architectural Analyses and Source Code AnalysesMDE4SA 2025 Workshops Frederik Reiche Karlsruhe Institute of Technology, Robert Heinrich Karlsruhe Institute of Technology (KIT)
	11:10 20m Paper		A Model-Driven Platform for Software Applications on Heterogeneous Computing EnvironmentsMDE4SA 2025 Workshops Simone Bauco University of Rome Tor Vergata, Guglielmo De Angelis CNR-IASI, Romolo Marotta , Alessandro Pellegrini