July 2023 - informatik-vortraege - lists.rwth-aachen.de

Einladung: Vortrag von Sascha Fahl zu Human Factors in Cybersecurity
by Vincent Drury 23 Aug '23

23 Aug '23

Sehr geehrte Damen und Herren, hiermit möchte ich Sie herzlich zu folgendem Vortrag von Prof. Sascha Fahl (CISPA, Leibniz Universität Hannover) einladen: Zeit: Freitag, 16. Juni 2023, 12.00 Uhr Ort: UMIC 025 (Mies-van-der-Rohe Str. 15, EG) Thema: A Holistic Approach to Human Factors in Cybersecurity Abstract: The field of information security and privacy has taught us that developing functional and practical security mechanisms requires more than just technological innovation. Human factors play a crucial role in the success or failure of security and privacy systems. The persistent gap between the theoretical security of cryptographic algorithms and real-world vulnerabilities, data breaches, and possible attacks has highlighted the need for a holistic approach to security and privacy research. As a researcher in this field, I have focused on identifying crucial weak points and empowering all actors involved in creating and using security and privacy-preserving technology. This includes end-users, developers, and system operators. My research has involved working with secure messaging, security indicators, and authentication mechanisms to empower end-users, improving APIs, documentation, and developer tools to support developers, and improving configuration languages and tools to benefit system operators. In this talk, I will demonstrate how this holistic approach to human factors in cybersecurity research helps close the gap between theoretical security, privacy, and real-world deployments. I will present my past and current work on supporting expert users and protecting end-users and outlining my goals and strategies for future research. Through a combination of technical innovation and consideration of human factors, I believe we can successfully prevent involuntary loss of control over data and empower users to retain power over their security and privacy. Mit freundlichen Grüßen Vincent Drury

2 4

TODAY UnRAVeL Survey Lecture: "Biggest Milestones"
by Kassing, Jan-Christoph 13 Jul '23

13 Jul '23

Dear all, this is a reminder for Joost-Pieter Katoen's talk with the title "Can we meet the deadline? Most probably: yes!" taking place today at 12:30 in the B-IT room 5053.2. Please find the details below --- Abstract --- Continuous-time Markov chains are used in systems biology, classical performance evaluation, reliability engineering, physics, and so on. We study a the following analysis problem for CMTCs: how to compute the probability to reach a certain target state within a given deadline? Phrased more practically: how likely is it that all substrates have turned into products in a catalytic chemical reaction within a week? We will show that this probability can be characterised as a unique solution of a Volterra integral equation system, whose computation can be reduced to transient analysis of a slightly modified CTMC. We will show why this problem is of practical relevance, that it can be efficiently solved on CTMCs with millions of states, and why its natural generalisation to stochastic scheduling problems is hard. This result was published in 1999, received a test-of-time award in 2022, and forms the ingredient of many state-of-the-art CTMC tools. ---------------- Part of the programme of the research training group UnRAVeL is a series of lectures on the topics of UnRAVeL’s research thrusts algorithms and complexity, verification, logic and languages, and their application scenarios. Each lecture is given by one of the researchers involved in UnRAVeL. This years topic is "Biggest Milestones - Research at Its Peak", UnRAVeL professors will present the most important milestone of their respective research. All interested doctoral researchers and master students are invited to attend the UnRAVeL lecture series 2023 and engage in discussions with researchers and doctoral students. Note that this is the last lecture for this year! We are looking forward to seeing you today. Kind regards, Jan-Christoph for the organisation committee

1 0

AI Colloquium on 18. July: talk by prof. Heike Vallery + poster
by Mann, Julia 12 Jul '23

12 Jul '23

