January 2023

Invariant Theory Reading Seminar 

Textbook:   Classical Invariant Theory , by Peter J. Olver, Cambridge University Press (1999).  

Modus operandi: We will discuss approximately one book chapter,   each time,  under the rotating leadership of an attendee.

The first meeting will start with a motivation for the seminar and Chapter 1 (historical remarks). 

Refreshments will be served.

Crypto Cafe

Speaker: Dr. Veronika Kuchta, Florida Atlantic University

Title:  Proof Systems and ZK-SNARKs

Abstract:    Zero-knowledge proof (ZKP) systems allow a prover holding some secret witness w for a statement x satisfying some NP relation R, to prove knowledge of w to a verifier (the soundness property), without revealing any information on w to the verifier (the zero-knowledge property) beyond that revealed by the NP statement x known to the verifier.  

ZKPs have a myriad of applications in privacy-preserving cryptographic protocols. For statements with large witnesses w, the main limitation of classical ZKPs is that their proof size is proportional to the witness size. To support such applications like verifiable computation and privacy-preserving cryptocurrencies it is desirable to have succinct ZKPs in which the proof (or argument) size is only polylogarithmic in the witness size. This requirement induced constructions of Zero-Knowledge Succinct Non-interactive ARgument of Knowledge (ZK-SNARK).  

In this presentation we will look at different approaches to designing efficient ZK-SNARKs from information-theoretical proof system especially focusing on lattice-based and hash-based ZK-SNARK constructions.

February 2023

Wednesday
Feb. 8
SE 215
11:00 am

Invariant Theory Reading Seminar 

Chapter 2 Part 1: classification of binary cubics and quartics.

Textbook:   Classical Invariant Theory , by Peter J. Olver, Cambridge University Press (1999).  

Crypto Cafe

February 13, 2023, SE-43, Room 215; 11:30 a.m. +Zoom:https://fau-edu.zoom.us/j/83768244916?pwd=cWNoOTlVVThGbnB1M3NzQ28vclpUdz09

Speaker:   Dr. Bill Brumley, Tampere University, Finland

Title:     Side Channel Analysis and Lattice Attacks

Abstract:     Lattice attacks are a typical endgame for side channel attacks targeting digital signature schemes. During the procurement phase, the attacker queries digital signatures, messages, and corresponding side channel traces, then tries to extract secret information from these traces and  apply lattice methods to recover the private key. But in practice, these traces are often incomplete and/or noisy, complicating theoretical models for applying lattices. In this talk, I discuss some of the lattice attack techniques developed over the years, and outline a few interesting open problems that highlight the gap between theory and practice for applied side channel attacks powered by lattice methods.

Video Recording

Wednesday
Feb. 22
SE 215
11:00 am

Invariant Theory Reading Seminar 

Chapter 2 Part 2: basic invariant theory for binary forms.

Textbook:   Classical Invariant Theory , by Peter J. Olver, Cambridge University Press (1999).  

Saturday
Feb.. 25
SE 215
9:00 am

Science Olympiad - Codebusters

Science Olympiad is a science tournament held every February on Florida Atlantic University’s Boca Raton campus.  View Here!

Codebusters Schedule

Register Now

Monday
Feb 27
SE 215
11:00 am

Crypto Cafe

Speaker: 

Title:

Abstract:

March 2023

Wednesday
March 8
SE 215
11:00 am

Invariant Theory Reading Seminar 

Textbook:   Classical Invariant Theory , by Peter J. Olver, Cambridge University Press (1999).  

Crypto Cafe

Speaker: 

Title:

Abstract:

Crypto Cafe

Speaker: 

Title:

Abstract:

Invariant Theory Reading Seminar 

Textbook:   Classical Invariant Theory , by Peter J. Olver, Cambridge University Press (1999).  

April 2023

Crypto Cafe

Speaker: 

Title:

Abstract:

Invariant Theory Reading Seminar 

Textbook:   Classical Invariant Theory , by Peter J. Olver, Cambridge University Press (1999).  

May, 2023

July, 2023

Mon.-Fri.
July 24-28
Sandbox
8:00 am
each day

Young CryptograpHers

Shaping the Future of Cybersecurity

Young CryptograpHERS is a Cybersecurity summer camp specially designed for high school girls. Participants will be introduced to the fundamental principles of cybersecurity and learn how to apply conceptual knowledge to real-world situations. The camp will focus on Post-Quantum Cryptography, the area of math that is in charge of protecting our information in the era of quantum technology. The program includes lectures and activities by FAU faculty, alumni and speakers from industry and government. Our goal is to motivate and inspire talented students who are interested in a cybersecurity career. 

The camp is generously sponsored by a grant from NSA. This means participation is free, as the funding covers all costs for the students, including registration, catering, and camp gear! Attendance is limited and subject to availability, so apply now to take advantage of this opportunity.

Register Here!