The view from my office TU Wien this morning🌸

Thank you Byron Cook and Nikolaj Bjorner for your keynotes at the CySec kick-off TU Wien! On the top left of the slide, covering symbolic model checking, a picture of our rooftop dinner in Vienna, together with Laura Kovacs!

Maria Christakis Byron Cook CySec TU Wien The original. With Maria Christakis.

The registration for ISSTA/ECOOP'24 is now live! Early-bird rates apply until: 🗓️ July 31, 2024. 🔗 Registration: cvent.me/4PqRz9 More info: tinyurl.com/issta-ecoop24-…

Thanks for the invitation❤️ I'm honored to deliver a keynote talk at ISSTA Conference 2024. Looking forward to meeting everyone in Vienna this September!

📢 The deadline is extended to June 13!

Together with Maria Christakis, Alastair Donaldson, and John Regehr, we will be organizing a Dagstuhl seminar on "Testing Program Analyzers and Verifiers", which will take place from June 9 to June 12, 2025. Looking forward to an exciting seminar! dagstuhl.de/en/seminars/se…

Who finds potential million-dollar bugs in zero-knowledge infrastructure that's powering many layer-2 blockchains? Meet Rio, our specialized fuzzer for Linea.eth infrastructure! (linea.mirror.xyz/CQIdkJv8NcStFk…)

This is the first result of a collaborative effort between Consensys Diligence, Linea.eth, and TU Wien to catch critical bugs in ZK infrastructure! Anastasia Isychev Christoph Hochrainer Maria Christakis

Thank you all for joining #ISSTA24 and making it a success! 🎉 Special thanks to the general chair Maria Christakis without whom #ISSTA24 (literally) would not have happened ✨ yours truly, Anastasia Isychev, publicity chair of #ISSTA24👋 Yannic Noller (@yannicnoller.bsky.social), tag, you're it!

Thank you Anastasia Isychev for doing so much more than being a publicity chair! And especially for designing the beautiful conference logos!

Network meeting of female professors in Austria, with European Research Council (ERC) president Maria Leptin , here TU Wien! Very inspiring, interesting, and informative! Thanks to our dean, Gerti Kappel, for organizing!

📢3 papers accepted ASE 2024 on testing program analyzers and benchmarking Solidity fuzzers! 👉mariachris.github.io/Pubs/ASE-2024-… 👉mariachris.github.io/Pubs/ASE-2024-… 👉mariachris.github.io/Pubs/ASE-2024-…

An internship at MSR, including RiSE, is a great opportunity to work on exciting research projects and mingle with other fantastic students. jobs.careers.microsoft.com/global/en/job/…

I'm excited that our fuzzer uncovered another critical bug in the Noir zero-knowledge infrastructure, revealing a soundness issue (see github.com/noir-lang/noir…). If you're interested in fuzzing your ZK infrastructure, let's connect! Noir Kudos for the swift fix!

I am excited that our fuzzer uncovered another critical bug in the Noir infrastructure, compromising both soundness and completeness (see github.com/noir-lang/noir…). If you're interested in fuzzing your ZK infrastructure, let's connect! Noir Kudos for the swift fix!

I am thrilled that our fuzzer uncovered another critical bug in the Noir infrastructure, compromising both soundness and completeness (see github.com/noir-lang/noir…). 🔥 If you're interested in fuzzing your ZK infrastructure, let's talk! Noir Kudos for the swift fix! 👏

📢We are opening 10 PhD positions at the Vienna University of Technology (TU Wien) as part of our newly funded doctoral college on Automated Reasoning! Deadline: May 18, 2025 Start: October 2025 (or soon after) Details and application link: forsyte.at/docfunds/

I am happy our Circuzz fuzzer keeps making the Noir infrastructure more secure! Circuzz uncovered another critical bug, compromising both soundness and completeness (see github.com/noir-lang/noir…). 🔥 Noir Kudos for the swift fix! 👏 Let's make Noir 1.0 a success! 🚀

Our new fuzzer for zkVMs discovered a critical soundness bug in RISC Zero! 🔥 RISC Zero Thanks a lot for the shout-out! We're happy to contribute to making RISC Zero more safe! 🚀 Building complex ZK infrastructure? Let us help you secure it. Get in touch! ✉️