Linard Arquint

It' true, you know! Say NO to formal verification

@eeide @AndreasZeller Today I learnt 😅 But why is this then called ‚draft‘?

@AndreasZeller A lot of people who have never used HotCRP as a reviewer don't realize that "drafts" of the author response are readable by the reviewers.

As a reviewer, I once got such a text as a rebuttal. A few hours later, we got a revised version which then praised all reviewers equally.

Falls irgendjemand verwirrt ist darüber, ob die SVP etwas ganz anderes sei als die AfD. Als jüdische Schweizerin macht mir solche Hetze gegen religiöse Minderheiten enorm Angst.

@kennyog @M__Haller @IEEESSP Congratulations! Well deserved

Delighted to announce that this paper with @M__Haller and Matilda Backendal has been awarded a Distinguished Paper award at @IEEESSP 2023! 🎉🎉

Excited to be in San Francisco to present our paper at IEEE Symposium on Security and Privacy (S&P '23), bridging the gap between (Tamarin) protocol models and implementations (verified using Gobra & VeriFast). Hit me up if you want to know more! Thanks a lot to my co-authors!

The winners of the VerifyThis 2023 competitions are: Jean-Christophe Filliatre and Andrei Paskevich for List Reversal, Linard Arquint and Joao Carlos Mendes Pereira, for Gobra: first class predicates, ...

The program for IEEE S&P 2023 is now available -- ieee-security.org/TC/SP2023/prog…. Take a look for all the amazing work that will be appearing at the conference.

@zornsllama Likewise!

@zornsllama All the best for your new position! It was certainly not an easy decision

„Software is terrible. And big!“. Prof Jung about the challenges and how computers are changing.

Why is USENIX the only conference not able to provide DOIs or at least reasonably short URLs for published papers? This just caused unnecessary overhead to keep links in references while uploading to arXiv that apparently does not know how to line-break URLs

@__wi @VMI_ETH @CSatETH @ETH @ETH_en I‘ve actually no idea

@LinardArquint @VMI_ETH @CSatETH @ETH @ETH_en Is that a Viper?

Enjoying a great day with @VMI_ETH around Schildhorn @CSatETH @ETH @ETH_en #summerretreat #twinterlaken #gobra

Denmark's July 4, 2022 mass shooting was their first mass shooting since 1994 The July 4, 2022 Highland Park mass shooting was USA's first mass shooting since the July 4, 2022 Richmond mass shooting 1 mass shooting every 30 years vs 1 mass shooting every 3 hours. Gun Laws WORK

@BsBsc @btc We're a university, not a crypto currency 😉 #ServiceTweet

The state of machine learning on iOS in 2022 is: HomeKit thinks there is a vehicle in my bedroom. It's a Roomba. Vroom vroom little guy

incredible things are happening in Europe

@__wi In case the link leads to a login prompt (as it does for me), you can find Arshavir‘s thesis in the full publication list here: pm.inf.ethz.ch/publications0.…

@__wi Awesome, congratulations!🍾

Final version submitted!

Inspired by what he had seen in the USA 🇺🇸, our Prof. emeritus Niklaus Wirth decided to get creative himself. Find a blast from the past behind door No. 8. bit.ly/dinfkalender_8 #40yearscseth @ETH_en @SRF @ETHBibliothek @kennyog