Team.

The LIT Secure and Correct Systems Lab is a cross-institute, interdisciplinary research platform of the following JKU institutes to jointly push the domain of secure and correct systems.

The LIT Secure and Correct Systems Lab Team ©Barbara Lehner

Management

Name	Role	Room	Extension	E-Mail
Daniel Große	Head	S40318	4560	daniel.grosse(at)jku.at
René Mayrhofer	Head	S30230	4121	rene.mayrhofer(at)jku.at
Josef Küng	Head Graduate School	S30344/1	4182	josef.kueng(at)jku.at
Stefan Rass	Head Secure Systems Group	OIC	9545	stefan.rass(at)jku.at

Office

Name	affiliated to	Room	Extension	E-Mail
Katrin Burger	LIT Secure and Correct Systems Lab	OIC, Ground Floor	9530	katrin.burger(at)jku.at
Vivien Knapp	Secure Systems Group	OIC, Ground Floor	9546	vivien.knapp(at)jku.at
Andrei Naddour	IT Support	OIC, Ground Floor	9547	andrei.naddour(at)jku.at

Faculty

Name	affiliated to	Room	Extension	E-Mail
Dagmar Auer	Application-oriented Knowledge Processing	OIC 1. Floor	9536	dagmar.auer(at)jku.at
Alexander Egyed	Software Systems Engineering	SCP3 246/2	4382	alexander.egyed(at)jku.at
Maksim Goman	Secure Systems Group	OIC 1. Floor	9549	maksim.goman(at)jku.at
Atif Mashkoor	Software Systems Engineering	SCP3 240	4391	atif.mashkoor(at)jku.at
Aya Mohamed	Application-oriented Knowledge Processing	OIC, 1. Floor	9538	aya.mohamed(at)jku.at
Armando Rastelli	Semiconductor and Solid State Physics	HP 0020	9601	armando.rastelli(at)jku.at
Johannes Sametinger	Business Informatics - Software Engineering	SCP3 439	4251	johannes.sametinger(at)jku.at
Josef Scharinger	Computational Perception	SCP3 439	4715	josef.scharinger(at)jku.at

PhD students

Name	affiliated to	Room	Extension	E-Mail
Shahzad Ahmad	Secure Systems Group	OIC, Ground Floor	9548	shahzad.ahmad(at)jku.at
Maximilian Aigner	Semiconductor Physics Division	OIC, Ground Floor	9667	maximilian.aigner(at)jku.at
Mohammad Fiuzy	LIT Secure and Correct Systems Lab	OIC, Ground Floor	9540	mohammad.fiuzy(at)jku.at
Edvin Herac	Institute of Software Systems Engineering	SCP3, Room 238	4381	edvin.herac(at)jku.at
Mario Lins	Network and Security (INS)	SCP3, Room 229	4132	mario.lins(at)jku.at
Peter Pfeiffer	Symbolic Artificial Intelligence	SCP4, Room 321	4563	peter.pfeiffer(at)jku.at
Manfred Schlägl	Complex Systems	SCP4, Room 317	4565	manfred.schlägl@jku.at
Philipp Schwarz	Computational Perception	OIC, Ground Floor	9539	philipp.schwarz(at)jku.at
Marco Stadler	Business Informatics - Software Engineering	OIC, Ground Floor	9531	marco.stadler(at)jku.at

Alumni

Armin Biere Lukas Burgholzer

Daniel Hofer Daniel Huber

Jan Horacek Anja Mayr

Christoph Mayr-Dorn Gabriela Michelon

Omid Mir Doris Nikolaus

Sibylle Möhle-Rotondi Hanspeter Mössenböck

Daniel Pekarek Eva Maria Resch

Sarah Schneider Hannes Sochor

Michael Sonntag Sebastian Stock

Michael Vierhauser Robert Wille

Name	Purpose	Lifetime	Provider
CookieConsent	This cookie saves your settings about cookie-handling at this website.	1 year	JKU
se_mode	This cookie is used for settings of the site search.	1 year	JKU

