November 2025 - Turingsvenner.cs

Turings Venner | 4th of December
by Steffan Christ Sølvsten 03 Dec '25

03 Dec '25

Hello everyone, In about two weeks time, we have the last Turings Venner talk of the semester! Title: Reflections on security by design: the origins, the practice, and the outlook Speaker: Aslan Askarov Time: 16:15, Thursday 4th of December 2025 Location: 5335-016 (Peter Bøgh Auditoriet, Nygaard) Abstract: Security by design is a celebrated slogan that has been embraced by computer security practitioners. In this talk we will dive into the origins of this slogan in the 1970s, the implications for practitioners that face evolving threats, when systems that have been secure by design using decade-old criteria turn out to have insufficient protection. We will look into why formal methods are important for reasoning about negative properties (which security is) and how programming languages in particular can help enforce security properties, with concrete examples of mitigating traffic analysis. Finally, we will discuss the relevance of the slogan in the era of largely untrusted code. ——— Steffan Christ Sølvsten Postdoctoral Researcher at Aarhus University soelvsten(a)cs.au.dk | (+45) 24772366

1 1

Turings Venner | 13th of November 2025
by Steffan Christ Sølvsten 11 Nov '25

11 Nov '25

Hello once more, This is just another friendly reminder of the Turings Venner talk next Thursday! Speaker: Mathias Rav Time: 16:15, Thursday 13th of November 2025 Location: 5335-016 (Peter Bøgh Auditoriet, Nygaard) Abstract: When collaborating on a codebase where several people are working in parallel on different development branches, it often happens that different developers try to edit the same piece of code, which leads to problems when both branches have to be merged into the main codebase. If git is used to collaborate on the codebase, the first developer to merge the branch has an easy day, and the other developer is met with a merge conflict, which is the technical term used when git was unable to automatically integrate the two sets of changes together. In this talk, we present a way of thinking about codebase changes that lets us handle merge conflicts in a novel way that is much less of a hair-pulling frustrating experience. By using this new way of thinking, we then develop a new mechanical way to work with branches that makes it easy to split off "refactoring work" from "feature work", such that refactors can be merged early, thus reducing the incidence of merge conflicts. ——— Steffan Christ Sølvsten Postdoctoral Researcher at Aarhus University soelvsten(a)cs.au.dk | (+45) 24772366

1 0

Turings Venner | 13th of November 2025
by Steffan Christ Sølvsten 03 Nov '25

03 Nov '25

Hello everyone, There is a another Turings Venner talk next week! Speaker: Mathias Rav Time: 16:15, Thursday 13th of November 2025 Location: 5335-016 (Peter Bøgh Auditoriet, Nygaard) Abstract: When collaborating on a codebase where several people are working in parallel on different development branches, it often happens that different developers try to edit the same piece of code, which leads to problems when both branches have to be merged into the main codebase. If git is used to collaborate on the codebase, the first developer to merge the branch has an easy day, and the other developer is met with a merge conflict, which is the technical term used when git was unable to automatically integrate the two sets of changes together. In this talk, we present a way of thinking about codebase changes that lets us handle merge conflicts in a novel way that is much less of a hair-pulling frustrating experience. By using this new way of thinking, we then develop a new mechanical way to work with branches that makes it easy to split off "refactoring work" from "feature work", such that refactors can be merged early, thus reducing the incidence of merge conflicts. ——— Steffan Christ Sølvsten Postdoctoral Researcher at Aarhus University soelvsten(a)cs.au.dk | (+45) 24772366

1 0