January 2023 |
|
Wednesday Jan. 25 SE 215 11:00 am |
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. |
Monday Jan 30 SE 215 11:00 am |
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 |
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). |
Monday Feb. 13 SE 215 11:00 am |
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. |
Wednesday |
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 |
Science Olympiad - Codebusters Science Olympiad is a science tournament held every February on Florida Atlantic University’s Boca Raton campus. View Here! |
Monday |
Crypto Cafe Speaker: Title: Abstract: |
March 2023 |
|
Wednesday |
Invariant Theory Reading Seminar Textbook: Classical Invariant Theory , by Peter J. Olver, Cambridge University Press (1999). |
Monday Mar. 6 SE 215 11:00 am |
Crypto Cafe Speaker: Title: Abstract: |
Monday Mar. 20 SE 215 11:00 am |
Crypto Cafe Speaker: Title: Abstract: |
Wednesday March 22 SE 215 11:00 am |
Invariant Theory Reading Seminar Textbook: Classical Invariant Theory , by Peter J. Olver, Cambridge University Press (1999). |
April 2023 |
|
Monday April 3 SE 215 11:00 am |
Crypto Cafe Speaker: Title: Abstract: |
Wednesday April 5 SE 215 11:00 |
Invariant Theory Reading Seminar Textbook: Classical Invariant Theory , by Peter J. Olver, Cambridge University Press (1999). |
May, 2023 |
|
|
July, 2023 |
Mon.-Fri. |
Shaping the Future of CybersecurityYoung 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. |