felixlinker
felixlinker@infosec.exchange
<p>🧑🎓 Postdoc in infsec+netsec @ ETHZ, researching protocol analysis and design</p>
Posts
-
View post
@rogersm Not sure whether it suits your needs, but you may want to give TLA+ a shot!
-
View post
RE: https://infosec.exchange/@sophieschmieg/117325956462424909 Great reminder to share my love for Germany&#39;s constitutional court, which effectively outlawed online voting: https://www.ndi.org/e-voting-guide/examples/constitutionality-of-electronic-voting-germany Interesting point by Sophie on repudiation attacks on online voting. Never considered that so far.
-
View post
I started to experience Google Chrome as very instable recently. I cannot help but wonder whether I am witnessing agent induced instability? Never had any issues with Chrome in all the years before. Now, text search sometimes doesn&#39;t work. The search box won&#39;t render although the browser bar indicates that I&#39;m text searching. And I regularly get rendering issues, crashing the web page and requiring a reload to fix. Not isolated to a single web page.
-
View post
@GossiTheDog loving the suppressed yawn by Merz
-
View post
https://quad9.net/news/blog/au-revoir-france/ The most ridicuolous part about the whole story in the article is that quad9 apparently tried to comply with a similar ruling in Germany by blocking certain contents to IP in Germany, but that wasn&#39;t enough for the court... What else do they want them to do?