Dear AI community, The next Artificial Intelligence Colloquium<https://www.ai.rwth-aachen.de/cms/KI/Das-KI-Center/Aktuelle-Veranstaltungen…> will be a double event: a talk, and a poster session! On Tuesday, July 18th at 16:00, Prof. Heike Vallery (RWTH Aachen) will give a presentation on “Challenges and opportunities of data-driven learning in physical robots for neurorehabilitation”. After the talk (45 minutes), there will be a Q&A session of 15 minutes. After the talk and the Q&A, the event will continue with a poster session, which will highlight the latest advancements in various fields of AI. You will have the change of discussing hot AI topics with researchers in the discipline! Heike Vallery’s talk will be hybrid, and will take place in the Generali Hall of the Super C as well as on Zoom. A free registration<https://vms.zhv.rwth-aachen.de/prod/veranstaltungen/SingleSignOn/Shibboleth…> is required for both in-person and remote participants (please register on our web page<https://www.ai.rwth-aachen.de/go/id/bckstd>). You will receive the link directly in the confirmation email. The poster session will not be live-streamed. More information on the event series on the website<https://www.ai.rwth-aachen.de/cms/KI/Das-KI-Center/Aktuelle-Veranstaltungen…>. Please feel free to forward this information to your research groups or any other interested parties! The organising team is looking forward to welcoming you on Tuesday next week. Best regards, Julia Mann Dr Julia Mann Managing Director ______________________________________________ Center for Artificial Intelligence RWTH Aachen University Mies-van-der-Rohe-Strasse 15 office: 123 DE-52074 Aachen phone: +49-241-80 20757 Germany http://www.ai.rwth-aachen.de<http://www.ai.rwth-aachen.de/> [cid:image001.png@01D9B4DD.8079AC50]

1 0

Einladung Informatik-Oberseminar Dr. Jakob Bossek
by Andrea Gibbels 03 Jul '23

03 Jul '23

+********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +********************************************************************** Zeit: Dienstag, 4. Juli 2023, 13.00 Uhr Ort: Raum 9222, Gebäude E3, Ahornstr. 55 Referent: Dr. Jakob Bossek Lehrstuhl Informatik 14 Thema: Tailored Evolutionary Operators for the Multi-Objective Spanning Tree Problem Abstract: With this talk I want to introduce myself to the RWTH computer science department. In the first part I will go into detail on paper recently accepted in the evolutionary computation journal (Bossek & Grimme, 2023) entitled “Tailored Evolutionary Operators for the Multi-Objective Spanning Tree Problem”. The second part will give a broader overview of my research foci and projects in the fields of Evolutionary Optimisation and Automated Artificial Intelligence. The Minimum Spanning Tree (MST) problem is the challenge of finding a tree in an edge-weighted graph that maintains connectivity of all nodes and has minimal costs among all such trees. The MST problem is a fundamental combinatorial optimisation problem with countless applications, e.g., in the construction of communication networks, medical imaging, or many other areas that range from logistic via graph drawing to power grid network design. The basic single-objective version of the MST problem can be solved efficiently, i.e., in polynomial time, e.g., by Prim’s algorithm. The multi-objective MST (moMST) version though (i.e., multiple weights per edge) is NP-hard and suffers from intractability. Thus, efficient heuristics are needed to approximate the set of optimal trade-off solutions. Evolutionary Algorithms are randomised search heuristics that are among the most successful when it comes to solving NP-hard multi-objective optimisation problems. I will present recent work on the design of several highly biased sub-graph-based mutation operators for the moMST problem. In a nutshell, these operators replace (un)connected sub-trees of candidate solutions with locally (Pareto-)optimal sub-trees. The latter (biased) step is realised by applying Kruskal’s single-objective MST algorithm to a weighted sum scalarisation of a sub-graph. I will detail some runtime complexity results for the introduced operators and demonstrate results that show that the sub-graph based operators beat baseline algorithms from the literature even with severely restricted computational budget in terms of function evaluations on four different classes of complete graphs. Es laden ein: die Dozentinnen und Dozenten der Informatik -- Andrea Gibbels, M.A. Administrative Assistant Chair for AI Methodology / Lehrstuhl für Methodik der Künstlichen Intelligenz RWTH Aachen University E-mail: secret(a)aim.rwth-aachen.de Phone: +49 241 80 21452 Theaterstr. 35-39 52062 Aachen Germany

1 1