@tu_wien is looking for a full professor in programming languages and compilers. Language-based security, privacy, and reliability is among the topics of interest. Deadline June 13. Interested to work at a top university in a top city? Apply and feel free to DM for any questions! https://t.co/MZLYMeSoZv
Would you like to do a Ph.D. on formal methods for security and privacy under my supervision @SecPrivTUWien@tu_wien ? Applications are open (rolling deadline)! https://t.co/eGuGn8IhuD
If you work on AI/ML for security/privacy (ideally with a link to other research fields) and are interested to get a research grant of 1.6M EUR to establish your own group associated with a tenure-track professorship at TU Wien, contact me! https://t.co/VuFz1QXwlm
“There's a tremendous opportunity to make near progress on AI safety, by thinking about cryptographic functionality inside or on top of neural networks” Scott Aaronson, CRYPTO 2023 @IACR_News#crypto#crypto23
Hien Chu and Paul Gerhart will present our paper "Practical Schnorr Threshold Signatures Without the Algebraic Group Model" at CRYPTO 2023 tomorrow. 🎉 @IACRcrypto
https://t.co/9sbPirAr34… https://t.co/IggMYhMogU
Hien Chu and Paul Gerhart will present our paper "Practical Schnorr Threshold Signatures Without the Algebraic Group Model" at CRYPTO 2023 tomorrow. 🎉 @IACRcrypto
https://t.co/9sbPirAr34… https://t.co/IggMYhMogU
Hien Chu and Paul Gerhart will present our paper "Practical Schnorr Threshold Signatures Without the Algebraic Group Model" at CRYPTO 2023 tomorrow. 🎉 @IACRcrypto
https://t.co/WQx0WnGhqr https://t.co/3IVXHclHeF
We were asked by @ThreemaApp to take a look at their new encryption protocol and it looks secure. On a high level, they combine an extended version of the X3DH protocol with a symmetric ratchet mechanism. We designed a tailored security definition and wrote a game-based proof.