Vedad Hadžić
@duxcode
PhD candidate of Formal Methods and Information Security @tugraz. Formal verification of side-channel resistance in hardware. Proud alumni of @LosFuzzys.
You might like
We are happy to announce our institute’s @MariaEichlseder received an ERC Starting Grant from @ERC_Research for her project "KEYLESS"! 🎉 It will explore new research directions on keyless cryptographic functions to improve efficiency and security. 📷 by Lunghammer TU Graz
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
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
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 @alexandra8silva (@ucl_pplv) & Rustan Leino (@amazon Automated Reasoning Group)! #cav21 #openaccess
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 :)
I presented our masking verifier Coco-Alma [eprint.iacr.org/2020/1294.pdf] at @TallinnTech 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.
#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
Here comes a very recent publication from our friends at TU Graz 🇦🇹 led by @StefanMangard 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
This #GTA3 #reverseengineering project is totally amazing! eurogamer.net/articles/2021-…
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.
We're hiring a tenure-track professor in security & privacy @tugraz. If you're interested, or know someone, or you're unsure whether you should apply: DM is open. Application deadline is November 26.
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_…
The call for papers for #CHES2021 is now online: ches.iacr.org/2021/callforpa…. Looking forward to many interesting submission!
'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
"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?
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
United States Trends
- 1. #WWERaw 97.4K posts
- 2. Packers 57.7K posts
- 3. Packers 57.7K posts
- 4. Jordan Love 8,585 posts
- 5. John Cena 82.9K posts
- 6. Jalen 18.3K posts
- 7. Patullo 5,333 posts
- 8. #GoPackGo 5,879 posts
- 9. Pistons 13.3K posts
- 10. #RawOnNetflix 2,435 posts
- 11. Jenkins 5,016 posts
- 12. #MondayNightFootball 1,437 posts
- 13. Nikki Bella 5,949 posts
- 14. Lane Johnson 1,585 posts
- 15. Desmond Bane 3,220 posts
- 16. Matt LaFleur 1,928 posts
- 17. Green Bay 13.4K posts
- 18. Gunther 6,098 posts
- 19. Grand Slam Champion 25.9K posts
- 20. AJ Brown 2,390 posts
Something went wrong.
Something went wrong.