So sieht die #coronavirus-Betreuungseinrichtung in der Messe Wien von innen aus. 880 Betten stehen ab heute bereit, Kapazitäten können im Bedarfsfall weiter ausgebaut werden. Im Endausbau Betreuung durch 1.000 MitarbeiterInnen. Alle Infos: wien.gv.at/presse/2020/03… #wien (c) Jobst

"Take A Way" checks out. Here's data on a Piledriver showing the access times of A followed by B, based on the uTags of the addresses. Interestingly, the background noise in 8-byte accesses seems to really drop at x=128 and beyond. Might be prediction logic?

'Spot the Red Flags' If a video/photo seems surprising or outrageous, there might be more than meets the eye. Find out: who published it? When was it published? If it’s an image, try a reverse image search on TinEye.com. More #DataDetox tips: datadetoxkit.org

The call for papers for #CHES2021 is now online: ches.iacr.org/2021/callforpa…. Looking forward to many interesting submission!

TIL that memset in C can just ignore what you told it to do, if it feels like that is unnecessary: gcc.gnu.org/bugzilla/show_…

#ePrint Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs: B Gigerl, V Hadzic, R Primas, S Mangard, R Bloem ia.cr/2020/1294

We're hiring a tenure-track professor in security & privacy TU Graz. If you're interested, or know someone, or you're unsure whether you should apply: DM is open. Application deadline is November 26.

I am looking for a PhD Student or Postdoc to join my research group at TU Graz. You will do fundamental research in the H2020 project FOCETA (Foundations for continuous engineering of trustworthy autonomy) where we research new methods for formal methods for machine learning.

Here comes a very recent publication from our friends at TU Graz 🇦🇹 led by Stefan Mangard in which they use IBEX 🐐to test their ideas. You can find their paper "COCO: Co-Design and Co-Verification of Masked Software Implementations on CPUs" here: eprint.iacr.org/2020/1294.pdf

I presented our masking verifier Coco-Alma [eprint.iacr.org/2020/1294.pdf] at TalTech - Tallinn University of Technology SAFEST workshop. It verifies power side-channel resistance of software on CPUs or masked hardware designs. You can try it at [github.com/IAIK/coco-alma]. Thanks Samuel Pagliarini for inviting me.

I'm looking for 2 postdocs on micro-architectural security to work with me in beautiful Lille: - Postdoc 1: knowledge of program analysis appreciated - Postdoc 2: knowledge of gem5 appreciated Contact me if interested and please RT :)

The CAV 2021 Proceedings are online and can be found here: link.springer.com/book/10.1007/9… The editors are our amazing conference co-chairs Alexandra Silva (UCL-CS PPLV) & Rustan Leino (Amazon Automated Reasoning Group)! #cav21 #openaccess

We are happy to announce our institute’s @MariaEichlseder received an ERC Starting Grant from European Research Council (ERC) for her project "KEYLESS"! 🎉 It will explore new research directions on keyless cryptographic functions to improve efficiency and security. 📷 by Lunghammer TU Graz

Congratulations to Johannes Haring, Vedad Hadžić and Roderick Bloem for winning the Best Paper Award at IACRches in Halifax! 🎉 “Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches” 👇👇 ches.iacr.org/2024/papers-is… #CHES24 #cryptography #conference #pdh

PhD Candidate Vedad Hadžić was remotely giving a tutorial at IACRches last week! 🖥️ “Design and Verification of Side-Channel Resistant Implementations” ℹ️ ches.iacr.org/2024/tutorials… #cybersecurity #CHES24 #sidechannels #informationsecurity