Program at a Glance

You may download the program at a glance here (PDF).

Mon. 25 June


08:30 - 09:00	Registration
09:00 - 10:30	Workshop on Byzantine Consensus and Resilient Blockchains (BCRB 2018)	3rd Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2018)	Workshop on Dependable and Secure Machine Learning (DSML 2018)	4th International Workshop on MILS: Architecture and Assurance for Secure Systems (MILS 2018)	4th Workshop on Safety and Security of Intelligent Vehicles (SSIV 2018)
	Tutorial #1: Blockchain and Hyperledger Fabric	Tutorial #3: Building Distributed Enclave Applications with Sancus and SGX	Tutorial #2: DevOps Practices for Building Secure and Resilient Cloud-Native Web Applications
10:30 - 11:00	Coffee Break
11:00 - 12:30	Workshop on Byzantine Consensus and Resilient Blockchains (BCRB 2018)	3rd Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2018)	Workshop on Dependable and Secure Machine Learning (DSML 2018)	4th International Workshop on MILS: Architecture and Assurance for Secure Systems (MILS 2018)	4th Workshop on Safety and Security of Intelligent Vehicles (SSIV 2018)
	Tutorial #1: Blockchain and Hyperledger Fabric	Tutorial #3: Building Distributed Enclave Applications with Sancus and SGX	Tutorial #2: DevOps Practices for Building Secure and Resilient Cloud-Native Web Applications
12:30 - 14:00	Lunch
14:00 - 15:30	Workshop on Byzantine Consensus and Resilient Blockchains (BCRB 2018)	3rd Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2018)	Workshop on Dependable and Secure Machine Learning (DSML 2018)	4th International Workshop on MILS: Architecture and Assurance for Secure Systems (MILS 2018)	4th Workshop on Safety and Security of Intelligent Vehicles (SSIV 2018)
	Tutorial #1: Blockchain and Hyperledger Fabric	Tutorial #4: Fault Injection with FAIL*	Tutorial #2: DevOps Practices for Building Secure and Resilient Cloud-Native Web Applications
15:30 - 16:00	Coffee Break
16:00 - 18:00	Workshop on Byzantine Consensus and Resilient Blockchains (BCRB 2018)	3rd Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2018)	Workshop on Dependable and Secure Machine Learning (DSML 2018)	4th International Workshop on MILS: Architecture and Assurance for Secure Systems (MILS 2018)	4th Workshop on Safety and Security of Intelligent Vehicles (SSIV 2018)
	Tutorial #1: Blockchain and Hyperledger Fabric	Tutorial #4: Fault Injection with FAIL*	Tutorial #2: DevOps Practices for Building Secure and Resilient Cloud-Native Web Applications
19:30 - 21:30	Welcome Reception

Tue. 26 June


From 08:00	Registration
08:30 - 09:00	Welcome: Opening Remarks and Jean-Claude Laprie Award Presentation
09:00 - 10:00	Keynote: Anand Rajan
10:00 - 10:30	Coffee Break
10:30 - 11:00	Carter Award Talk
11:00 - 11:30	Fast Abstract: Pitch Session. Chair: Cristina Nita-Rotar
11:30 - 12:45	Best Paper Candidates Session – YOU CAN VOTE on the best paper
12:45 - 14:10	Lunch
14:10 - 15:50	SESSION 1: Byzantine Fault Tolerance and Multicast	SESSION 2: HPC or not
15:50 - 16:20	Coffee Break
16:20 - 18:00	SESSION 3: Critical Infrastructures	SESSION 4: Storage and Redundancy

Wed. 27 June


08:30 - 09:30	Keynote: Prof. Dr. Herbert Bos
09:30 - 11:10	SESSION 5: Attacks and Intrusion Detection	SESSION 6 Modelling and Verification	Student Forum
			Fast Abstract #1
11:10 - 11:30	Coffee Break with Student Forum and Fast Abstract POSTER PRESENTATIONS
11:30 - 13:10	SESSION 7: Architecture Reliability	SESSION 8: Network security	Fast Abstract #2
13:10 - 14:30	Lunch
14:30 - 16:10	SESSION 9: Mobile Devices	SESSION 10: Confidentiality and Privacy	BEST of SELSE
16:30 - 22:30	Excursion and Banquet

Thu. 28 June


09:00 - 10:40	SESSION 11: Security	SESSION 12: Distributed systems	Industry Track #1
10:40 - 11:10	Coffee Break with Industry Track POSTER PRESENTATIONS
11:10 - 12:50	SESSION 13: The future of Things	SESSION 14: Routing in Networks	Industry Track #2
12:50 - 14:20	Lunch
14:20 - 15:35	SESSION 15: Symbolic Execution & StaticAnalysis	PANEL session WRAP-UP on the WORKSHOP THEMES	Industry Track #3
15:35 - 16:00	Coffee Break
16:00- 17:00	Business Meeting

Follow @dsn_2018