Yannis Smaragdakis
@YSmaragdakis
Followers
1K
Following
210
Statuses
53
Program analysis, prog. langs researcher. Dedaub co-founder. My crypto/vulnerability activity is on @dedaub, not on this account. DO NOT DM HERE, not checking.
Athens
Joined February 2015
@SagivMooly Mooly, this is devastating. I am so sorry to hear. I hope the kidnapped return safely. Wishing you strength and to keep alive the memory of the departed.
0
0
4
Tomorrow, at the Science of Blockchain Conference (SBC'23), 4:30pm PDT, I'll present the main program analysis techniques that we've been using at @dedaub to discover high-value vulnerabilities. Paper here: Conference livestream:
2
3
34
@paul_snively Datalog is not mainstream but "literally 0" is false. All my company's program analyses (including the best Ethereum VM decompiler, used by 1000s each day, at are in Datalog. RelationalAI has a half-billion valuation. Souffle is in active use at AWS.
1
0
6
RT @dedaub: Dedaub's transation debugger 🐛 on Contract Library is one of the most advanced debuggers for EVM chains. Originally developed t…
0
18
0
RT @dedaub: Thrilled to be speaking at #SmartCon 2022 by #Chainlink in #NYC! SmartCon attendees will get an exclusive look into the emergi…
0
2
0
Since a few people followed me recently: all my crypto/vulnerability/Ethereum activity is on @dedaub, not on this account.
2
1
5
@dedaub @EFDevconnect So that people don't show up for the wrong thing: my Fri talk is titled "Finding High-Value Vulnerabilities with Program Analysis". I know it's classified as "category: incident response" ( but I don't plan to talk about incident response. :-)
0
0
5
@PanosJee @kouloumos Ευχαριστώ πολύ! :-) Στο Καποδιστριακό είχαμε την τελευταία πενταετία εξαιρετικό μεταπτυχιακό μάθημα blockchain από τον Κιαγιά, καθώς και πολύ καλό προπτυχιακό μάθημα κρυπτογραφίας. Πέρυσι και φέτος το μεταπτυχιακό έγινε 3-4 βδομάδες σε γενικότερο μάθημα ασφάλειας.
1
0
3
Eelco was an awesome scientist and a great friend. I'll miss him tremendously. He also took most photos of me that can be found by a web search. So, as far as many people are concerned, I exist only because I was once seen through Eelco's eyes, and lens.
Just learned the very sad news that one of our members, Eelco Visser, passed away yesterday. We are all quite saddened by this rather unexpected news of the passing of such a vibrant researcher.
1
2
42
RT @JackLongarzo: Recently security researchers including @samczsun @HRitzdorf, and @YSmaragdakis identified a vulnerability in the Fuse co…
0
23
0
RT @punk6529: 1/ On the EU Giving Up I watched a panel on AI (machine learning) at a conference hosted by the European Commission. 9 peop…
0
2K
0
RT @dedaub: A few days ago we disclosed one of the largest vulnerabilities. Ever. The disclosure helped protect @MultichainOrg and @Fantom…
0
51
0
@HerrDreyer @ShriramKMurthi Example: Instead of saying "2. I can imagine some quite different research that I'd prefer" (BAD), say "i. The motivation isn't explained - it doesn't clearly explain why anyone should care" (GOOD).
1
0
3
Posted "Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts", to appear at OOPSLA'21 @splashcon . It's the analysis technology behind six major security vulnerabilities found and disclosed by @dedaub in 2021.
1
14
59
RT @dedaub: 1/ Dedaub has completed a study for @VitalikButerin Verkle tree integration proposal. This was commissioned by the @ethereum F…
0
6
0