Go to JKU Homepage
LIT Secure and Correct Systems Lab
What's that?

Institutes, schools, other departments, and programs create their own web content and menus.

To help you better navigate the site, see here where you are at the moment.

Our Publications
 

Wordcloud LIT SCSL

Rota M., Krieger T., Buchinger Q., Beccaceci M., Neuwirth J., Huet H., Horová N., Lovicu G., Ronco G., Covre Da Silva S., Pettinari G., Moczala-Dusanowska M., Kohlberger C., Manna S., Stroj S., Freund J., Yuan X., Schneider C., Jezek M., Höfling S., Basso Basset F., Huber-Loyola T., Rastelli A., Trotta R.: A source of entangled photons based on a cavity-enhanced and strain-tuned GaAs quantum dot, in eLight, Vol. 4, Nr. 13, Springer Open, Seite(n) 1-13, 2024

Millington-Hotze P., Dyte H., Manna S., Covre da Silva S., Rastelli A., Chekhovich E.: Approaching a fully-polarized state of nuclear spins in a solid, in Nature Communications, Vol. 15, 2024

Karli Y., Vajner D., Kappe F., Hagen P., Hansen L., Schwarz R., Bracht T., Schimpf C., Covre da Silva S., Walther P., Rastelli A., Axt V., Loredo J., Remesh V., Heindel T., Reiter D., Weihs G.: Controlling the photon number coherence of solid-state quantum light sources for quantum cryptography, in npj Quantum Information, Vol. 10, Nr. 17, 2024

Konrad A., Scholl C., Mahzoon A., Große D., Drechsler R.: Divider verification using symbolic computer algebra and delayed don't care optimization: theory and practical implementation,, in Formal Methods in System Design: An International Journal, 2024

Kaltenbrunner M., Hailegnaw B., Demchyshyn S., Putz C., Lehner L., Mayr F., Schiller D., Pruckner R., Cobet M., Ziss D., Krieger T., Rastelli A., Sariciftci S., Scharber M.: Flexible quasi-2D perovskite solar cells with high specific power and improved stability for energy-autonomous drones, in Nature Energy, Vol. 9, Nature Publishing Group UK, Seite(n) 677-690, 2024

