Mate Soos

@SoosMate

Hacker, security architect, and researcher. Hobbies: SAT solving/counting, accident investigations, symbolic execution, rc modeling, art.

Berlin msoos.org Joined June 2011

515 Following 1.2K Followers 4.9K Posts

Latest posts 5

Mate Soos @SoosMate 5d

I'll be talking in 5 minutes at the Security Hub! Come, it'll be fun!!

thedao.fund Verified account @thedaofund Nov 2

Friday, November 6

09:00–10:00 | Networking

10:00–10:20 | How to Start a Career in Security
@0xFlint_

10:30–11:00 | Clauditing: Using Agents to Supercharge Your Understanding
@sick_nerdballer & @DavitBuilderD, @ConsensysAudits

11:10–11:30 | PQ: Ready Before the Master Key
@poojaranjan19, @ECHInstitute

13:30–14:00 | The Death of Bug Bounty
Fireside chat with @ConsensysAudits, @HackenProof and others.

14:10–14:30 | Why Everything Matters for Wallet Security
@walletbeat team

14:30–15:30 | Closing the Hub: Learnings and Next Steps

View quoted post on X

Mate Soos @SoosMate Nov 1

Crap, Juan Atkins has passed away. I didn't know of him, the father of modern techno, until I saw a talk at Transmediale by DeForrest Brown, Jr. and Ari Benjamin Meyer: transmediale.de/en/event/the-g…

Most people will recognize it, but not know where it's from: open.spotify.com/track/2SAxKE5i…

Mate Soos @SoosMate Oct 30

If you hear people talking about technical stuff regarding the Binance hack, it's likely nonsense. The trinity of security is: people, process, technology. In that order. Always. So, ask about the people + process first. You'll see that the technology is just a detail.

Mate Soos @SoosMate Oct 27

My take on OpenAI’s ETH paper, as someone who spent nearly 20 yers on SAT: I don’t care about worst case analysis. That’s not what SAT solvers do. They do average case.

Doing analysis of average case is HARD. But it’s what matters. Rest is ivory tower stuff. Not for me.

Mate Soos @SoosMate Oct 14

Vincent Dumestre is an absolute genius, I love "Chansons d'Autrefois & Chemins de Mélancolie" by Le Poème Harmonique / Vincent Dumestre