This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
complexity_cryptography_and_financial_technology [2018/09/26 10:03] fabio.massacci@unitn.it |
complexity_cryptography_and_financial_technology [2021/01/29 10:58] (current) |
||
---|---|---|---|
Line 88: | Line 88: | ||
* Mon. 13:30-15:30 room A220 | * Mon. 13:30-15:30 room A220 | ||
* Wed. 9:30-11:30 room A211 (Changed!) | * Wed. 9:30-11:30 room A211 (Changed!) | ||
- | * Fri. 14:00-15:30 room A215 | + | * Fri. 13:30-15:30 room A215 |
(well, they change us all the time so check on [[https://easyroom.unitn.it/Orario|Easyroom]]. | (well, they change us all the time so check on [[https://easyroom.unitn.it/Orario|Easyroom]]. | ||
Line 101: | Line 101: | ||
| 21/09/18 | Fri | 2 | Bitcoin by prof. A. Montresor | | | | | 21/09/18 | Fri | 2 | Bitcoin by prof. A. Montresor | | | | ||
| 24/09/18 | Mon | 2 | Introduction to Complexity | {{:teaching:cryptofintech:2018:2018-lecture-5-complexity-introduction.pdf|sides}} | See Section 1.2 of [[http://www.wisdom.weizmann.ac.il/~/oded/cc-book.html|Gold Reich Book]]. There is an old version of the chapter on the web page. You can also see | | | 24/09/18 | Mon | 2 | Introduction to Complexity | {{:teaching:cryptofintech:2018:2018-lecture-5-complexity-introduction.pdf|sides}} | See Section 1.2 of [[http://www.wisdom.weizmann.ac.il/~/oded/cc-book.html|Gold Reich Book]]. There is an old version of the chapter on the web page. You can also see | | ||
- | | 26/09/18 | Wed | 2 | Finite Field, Discrete Logs, Quadratic Residuosity | | Read [[http://cacr.uwaterloo.ca/hac/about/chap2.pdf|Chapter 2]] of the [[http://cacr.uwaterloo.ca/hac/|Handbook of Applied Cryptography]]| | + | | 26/09/18 | Wed | 2 | Finite Field, Discrete Logs, Quadratic Residuosity | {{:teaching:cryptofintech:2018:2018-lecture-6-finite_fields.pdf|slides}} | Read [[http://cacr.uwaterloo.ca/hac/about/chap2.pdf|Chapter 2]] and [[http://cacr.uwaterloo.ca/hac/about/chap3.pdf|Chapter 3]] of the [[http://cacr.uwaterloo.ca/hac/|Handbook of Applied Cryptography]]. Read also the original paper of [[https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=1057074|El-Gamal Cryptosystem]] and [[https://dl.acm.org/citation.cfm?id=802212|GM Cryptosystem]]. Find the reference implementation of [[https://git.gnupg.org/cgi-bin/gitweb.cgi?p=libgcrypt.git;a=blob_plain;f=cipher/elgamal.c;hb=HEAD|El-Gamal Cryptosystem]] and [[https://github.com/prvnkumar/libgm|GM Cryptosystem]] in C. | |
+ | | 28/09/18 | Fri | 2 | Lab on Finite Field 1 (libsnark) | {{:teaching:cryptofintech:2018:lab1.pdf|Exercise}} | | | ||
+ | | 01/10/18 | Mon | 2 | Lecture + Lab on Elliptic Curves | {{:teaching:cryptofintech:2018:2018-lecture-7-elliptic_curves.pdf|Slides and Exercise}} | Read Appendix 6 of [[https://csrc.nist.gov/csrc/media/publications/fips/186/2/archive/2000-01-27/documents/fips186-2.pdf|FIPS 186-2]] for the list of recommended curves. | | ||
+ | | 05/10/18 | Fri | 2 | Digital Signature | {{:teaching:cryptofintech:2018:2018-lecture-8-digital_signature.pdf|Slides}} | Read the main body of [[https://csrc.nist.gov/csrc/media/publications/fips/186/2/archive/2000-01-27/documents/fips186-2.pdf|FIPS 186-2]]. | | ||
+ | | 08/10/18 | Mon | 2 | P vs NP: Decision | | | | ||
+ | | 12/10/18 | Wed | 2 | Recap on P vs NP: Search & Decision | | | | ||
+ | | 15/10/18 | Fri | 2 | P vs NP: Computational | | | | ||
+ | | 19/10/18 | Mon | 2 | Randomness | | | | ||
+ | | 24/10/18 | Wed | 2 | Zero-Knowledge Proof | | | | ||
+ | | 14/11/18 | Wed | 2 | Libsark Tutorial: Getting Started | {{:teaching:cryptofintech:2018:tut1.pdf|Tutorial}} | | | ||
+ | | 16/11/18 | Fri | 2 | Libsnark Tutorial: Basic Gadgets | {{:teaching:cryptofintech:2018:tut2.pdf|Tutorial}} | | | ||
+ | | 19/11/18 | Mon | 2 | Student evaluation (theory) | | | | ||
+ | | 21/11/18 | Wed | 2 | Libsnark Tutorial: Fundamental Relations and Gadgets | {{:teaching:cryptofintech:2018:tut3.pdf|Tutorial}} | | | ||
+ | | 23/11/18 | Fri | 2 | Students presentation and feedback on Invoice Factoring use case (1) | | | | ||
+ | | 26/11/18 | Mon | 2 | Libsnark Exercise: Basic FinTech Gadgets | {{:teaching:cryptofintech:2018:exercise1.pdf|Exercise}} | | | ||
+ | | 28/11/18 | Wed | 2 | Libsark Tutorial: Merkle Tree for FinTech | | | | ||
+ | | 30/11/18 | Fri | 2 | Students presentation and feedback on Invoice Factoring use case (2) | | | | ||
+ | | 3/12/18 | Mon | 2 | FuturesMEX | {{:teaching:cryptofintech:2018:2018-lecture-15-futuresmex.pdf|Slides}} | {{:sp18proceedings.pdf|FuturesMEX paper}} | | ||
+ | | 05/12/18 | Wed | 1 | Libsnark Tutorial: FuturesMEX advanced gadgets (1) | | | | ||
+ | | 07/12/18 | Fri | 3 | Libsnark Tutorial: FuturesMEX advanced gadgets (2) | | | | ||
+ | | 10/12/18 | Mon | 2 | Student final presentation and feedback on Invoice Factoring use case (graded) | | | ||
+ | | 12/12/18 | Wed | 2 | HyperLedger Tutorial | | | | ||
+ | | 14/12/18 | Mon | 2 | Student tutoring in class | | | | ||
+ | | 17/12/18 | Wed | 2 | Student tutoring in class | | | | ||
+ | | 19/12/18 | Wed | 2 | SPDZ Tutorial| {{:teaching:cryptofintech:2018:tut1mpc.pdf|Tutorial}} | | | ||
==== Planned Lectures, Lab Sessions and Exercises==== | ==== Planned Lectures, Lab Sessions and Exercises==== | ||
^ Date ^ Weekday ^ Hours ^ Topic ^ Slides ^ Additional materials ^ | ^ Date ^ Weekday ^ Hours ^ Topic ^ Slides ^ Additional materials ^ | ||
- | | 28/09/18 | Fri | 2 | Lab on Finite Field 1 (libsnark) | | | | + | | 21/12/18 | Fri | 2 | Student tutoring in class | | | |
- | | 01/10/18 | Mon | 2 | Lecture + Lab on Elliptic Curves | | | | + | | 25/01/19 | Fri | 8 | Final project | | | |
- | | 03/10/18 | Wed | 2 | P vs NP: Search | | | | + | |
- | | 05/10/18 | Fri | 2 | Digital Signature + ECDSA + Lab | | | | + | |
- | | 08/10/18 | Mon | 2 | P vs NP: Decision | | | | + | |
- | | 10/10/18 | Wed | - | NO LECTURES AT DISI | | | | + | |
- | | 12/10/18 | Fri | 2 | Lab on Finite Field 2 (libsnark) | | | | + | |
- | | 15/10/18 | Mon | 2 | One-way functions | | | | + | |
- | | 17/10/18 | Wed | 2 | One-way functions in practice | | | | + | |
- | | 19/10/18 | Fri | 2 | Hash functions Lab | | | | + | |
- | | 22/10/18 | Mon | 2 | Interactive Proof | | | | + | |
- | | 24/10/18 | Wed | 2 | Zero-knowledge Proof | | | | + | |
- | | 26/10/18 | Fri | 2 | Lab on Finite Field 3 (libsnark) | | | | + | |
- | | 29/10/18 | Mon | 2 | Distributed System Overview | | | | + | |
- | | 31/10/18 | Wed | 2 | UNBIAS case study | | | | + | |
- | | 02/11/18 | Fri | - | NO LECTURES AT DISI | | | | + | |
- | | 05/11/18 | Mon | 2 | Students assessment on the 1st part | | | | + | |
- | | 07/11/18 | Wed | 2 | Students presentations on UNBIAS security requirements | | | | + | |
- | | 09/11/18 | Fri | 4 | HyperLedger Lab | | | | + | |
- | | 12/11/18 | Mon | 2 | Quadratic Arithmetic Programs | | | | + | |
- | | 14/11/18 | Wed | 2 | Paring-based zk-SNARKs | | | | + | |
- | | 16/11/18 | Fri | 4 | Lab on zk-SNARKs | | | | + | |
- | | 19/11/18 | Mon | 2 | Lab on integration of HyperLedger and libsnark | | | | + | |
- | | 21/11/18 | Wed | 2 | Students presentations on UNBIAS impl. | | | | + | |
- | | 23/11/18 | Fri | 2 | Students presentations on UNBIAS impl. | | | | + | |
- | | 26/11/18 | Mon | 2 | Students hostile reviews | | | | + | |
- | | 28/11/18 | Wed | 2 | Students hostile reviews | | | | + | |
- | | 30/11/18 | Fri | 2 | Students rebuttals | | | | + | |
- | | 03/12/18 | Mon | 2 | Students tutoring in Lab | | | | + | |
- | | 05/12/18 | Wed | 2 | Students tutoring in Lab | | | | + | |
- | | 07/12/18 | Fri | 4 | Final demo for UNBIAS | | | | + | |
- | | 10/12/18 | Mon | 2 | Introduction to MPC + Yao GC + GMW | | | | + | |
- | | 12/12/18 | Wed | 2 | FuturesMEX case study: IOP | | | | + | |
- | | 14/12/18 | Fri | 2 | Lab on IOP 1| | | | + | |
- | | 17/12/18 | Mon | 2 | Efficient Secret Sharing (SPDZ) | | | | + | |
- | | 19/12/18 | Wed | 2 | Students presentations on FuturesMEX security requirements | | | | + | |
- | | 21/12/18 | Fri | 2 | Lab on IOP 2 | | | | + | |
- | | 25/01/19 | Fri | 8 | Final demo for IOP | | | | + | |
===== Other Material ===== | ===== Other Material ===== | ||
Other material is available in Google Classroom or in the Github repo. | Other material is available in Google Classroom or in the Github repo. |