Hi again, The last Turings Venner talk for this semester is tomorrow! I hope to see you there! 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@cs.au.dk | (+45) 24772366