Postdoc at @tuvienna, #CTF player with @mhackeroni, @We_0wn_Y0u and @c00kiesATvenice.

Venice, Veneto
Joined April 2015
There's a new doctor in town! Congrats to Dr. Lorenzo Veronese @310wert for successfully defending his PhD and answering tricky questions by @kcotsneb @mchri5taki5 @stecalzavara @musardballiu and @matteo_maffei 🎉 Excellent, excellent job 😌 @SecPrivTUWien @CSecCenter @tu_wien
5
3
1
40
1,808
Attack/defense training session with @310wert + filming day. Thanks to @SBA_Research for hosting us and keeping us hydrated 🌊 Follow us for more 4K content 😎 #ECSC2024 @enisa_eu @CSecCenter Teaser below. #CYBER
2
1
7
1,031
Now that we're all back and caught up on sleep it's @defcon CTF @Nautilus_CTF wrap-up time! 🐚🚩 we managed a great 6th place in a tough competition with conventional pwnage, GenAI-powered spaceships, and LiveCTF duels
2
25
4
96
11,980
It was an honor to present at @IEEESP alongside @310wert, in my first conference ever. Thanks to @blueminimal and @matteo_maffei for all the support!
Extremely proud of @310wert and @bl4ck_pwn for the great talk they gave at @IEEESSP 👏 two great young researchers are rising! @ERC_Research @tu_wien @SecPrivTUWien
2
2
21
1,765
Extremely proud of @310wert and @bl4ck_pwn for the great talk they gave at @IEEESSP 👏 two great young researchers are rising! @ERC_Research @tu_wien @SecPrivTUWien
1
3
1
23
3,113
On my way to S&P! Don’t miss @310wert and @bl4ck_pwn ‘s talk on WebSpec, our formal model to reason about browser security. arxiv.org/abs/2201.01649 And if you want to share thoughts or a beer, let me know! – at Winkel, Schweiz
4
1
23
2,631
Excited to share that WebSpec, our framework for the machine-checked analysis of browser security mechanisms, has been accepted at @IEEESSP 2023! arxiv.org/abs/2201.01649 @blueminimal @mau_tempesta @310wert @bl4ck_pwn @tu_wien @SecPrivTUWien
1
5
2
20
Introducing Snakelog: A Python DSL for Datalogs #datalog #python philipzucker.com/snakelog-po…
5
21
Just arrived in SF for @IEEESSP #secweb workshop! @beerphilipp will present our paper "The Bridge between Web Applications and Mobile Platforms is Still Broken". In this work, we discuss 2 novel attacks that stem from the interaction between websites and mobile apps. 🧵[1/4]
2
7
28
First proficiency evaluation for our @tu_wien doctoral school on Secure and Intelligent Human-Centric Technologies (SecInt)! Great team and cool collaborations at the intersection between security, verification, and machine learning!
2
15
Our new work on the intersection between Web and Mobile security has been accepted at SecWeb 2022, co-located with @IEEESSP! Paper is coming next week. Joint work with @beerphilipp @310wert & @lindorferin. This is Philipp's 1st paper, congrats! 👏 #proudsupervisors #SecWeb2022
1
5
1
27
Would you like your money to be safe in the Lightning Network even if you go off-line and do not want to pay for a watchtower? Sleepy channels come to the rescue! Check out the details in our @acm_ccs paper! eprint.iacr.org/2021/1445.pd… @tu_wien @CyLab @maxplanckpress @IMDEA_Software
Happy that the paper will appear at @acm_ccs 2022! Open a payment channel in any Blockchain based currency and go have a much needed nap whenever you want to :D @lukas_aumayr @matteo_maffei @pedrorechez and Giulio.
5
17
Very happy to finally release the game code that @oooverflow used to run @defcon Finals CTF 🎉 This was roughly the 3rd attack-defense CTF game infrastructure that I've written, so there's a lot of design principles and lessons learned that I'll share here in this 🧵 ...
3
50
7
215
Happy to co-chair the next edition of SecWeb, with Sooel Son (KAIST)! We are pleased to run again our mentorship program: if you want to volunteer as a mentee (junior PC member), fill in the following form by January 17 ---> forms.gle/sb7DY6Cx994x2acr7
Open PhD position in the @SecPrivTUWien (secpriv.wien) research unit @tuvienna! Interested to work with me on formal verification of security and privacy, blockchains, web security, applied crypto? Apply! Deadline for applications: August 12. jobs.tuwien.ac.at/Job/159834
9
15
Missed the USENIX Security deadline and you have a web security paper you would like to submit? The #secweb deadline is 50 hours away, so plenty of time for that! We also accept short papers on ongoing work and we do not force inclusion in the proceedings ;)
6
11
Super excited to announce that our paper on related-domain (aka same-site) attacks has been accepted at @USENIXSecurity '21! Congrats to my coauthors @mau_tempesta @310wert @stecalzavara @matteo_maffei 👏 Preprint soon, now let's get ready for @defcon CTF quals! @oooverflow
1
5
39
Done with Oakland and have a follow-up idea around Web Security? Know you have some time after CCS to write it down? Perfect! Send it to the 2nd #SecWeb workshop by May 28 (secweb.work/). Also note our awesome keynote lineup: Chr. Kerschbaumer and @nataliabielova
1
14
1
10