**230823** - Introduksjoner rundt bordet: - Tjerand: - teaching a new course in secure cryptographic implementations - planning PKC’25 with Bor - working on projects with «many of you» - Bor - recently defended - semester will be largely teaching - wireless network security - 4th year course on wifi, gsm, bluetooth, finding attacks and stuff - coordinating the final stages of the master’s project - and learning how to be a teacher through UNIPED(?) - getting back to old projects that were on hold while the dissertation was being finished - Anamaria - taking over Colin’s network security course - doing research with Tikaram, Lea, Chris - held a talk in Israel on NIST PQC process - Jiaxin - on leave from October - becomes a professor in Germany - still teaches crypto for a few weeks - Oskar - making automatically graded exercises for TMA4140 - research: FHE-based voting from PQ assumptions - Kelsey - work with Kristian also on homomorphic voting - Lotta - a lot of teaching and a lot of courses to take this semester, so research is a smaller part - on a project for writing tutorials for easycrypt - easycrypt project to figure out which kinds of proofs are easier and which are harder to implement - Danilo - submitted signature scheme for NIST PQ this summer - but two german guys broke it, tried to fix it, still broken - NIST guys rejected the scheme, but suggested to write a paper with him about all the kinds of attacks against this project (sadly reduces to DL) - paper writeup WIP - possible that it can be made PQ again through MPC - (based on exponential congruence problem) - Kristian - on sabbatical this semester! - short term goal: continue with PAKE - side goal: since I have so many students doing easycrypt, maybe time to actually learn it - Ole Martin - doing mattelab in Matte 3 - finishing up a course with Kristian in ceremonies (?) - finishing up a project … ? - starting new project «soon» on BankID and FIDO - Karoline - will hold first lectures «ever» (in Tjerands course and one other) - plus lab work - work with Tjerand and Patrick Hugh on distributed keygen - Emil - teaching, lab, grading, plus teaching assistant on course on dependability - also taking among others Tjerand’s course - research: verifiable decryption in the head, completed soon hopefully - idea after that is take that concept and hopefully use it in other settings - Sonu - doing teaching duties - research: submitted paper at FSE, soft reject (update and retry in 3 months) - Chris - taking Tjerand’s seminar - working under Anamaria and Tjerand on lattice based vector commitments, will be used for ZK - Tikaram - Homomorphic encryption and leakages (SCA) - meg - (?) - teaching, which will clash with this meeting sadly - working with Lea on FHE - interested in PQ - Lea - teaching on security, robustness and ICT networks - may be doing some master’s supervision - work with Tjerand and Ana on circuit privacy (?) - security of CKKS with among others Martha! - (? indian looking woman) - working on (?) and machine learning - + teaching - + a course - Amir (online) - 4th year of phd - research: differential privacy and MPC (intersection and individually) - submitted two articles with Staal - Slobodan (online) - teaching (non-crypto related course) - research: non-binary fields - got some hardware recently to play with - Staal (online) - involved with SFI … what’s that? - getting involved in AI and ML stuff, will be recruiting students doing this very soon - trying to learn more about automatic theorem proving (formal methods) - Dan (online) - postdoc working with Staal - cleanup project: automatically anonymize personal documents using ML - submitted paper to ISIT - + supervising a master’s student Other: - Junjun Park from Korea, currently working with Nigel, will come here in April - a job position will be re-announced (what kind?) … associate professor in post-quantum crypto - 6 year tenure track position