Vodice, Croatia
Summer School on real-world crypto and privacy 2023 Summer School on real-world crypto and privacy 2023 Summer School on real-world crypto and privacy 2023

The summer school is jointly organized by the Digital Security (DiS) group, Radboud University (The Netherlands), ETH Zurich Information Security and Privacy Center (Switzerland) and Faculty of Electrical Engineering and Computing, University of Zagreb (Croatia).

Programme
summer@school:~$

Event Focus

Summer School on real-world crypto and privacy 2023

The school aims at bringing together Master/PhD students, academics and security experts from industry. The focus of the summer school is on:

# #

Cryptography for the Internet

# #

Recent developments in cryptography

# #

Systems & Network security

# #

Machine learning in security & privacy

# #

Physical security & cryptographic implementations

# #

Privacy enhancing technologies

News

Our Latest News

Here are our latest news!

  • We are pleased to announce the release of the preliminary final version of the programme for the upcoming event. To view the programme, please visit here.
  • You can now find more information about the summer school talks here!
  • You can now find more information about the tutorials here!
  • Please fill out the registration form for the tutorials, indicating your preferences.
  • Tutorial registration will open on May 1 and close as soon as we fill available slots. Check back soon for the tutorial registration form.
  • Call for tutorials is now open. The deadline is January 15.
  • Registration is closed.
  • Registration is closed because we have reached the limit of the venue's capacity. However, we might still have a few seats available. If you would like to register send a motivation email to www-croatia@science.ru.nl .
  • Registration is now available . The deadline for early registration is May 1.
  • Please note that we have a limit on the number of seats available, so your registration is only valid once we confirm it and send you a payment link.
  • Registration for the PROACT training school is closed.
  • Registration for the PROACT training school is free, but the available seats are limited. Please register here and provide a brief motivation explaining why you want to participate: registration form.
  • The deadline for applying is April 16. We will let you know by April 21 if you can attend.
  • As part of our event, we're excited to offer the PROACT training school as a parallel event from Sunday, June 4th to Tuesday, June 6th. This unique training opportunity will provide participants with valuable skills and knowledge related to the PROACT project.
About Vodice
#
About Krka National Park
#
About Boat Excursion
#

Vodice

Vodice in Croatia is a beautiful coastal town on the Sibenik Riviera and is also one of the most famous destinations for a beach holiday in Dalmatia.

Travel

Vodice, Croatia is conveniently located near several airports that serve both domestic and international flights. The nearest airport is Zadar Airport , which is approximately 60 kilometers away and takes around 45 minutes to reach by car. Another nearby option is Split Airport , located about 75 kilometers away and taking around an hour and 10 minutes to reach by car. Both airports offer a range of transportation options, including taxis, car rentals, and shuttle services, making it easy for travelers to reach Vodice from the airport.

Additional shuttle service

Complimentary shuttle services via buses or vans will be available for arrivals on Saturday, Sunday, and Monday (June 3-5) from the Zadar and Split airports to the event venue. Additionally, shuttle services will also be provided for departures on Friday and Saturday (June 9-10). Please note that this service is included with your registration.

Arrivals Schedule ( From airports to venue )

Departures Schedule ( From venue to airports )

Excursion

On Wednesday 7 June, we are planning an exceptional boat excursion from Vodice to the spectacular Krka National Park.

The all-inclusive journey is priced at 82 euros per person (cash only) and it is payable directly on the boat. The cost includes:

- The ticket entrance to Krka National Park
- Guided tour boat of the park's natural beauty.
- Fish lunch served on board.
- A separate mussels tasting session.

Please gather at 09:00 at the boat located at the pier, which is a 2-3-minute walk from the hotel (at the back, turn right). More details you can find here.

Fees

Registration

*** The registration is closed!!! ***

Academic

  • Early registration (until May 1st, 2023):

  • EUR 450

  • Late registration (after May 1st, 2023):

  • EUR 550


  • These fees cover:
  • All talks
  • Tutorial sessions
  • Reception
  • Coffee-breaks
  • Lunches
  • Banquet
  • Transportation from/to airport
  • Not covered by the fees:
  • Accommodation cost

Industry

  • Early registration (until May 1st, 2023):

  • EUR 600

  • Late registration (after May 1st, 2023):

  • EUR 700


  • These fees cover:
  • All talks
  • Tutorial sessions
  • Reception
  • Coffee-breaks
  • Lunches
  • Banquet
  • Transportation from/to airport
  • Not covered by the fees:
  • Accommodation cost

Stipends

  • A limited number of stipends (mainly for students from Europe) to cover the registration fee and limited traveling costs are available to students who cannot afford to attend the Summer School otherwise.

  • Requests for stipends should be sent by e-mail to:

  • before March 1st, 2023.

  • Please include your affiliation, motivation letter, short CV and a recommendation letter (should be sent via email by your supervisor).

  • Note we will give priority to students from less well-off institutions and those who have not received stipends before.

Organization

Scientific committee

#

Lejla Batina

Radboud University, The Netherlands
#

Srdjan Capkun

ETH Zurich, Switzerland
#

Kenny Paterson

ETH Zurich, Switzerland
#

Peter Schwabe

MPI Bochum, Germany and Radboud University, The Netherlands
#

Carmela Troncoso

EPFL, Switzerland

Organizing committee

Programme

Event's Schedule

Here is our final event programme!

Note* : Sessions with tags "Talk" or "Tutorial" combined with " PROACT School" mean that the session is offered to both the main event and PROACT School participants.

Note** : On the day of departure, kindly submit your badge in the designated box at the registration desk. Thank you in advance. #BeatPlasticPollution

