AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Doing Engineering of Any Kind of Level of Security Is Not Easy
Security experts say matrix, the protocol and Ohm have grown organically without formal definitions of guarantees they were supposed to be giving. "I don't want to go back in time and like tell the matrix people like you should have had like a formal model," says security expert David Boulden. But he adds that engineering is still hard and it will remain hard for full-time cryptographers who do this as their job.