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).

Check our latest news
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 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

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.

To help us organize the schedule of shuttle services and ensure a smooth transportation experience to and from the event venue, we kindly request that you register for transport using the button below.

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.

Departure (morning) and arrival (evening) times will be announced soon.

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

TBA

Programme

Event's Schedule

Here is our preliminary event programme! Follow up for more updates!

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.

4

June 11:30-12:00

Registration

  • At: Imperial Hotel Vodice

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

5

June 08:00-09:00

Registration

  • At: Imperial Hotel Vodice

5

June 08:50-09:00

Welcome

  • At: Imperial Hotel 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

Post-Quantum Cryptography for Embedded Systems

Tamarin Prover Tutorial

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

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

A guided tour of Cryptography on RISC-V

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.

Departure (morning) and arrival (evening) times will be announced soon.

  • Meeting point at: TBA

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

Short talks session (TBA)

  • TBA
  • Short talks
  • At: Room TBA

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

June20:00 - 23:00

Banquet

  • Social
  • At: TBA

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

TBA

Sponsors

Our Official Sponsors

# # # # #