Name	Purpose	Lifetime	Provider
_gcl_au	This cookie is used by Google Analytics to understand user interaction with the website.	3 months	Google
_ga	This cookie is installed by Google Analytics. The cookie is used to calculate visitor, session, campaign data and keep track of site usage for the site's analytics report. The cookies store information anonymously and assign a randomly generated number to identify unique visitors.	2 years	Google
_gid	This cookie is installed by Google Analytics. The cookie is used to store information of how visitors use a website and helps in creating an analytics report of how the website is doing. The data collected including the number visitors, the source where they have come from, and the pages visited in an anonymous form.	1 day	Google
_gat_UA-112203476-1	This is a pattern type cookie set by Google Analytics, where the pattern element on the name contains the unique identity number of the account or website it relates to. It appears to be a variation of the _gat cookie which is used to limit the amount of data recorded by Google on high traffic volume websites.	1 minute	Google
_pk_id	This cookie is used to store a few details about the user such as the unique visitor ID.	13 months	JKU
_pk_ses	This cookie is a short lived cookie used to temporarily store data for the visit.	30 minutes	JKU
_pk_ref	This cookie is used to store the attribution information, the referrer initially used to visit the website.	6 months	JKU

Name	Purpose	Lifetime	Provider
_gcl_au	This cookie is used by Google Analytics to understand user interaction with the website.	3 months	Google
_ga	This cookie is installed by Google Analytics. The cookie is used to calculate visitor, session, campaign data and keep track of site usage for the site's analytics report. The cookies store information anonymously and assign a randomly generated number to identify unique visitors.	2 years	Google
_gid	This cookie is installed by Google Analytics. The cookie is used to store information of how visitors use a website and helps in creating an analytics report of how the website is doing. The data collected including the number visitors, the source where they have come from, and the pages visited in an anonymous form.	1 day	Google
_gac_UA-112203476-1	Contains campaign related information for the user and measures the AdWords campaign success.	90 days	Google
test_cookie	This cookie is set to determine if the website visitor's browser supports cookies. Doesn't contain personal identifier.	15 minutes	Google
IDE	This cookie carries out information about how the end user uses the website and any advertising that the end user may have seen before visiting the said website.	1 year	Google
_gcl_aw	This cookie is set when a user clicks an ad to reach our website. It informs about the success of campaigns and allows to connect ads to conversion targets.	3 months	Google
AMCV_xx	This is a pattern type cookie name associated with Adobe Marketing Cloud. It stores a unique visitor identifier, and uses an organisation identifier to allow a company to track users across their domains and services.	3 years	LinkedIn
bcookie	Contains a browser ID.	2 years	LinkedIn
bscookie	Contains a browser ID for a secure connection.	2 years	LinkedIn
lang	This cookie is used to store the language preference of our visitors	Session	LinkedIn
lidc	This cookie carries out information about how the end user uses the website and any advertising that the end user may have seen before visiting the said website.	1 day	LinkedIn
lissc	This cookie is used to analyze how a visitor interacts with embedded services.	1 year	LinkedIn
UserMatchHistory	This cookie is set when a user clicks an ad to reach our website. It informs about the success of campaigns and allows to connect ads to conversion targets.	30 days	LinkedIn
fr	This cookie is set when a user clicks an ad to reach our website. It informs about the success of campaigns and allows to connect ads to conversion targets.	90 days	Facebook
fbp	This cookie is used to display advertisings, for example third-party real time offers.	90 days	Facebook
sc_at	This cookie is used to identify a visitor across multiple domains.	1 year	Snap
sc-country	This cookie is used to determine a visitor's country.	1 day	Snap
uid	This cookie sets a random User-ID and helps at real time bidding for display advertising to targeted audiences.	60 days	Adform
C	This cookie identifies if user’s browser accepts cookies. 1 – Cookies are allowed, 3 – Opt-out.	30 days	Adform

Team.

Management

Name

Role

Room

Extension

E-Mail

Office

Name

affiliated to

Room

Extension

E-Mail

Faculty

Name

affiliated to

Room

Extension

E-Mail

PhD students

Name

affiliated to

Room

Extension

E-Mail

Alumni