4

June12:00 - 13:00

Lunch

  • At: Imperial Hotel Vodice

4

June 13:00 - 14:00

Security Against Side-Channel Attacks

4

June 14:00 - 15:00

Pre-Silicon in security

4

June15:00 - 15:30

Coffee Break

  • At: Imperial Hotel Vodice

4

June 15:30 - 18:00

Deep Learning-based Side-channel Analysis: How and Why

4

June 17:00-18:00

Registration

  • At: Imperial Hotel Vodice

5

June 08:00-09:00

Registration

  • At: Imperial Hotel Vodice

5

June 08:50-09:00

Welcome

  • At: Room Okit-Vodice

5

June 9:00 - 10:30

On lightweight symmetric crypto design and implementation aspects

Tamarin Prover Tutorial

5

June10:30 - 11:00

Coffee Break

  • At: Imperial Hotel Vodice

5

June 11:00 - 12:30

The Power of Fault Attacks and its Combination with Side-Channels

Tamarin Prover Tutorial

5

June12:30 - 14:00

Lunch

  • At: Imperial Hotel Vodice

5

June 14:00 - 15:30

Privacy and protection in unbounded information ecosystems

Tamarin Prover Tutorial

From (Less Careful) Standardization of Intellectual Property Protection to Secure and Private Electronic Design Automation

5

June15:30 - 16:00

Coffee Break

  • At: Imperial Hotel Vodice

5

June 16:00 - 17:30

Post-Quantum Cryptography for Embedded Systems

Impedance Analysis: A Novel Physical Side-Channel for Defensive and Offensive Hardware Security

Tamarin Prover Tutorial

5

June19:00 - 21:00

Welcome reception

  • Social
  • At: Imperial Hotel Vodice

6

June 9:00 - 10:30

What could possibly go wrong? Security and Privacy in 5G/nextG Mobile Networks

Hypothesis testing for leakage assessment in side channel analysis

An Introduction to Game-Based Cryptographic Proofs with the CryptoVerif Proof Assistant

6

June10:30 - 11:00

Coffee Break

  • At: Imperial Hotel Vodice

6

June 11:00 - 12:30

Computer Security: An effect, not a goal

Hypothesis testing for leakage assessment in side channel analysis

An Introduction to Game-Based Cryptographic Proofs with the CryptoVerif Proof Assistant

6

June12:30 - 14:00

Lunch

  • At: Imperial Hotel Vodice

6

June 14:00 - 15:30

Recent advances in computing discrete logarithms in finite fields

Building Cryptographic ASICs with Open Source Design Tools

An Introduction to Game-Based Cryptographic Proofs with the CryptoVerif Proof Assistant

6

June15:30 - 16:00

Coffee Break

  • At: Imperial Hotel Vodice

6

June 16:00 - 17:30

From Skyjacking to Carjacking: Challenges and Opportunities in Securing Modern Navigation Technologies

Building Cryptographic ASICs with Open Source Design Tools

An Introduction to Game-Based Cryptographic Proofs with the CryptoVerif Proof Assistant

7

June All day

Boat Excursion from Vodice to the spectacular Krka National Park.

The all-inclusive journey is priced at 82 euros per person (cash only) and it is payable directly on the boat. The cost includes:

- The ticket entrance to Krka National Park
- Guided tour boat of the park's natural beauty.
- Fish lunch served on board.
- A separate mussels tasting session.

Please gather at 09:00 at the boat located at the pier, which is a 2-3-minute walk from the hotel (at the back, turn right).

  • Meeting point at: The pier at the back of Imperial Hotel Vodice

8

June 9:00 - 10:30

Hardware: an essential partner to cryptography

The Hitchhiker’s Guide to the Security and Privacy of Federated Learning

Implementing Cryptography on Microcontrollers

8

June10:30 - 11:00

Coffee Break

  • At: Imperial Hotel Vodice

8

June 11:00 - 12:30

Formal verification of electronic voting systems

The Hitchhiker’s Guide to the Security and Privacy of Federated Learning

Implementing Cryptography on Microcontrollers

8

June12:30 - 14:00

Lunch

  • At: Imperial Hotel Vodice

8

June 14:00 - 15:30

Lightweight Privacy-Preserving Machine Learning Techniques for IoT Devices

Implementing Cryptography on Microcontrollers

8

June15:30 - 16:00

Coffee Break

  • At: Imperial Hotel Vodice

8

June 16:00 - 17:30

Secret Key Recovery from Partial Information in the Pre- and Post-Quantum World

Lightweight Privacy-Preserving Machine Learning Techniques for IoT Devices

Implementing Cryptography on Microcontrollers

8

June18:15 - 22:00

Banquet

We depart at 18:15 from the hotel by bus for Roca Farm, which is located 12 km away from Vodice. We will depart from Roca Farm at 22:00 for the hotel.

9

June 9:00 - 10:30

Six Attacks on Matrix

Practical Side-Channel Attacks on Real-World ECDSA Implementations

9

June10:30 - 11:00

Coffee Break

  • At: Imperial Hotel Vodice

9

June 11:00 - 12:30

Formally Analysing Secure Messaging

Practical Side-Channel Attacks on Real-World ECDSA Implementations

9

June12:30 - 14:00

Lunch

  • At: Imperial Hotel Vodice

9

June 14:00 - 15:30

Provable security and the quantum random oracle model

9

June15:30 - 16:00

Coffee Break

  • At: Imperial Hotel Vodice

9

June 16:00 - 17:30

Overview of Distributed Cryptography

Sponsors

Our Official Sponsors

# # # # #