BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//TYPO3/NONSGML News system (news)//EN
BEGIN:VEVENT
UID:news-25273@cs.au.dk
DTSTAMP:20251201T134512Z
DTSTART:20251204T151500Z
DTEND:20251204T151500Z
END:VEVENT
END:VCALENDAR




<div class="news news-single">
	<div class="article" itemscope="itemscope" itemtype="http://schema.org/Article">
		
	
			<script type="text/javascript">
				const showAllContentLangToken = "Show all content ";
			</script>

			
			

			<article class="typo3-delphinus delphinus-gutters">

				<!-- News PID: 4980 - used for finding folder/page which contains the news / event -->
				<!-- News UID: 25273 - the ID of the current news / event-->

				<div class="news-event">
					<div class="news-event__header">
						<!-- Categories -->
						
							<span class="text--stamp">
<!-- categories -->
<span class="news-list-category">
	
		
	
		
	
		
	
		
	
</span>

</span>
						

						<!-- Title -->
						<h1 itemprop="headline">Turings Venner: Reflections on security by design: The origins, the practice, and the outlook</h1>
						
					</div>

					
						<!-- Top image -->
						
							

							<div class="news-event__hero-image" id="hero-image">
								<figure class="news-event__image">
									
									
											
													
	<picture>
		<source media="(max-width: 35.46em)" srcset="/fileadmin/_processed_/1/3/csm_turings_venner_aslan_4._december_f96a54df15.jpg, /fileadmin/_processed_/1/3/csm_turings_venner_aslan_4._december_4ec4b2fa0d.jpg 1.5x">
		<img srcset="/fileadmin/_processed_/1/3/csm_turings_venner_aslan_4._december_fa31c60293.jpg 1.5x" itemprop="image" src="/fileadmin/_processed_/1/3/csm_turings_venner_aslan_4._december_bdb0467146.jpg" width="1370" height="705" alt="" />
	</picture>

												
										

									<figcaption>
										
										
									</figcaption>
								</figure>
							</div>
						
					

					<div class="news-event__content">

						<!-- Events info box -->
						
								

								<div class="news-event__info theme--dark" id="event-info">
									<h2 class="screenreader-only">Info about event</h2>

									
											<!-- Date range -->
											<div class="news-event__info__item news-event__info__item--time">
												<h3 class="news-event__info__item__header text--label-header">Time</h3>
												<div class="news-event__info__item__content">
													Thursday <span class="u-avoid-wrap"> 4  <span class="au_news_events_month">December 2025,&nbsp;</span><span class="u-avoid-wrap">at 16:15</span></span> - 												 <span class="u-avoid-wrap">  <span class="au_news_events_month"> ,&nbsp;</span><span class="u-avoid-wrap">at </span></span>
													<p class="news-event__info__item__ical-link"><a href="/news-events/events/show-event/artikel/turings-venner?tx_news_pi1%5Bformat%5D=ical&amp;type=9819&amp;cHash=9df8364f442beb513bc741038a1bfb98">Add to calendar</a></p>
												</div>
											</div>
										

									<!-- Location detailed -->
									
											<!-- Location Simple -->
											
												<div class="news-event__info__item">
													<h3 class="news-event__info__item__header text--label-header">Location</h3>
													<div class="news-event__info__item__content">
														<p>Peter Bøgh Auditorium, Nygaard, Helsingforsgade 12, 8200 Aarhus N</p>
													</div>
												</div>
											
										

									<!-- Organizer detailed -->
									
											<!-- Organizer Simple -->
											
												<div class="news-event__info__item">
													<h3 class="news-event__info__item__header text--label-header">Organizer</h3>
													<div class="news-event__info__item__content">
														Turings Venner
													</div>
												</div>
											
										

									<!-- Price -->
									
										<div class="news-event__info__item">
											<h3 class="news-event__info__item__header text--label-header">Price</h3>
											<div class="news-event__info__item__content u-avoid-wrap">Free DKK</div>
										</div>
									

									<!-- Event link -->
									
										<div class="news-event__info__item">
											<a href="https://www.facebook.com/events/2141304739609638">Event website</a>
										</div>
									

									<!-- Registration -->
									
								</div>
							

						
							<!-- Media -->
							
								

	
	

	

	
		
				
				
					
				
			
	



							
						

						
							<div class="news-event__content__text">
								<span class="text--byline" id="byline">
									

									<!-- Author -->
									
										<span itemprop="author" itemscope="itemscope" itemtype="http://schema.org/Person">
											
													By
												

											
													<a href="mailto:mmd@cs.au.dk">
														<span itemprop="name">Mette Munch Dideriksen</span>
													</a>
												
										</span>
									
								</span>

								

									<!-- Body text -->
									<div><p><strong>Speaker</strong></p>
<p>Aslan Askarov</p>
<p><strong>Abstract</strong></p></div><div><p>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.</p></div>
								
							</div>
						
					</div>

					
						<!-- Content elements -->
						
					
				</div>
			</article>

			
				
				
			

			<!-- related things -->
			
		

	</div>
</div>