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

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!

  • 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.
  • 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.
  • You can now find more information about the tutorials here!
  • Call for tutorials is now open. The deadline is January 15.
  • You can now find more information about the summer school talks here!

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.

Fees

Registration

*** The registration is now open!!! ***
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.

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!

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

Talk (TBA)


Tamarin Prover Tutorial


PROACT school

5

June10:30 - 11:00

Coffee Break

  • At: Imperial Hotel Vodice

5

June 11:00 - 12:30

Talk (TBA)


Tamarin Prover Tutorial


PROACT school

5

June12:30 - 14:00

Lunch

  • At: Imperial Hotel Vodice

5

June 14:00 - 15:30

Talk (TBA)

  • TBA
  • At: Room TBA

Tamarin Prover Tutorial


PROACT school

5

June15:30 - 16:00

Coffee Break

  • At: Imperial Hotel Vodice

5

June 16:00 - 17:30

Talk (TBA)

  • TBA
  • At: Room TBA

Tamarin Prover Tutorial


PROACT school

5

June19:00 - 21:00

Welcome reception

  • Social
  • At: Imperial Hotel Vodice

6

June 9:00 - 10:30

Talk (TBA)


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

Talk (TBA)


Building Cryptographic ASICs with Open Source Design Tools


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

7

June All day

Excursion

  • At: TBA

8

June 9:00 - 10:30

Talk (TBA)


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

Talk (TBA)


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

Six Attacks on Matrix

9

June15:30 - 16:00

Coffee Break

  • At: Imperial Hotel Vodice

9

June 16:00 - 17:30

TBA

  • TBA
  • Talk
  • At: Room TBA

Sponsors

Our Official Sponsors