Are they only interested in physics faculty, or everyone else as well?

How do you dress up as spring?

Every time I see physical attacks on TEEs, I wish someone would put out a position paper on @hdevalence.bsky.social 's "guy with a glock" model
x.com/hdevalence/s...

I remember seeing that one! Any idea what happened?

What you don't need to check anymore is the proof itself. That's what computers are for 😎 (Once someone has told them how to check your proofs...)

Checking definitions is way easier than proving stuff! I promise!

TL;DR: Yes, formal verification is cool and everything, but cryptographers should still check each other's definitions 🤷 (And not only the ones in the paper. Also the ones in the actual code!)

What do you mean by garbage? Hasn't the policy always been to accept anything that remotely resembles a paper about crypto?

It dings you for having coauthors.

Asiacrypt camera-ready?

Also very interesting to see the different attitudes towards review load per PC member and subreviewing across various communities.