Skip to content
@jku-lit-scsl

LIT Secure and Correct Systems Lab

The LIT Secure and Correct Systems Lab is a cross-institute, interdisciplinary research platform at the Johannes Kepler University Linz (JKU), Austria.
README.md

Welcome to the LIT Secure and Correct Systems Lab!

The LIT Secure and Correct Systems Lab is a cross-institute, interdisciplinary research platform, founded in 2019 by several JKU institutes and with support from the state of Upper Austria. In 2021, the new Secure Systems Group, chaired by Stefan Rass became the latest addition.

The focus is research on secure and correct IT systems at the highest international level.

To bundle and expand knowledge and competences as well as promoting young scientists, the LIT Secure and Correct Systems Lab focusses on two main pillars:

  • Graduate School for Secure and Correct Systems. i.e., a JKU PhD program at the Faculty of Engineering and Natural Sciences (TNF) with a special focus on secure and correct systems.
  • Basic and applied research with partners from industry/business and science

Grouppicture

Popular repositories Loading

  1. ComputersAndSecurity_RoboticsCaseStudies_Cut-The-Rope ComputersAndSecurity_RoboticsCaseStudies_Cut-The-Rope Public

    R 2

  2. CypherRewritingCore CypherRewritingCore Public

    Java

  3. .github .github Public

    Meta Repository

  4. mode-mon mode-mon Public

    PoC for the collaborative CPS environment Monitoring with Modes

    Python

  5. SECRYPT23-XACML-Extension-for-Graphs SECRYPT23-XACML-Extension-for-Graphs Public

    The XACML extension for graphs (XACML4G) is based on the extensible access control markup language (XACML) to deal with the specific characteristics of graph-structured data.

  6. CypherRewriterFrontend CypherRewriterFrontend Public

Repositories

Showing 8 of 8 repositories
  • ecs-demo Public
    jku-lit-scsl/ecs-demo’s past year of commit activity
    Jupyter Notebook 0 MIT 0 0 0 Updated Feb 16, 2024
  • literature-search-tool Public
    jku-lit-scsl/literature-search-tool’s past year of commit activity
    Java 0 1 0 0 Updated Jul 31, 2023
  • SECRYPT23-XACML-Extension-for-Graphs Public

    The XACML extension for graphs (XACML4G) is based on the extensible access control markup language (XACML) to deal with the specific characteristics of graph-structured data.

    jku-lit-scsl/SECRYPT23-XACML-Extension-for-Graphs’s past year of commit activity
    0 0 0 0 Updated Jun 27, 2023
  • ComputersAndSecurity_RoboticsCaseStudies_Cut-The-Rope Public
    jku-lit-scsl/ComputersAndSecurity_RoboticsCaseStudies_Cut-The-Rope’s past year of commit activity
    R 2 GPL-3.0 0 0 0 Updated Jun 13, 2023
  • CypherRewriterFrontend Public
    jku-lit-scsl/CypherRewriterFrontend’s past year of commit activity
    0 GPL-3.0 0 0 0 Updated Jun 5, 2023
  • CypherRewritingCore Public
    jku-lit-scsl/CypherRewritingCore’s past year of commit activity
    Java 0 GPL-3.0 0 0 0 Updated May 31, 2023
  • mode-mon Public

    PoC for the collaborative CPS environment Monitoring with Modes

    jku-lit-scsl/mode-mon’s past year of commit activity
    Python 0 0 0 0 Updated May 10, 2023
  • .github Public

    Meta Repository

    jku-lit-scsl/.github’s past year of commit activity
    0 0 0 0 Updated May 3, 2023

Top languages

Loading…

Most used topics

Loading…