Hornung F., pfister U., Bauer S., Cyrlyson`s D., Wang D., Vijayan P., José Garcia Junior A., Covre da Silva S., Jetter M., Portalupi S., Rastelli A., Michler P.: Highly Indistinguishable Single Photons from Droplet-Etched GaAs Quantum Dots Integrated in Single-Mode Waveguides and Beamsplitters, in Nano Letters, Vol. 24, Seite(n) 1184-1190, 2024

Machetanz K., Lins M., Roder C., Naros G., Tatagiba M., Hurth H.: Innovative mobile app solution for facial nerve rehabilitation: a usability analysis, in Frontiers, in Frontiers in Digital Health, Vol. 6, 2024

Gyger S., Tao M., Colangelo M., Christen I., Larocque H., Zichi J., Schweickert L., Elshaari A., Steinhauer S., Covre Da Silva S., Rastelli A., Sattari H., Chong G., Petremand Y., Prieto I., Yu Y., Ghadimi A., Englund D., Jöns K., Zwiller V., Errando-Herranz C.: Integrating superconducting single-photon detectors into active photonic circuits, in Philip R. Hemmer and Alan L. Migdall, in Proc. SPIE 12911, Quantum Computing, Communication, and Simulation, Vol. IV, SPIE, Seite(n) 1291102, 2024

Dyte H., Gillard G., Manna S., Covre da Silva S., Rastelli A., Chekhovich E.: Is Wave Function Collapse Necessary? Explaining Quantum Nondemolition Measurement of a Spin Qubit within Linear Evolution, in Physical Review Letters, Vol. 132, Seite(n) 160804, 2024

Peniakov G., Buchinger Q., Helal M., Betzold S., Reum Y., Rota M., Ronco G., Beccaceci M., Krieger T., Covre da Silva S., Rastelli A., Trotta R., Pfenning A., Höfling S., Huber-Loyola T.: Polarized and Unpolarized Emission from a Single Emitterin a Bullseye Resonator, in Laser Photonics Reviews, Vol. 18, Nr. 4, Seite(n) 2300835, 2024

Krieger T., Weidinger C., Oberleitner T., Undeutsch G., Rota M., Tajik N., Aigner M., Buchinger Q., Schimpf C., José Garcia Junior A., Covre da Silva S., Höfling S., Huber-Loyola T., Trotta R., Rastelli A.: Post-fabrication tuning of circular Bragg resonators for enhanced emitter-cavity coupling, in ACS Photonics, Vol. 11, Nr. 2, Seite(n) 596-603, 2024

Karli Y., Schwarz R., Kappe F., Vajner D., Krämer R., Bracht T., Covre Da Silva S., Richter D., Nolte S., Rastelli A., Reiter D., Weihs G., Heindel T., Remesh V.: Robust Single-Photon Generation for Quantum Information Enabled by Stimulated Adiabatic Rapid Passage, in Appl. Phys. Lett., Vol. 125, Seite(n) 254002, 2024

Heindel T., Kim J., Gregersen N., Rastelli A., Reitzenstein S.: Quantum dots for photonic quantum information technology, in Advances in Optics and Photonics, Vol. 15, Seite(n) 613-738, 2024

Rass S.: Tell me who you are friends with and I will tell you who you are: Unique Neighborhoods in Random Graphs, in Theoretical Computer Science, Elsevier, 2024

Mir O., Slamanig D., Mayrhofer R.: Threshold Delegatable Anonymous Credentials with Controlled and Fine-Grained Delegation, in IEEE Transactions on Dependable and Secure Computing, Vol. 21, Nr. 4, 2024

Peterseil P., Etzlinger B., Horacek J., Khanzadeh R., Springer A.:
Trustworthiness for an Ultra-Wideband Localization Service, in Sensors, 2024

Klemmer L., Große D.:
WAVING Goodbye to Manual Waveform Analysis in HDL Design with WAL, in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2024

 

 

 

Shafiq S., Mayr-Dorn C., Mashkoor A., Egyed A.:
Balanced knowledge distribution among software development teams - Observations from open- and closed-source software development, in Journal of Software: Evolution and Process, 2024

Azeem M., Mashkoor A., Egyed A.:
Code smells in pull requests: An exploratory study, in Softw. Pract. Exp., Vol. 54, Nr. 3, Seite(n) 419-436, 2024

Herac E., Marchezan de Paula L., Guez Assuncao W., Egyed A.:
Conflict-based Change Awareness for Collaborative Model-driven Software Engineering, in The 20th European Conference on Modelling Foundations and Applications (ECMFA 2024), Niederlande, in Journal of Object Technology, Vol. 23, Nr. 3, Seite(n) 1-14, 2024

Stock S., Mashkoor A., Leuschel M., Egyed A.:
Trace preservation in B and Event-B refinements, in Journal of Logical and Algebraic Methods in Programming, Vol. 137, Nr. 100943, 2024

Goman M.:
Project Security Using Analytical Time Evaluation Techniques, in DSD/SEAA 2024 Works in Progress Proceedings – Journal Edition, Paris, 28.08.2024, Vol. 10, Nr. 2, WiPiEC Journal - Works in Progress in Embedded Computing Journal, 2024

 

 

Schlägl M., Stockinger M., Große D.:
A RISC-V "V" VP: Unlocking Vector Processing for Evaluation at the System Level: Design, Automation and Test in Europe Conference (DATE) 2024, 2024

Marchezan de Paula L., Homolka M., Blokhin A., Guez Assuncao W., Herac E., Egyed A.:
A Tool for Collaborative Consistency Checking During Modeling: MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Austria, 2024

Höller T., Mayrhofer R.:
A case study on DDoS attacks against Tor relays: PETS 2025 - The 25th Privacy Enhancing Technologies Symposium, Washington, DC and Online, 2024

Stadler M., Riegler M., Sametinger J.:
Cyber-Resilient Edge Computing: A Holistic Approach with Multi-Level MAPE-K Loops: IEEE 21st International Conference on Software Architecture Companion, June 4-8, 2024 (ICSA-C), Hyderabad, Indien, pp. 79-83, 2024

Mohamed A., Auer D., Hofer D., Küng J.:
Comparison of Access Control Approaches for Graph-Structured Data, in Sabrina De Capitani di Vimercati and Pierangela Samarati: Proceedings of the 21st International Conference on Security and Cryptography SECRYPT - Volume 1, vol. 1, Science and Technology Publications (SciTePress), Portugal, pp. 576-583, 2024

Schlägl M., Große D.:
Bounded Load/Stores in Grammar-based Code Generation for Testing the RISC-V Vector Extension: RISC-V Summit Europe 2024, 2024

Hazott C., Stögmüller F., Große D.:
Leveraging Virtual Prototypes and Metamorphic Testing for Verification of Embedded Graphics Libraries: ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2024, 2024

Schlägl M., Hazott C., Große D.:
RISC-V VP++: Next Generation Open-Source Virtual Prototype: Workshop on Open-Source Design Automation (OSDA) 2024 hosted at DATE, 2024

Klemmer L., Große D.:
An Extensible and Flexible Methodology for Analyzing the Cache Performance of Hardware Designs: Forum on Specification and Design Languages (FDL) 2024, 2024

Hazott C., Große D.:
Relation Coverage: A New Paradigm for Hardware/Software Testing: 29th IEEE European Test Symposium (ETS) 2024, 2024

Klemmer L., Skarman F., Gustafsson O., Große D.:
Surfer: A Waveform Viewer as Dynamic as RISC-V: RISC-V Summit Europe 2024, 2024

Klemmer L., Große D.:
Towards a Highly Interactive Design-Debug-Verification Cycle: 29th Asia and South Pacific Design Automation Conference (ASP-DAC), 2024

 Marchezan de Paula L., Guez Assuncao W., Herac E., Egyed A.:
Exploring Dependencies Among Inconsistencies to Enhance the Consistency Maintenance of Models: International Conference on Software Analysis, Evolution and Reengineering (SANER), Seite(n) 147-158, 2024

Große D., Klemmer L., Bonora D.:
Using Formal Verification Methods for Optimization of Circuits under External Constraints: Design, Automation and Test in Europe Conference (DATE) 2024, 2024

Schwaighofer M., Roland M., Mayrhofer R.:
Extending Cloud Build Systems to Eliminate Transitive Trust: Proceedings of the 2024 Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses (SCORED '24), ACM, Salt Lake City, UT, USA, 2024

Stadler M., Riegler M., Sametinger J., Schönegger C.:
Improved CPSoS Security: An Enhanced Anomaly-Based Intrusion Detection Architecture: Database and Expert Systems Applications - DEXA 2024 Workshops, Serie Communications in Computer and Information Science, Vol. 2169, Seite(n) 3-13, 2024

Hofer P., Roland M., Mayrhofer R.:
BioDSSL: A Domain Specific Sensor Language for Global, Distributed, Biometric Identification Systems: 2024 IEEE 12th International Conference on Intelligent Systems (IS), IEEE, Varna, Bulgaria, 2024

Hazott C., Stögmüller F., Große D.:
Leveraging Virtual Prototypes and Metamorphic Testing for Verification of Embedded Graphics Libraries: ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2024, 2024

Hazott C., Stögmüller F., Große D.:
Verifying Embedded Graphics Libraries leveraging Virtual Prototypes and Metamorphic Testing: 29th Asia and South Pacific Design Automation Conference (ASP-DAC), 2024, 2024

Schlägl M., Große D.:
Single Instruction Isolation for RISC-V Vector Test Failures: International Conference on Computer-Aided Design (ICCAD) 2024, 2024

Mashkoor A., Guez Assuncao W., Egyed A.:
Teaching Engineering of AI-Intensive Systems.: 36th International Conference on Software Engineering Education and Training (CSEE&T), 2024, Vol. 41, Nr. 2, IEEE Software, Seite(n) 30-35, 2024

Preda A., Mashkoor A., Mayr-Dorn C., Egyed A.:
Supporting High-Level to Low-Level Requirements Coverage Reviewing with Large Language Models: Mining Software Repositories (MSR) conference, Lisbon, Portugal, 2024

Klemmer L., Große D.:
WSVA: A SystemVerilog Assertion to WAL Compiler: Workshop on Open-Source Design Automation (OSDA) 2024 hosted at DATE, 2024

Preda A., Mayr-Dorn C., Mashkoor A., Guez Assuncao W., Egyed A.:
Towards Leveraging Fine-Grained Dependencies to Check Requirements Traceability Correctness: 46th International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2024, Lisbon, Portugal, Seite(n) 292-293, 2024

Mohamed A., Auer D., Hofer D., Küng J.:
Comparison of Access Control Approaches for Graph-Structured Data, series arXiv.org, 2024

Mayrhofer R., Vander Stoep J., Brubaker C., Hackborn D., Bonné B., Tuncay G., Piqueras Jover R., Specter M.:
The Android Platform Security Model (2023), arxiv.org, Cornell University, 2024

Lins M., Mayrhofer R., Roland M., Hofer D., Schwaighofer M.:
On the critical path to implant backdoors and the effectiveness of potential mitigation techniques: Early learnings from XZ

, Serie CoRR - Computing Research Repository, arXiv, arxiv.org, opens an external URL in a new window, 2024

Shafiq S., Mayr-Dorn C., Mashkoor A., Egyed A.:
Balanced knowledge distribution among software development teams - Observations from open- and closed-source software development, in Journal of Software: Evolution and Process, 20244

Azeem M., Mashkoor A., Egyed A.:
Code smells in pull requests: An exploratory study, in Softw. Pract. Exp., Vol. 54, Nr. 3, Seite(n) 419-436, 2024

Herac E., Marchezan de Paula L., Guez Assuncao W., Egyed A.:
Conflict-based Change Awareness for Collaborative Model-driven Software Engineering, in The 20th European Conference on Modelling Foundations and Applications (ECMFA 2024), Niederlande, in Journal of Object Technology, Vol. 23, Nr. 3, Seite(n) 1-14, 20244

Goman M.:
Project Security Using Analytical Time Evaluation Techniques, in DSD/SEAA 2024 Works in Progress Proceedings – Journal Edition, Paris, 28.08.2024, Vol. 10, Nr. 2, WiPiEC Journal - Works in Progress in Embedded Computing Journal, 2024

Stock S., Mashkoor A., Leuschel M., Egyed A.:
Trace preservation in B and Event-B refinements, in Journal of Logical and Algebraic Methods in Programming, Vol. 137, Nr. 100943, 2024