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. Joined May 2014-
Tweets48
-
Followers106
-
Following111
-
Likes147
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
Grinsekatz @ZombBi
816 Followers 4K Following Wollen Sie mir gütigst sagen, warum Ihre Katze so grinst? Es ist eine Grinse-Katze, darum!
TRCV/7/ @andreitrcv
47 Followers 3K Following
Said Musaev @saidmgani
423 Followers 725 Following I make systems📱🖥️💻⌚️. Work at @apple . Views are my own. [email protected] @saidmgani.bsky.social
0xKitetsu.eth | For H... @0xKitetsu
957 Followers 4K Following -prev: zk engineer @powdr_labs - Web3 Security Researcher - interested in Verifiable computation, cryptography
Nshow 🇸🇮🦅�... @Nshoweth
5K Followers 1K Following @TuruGlobal @BabyTuruNFT @UnClaimed_FOM #AntaraMovieNFT 🐪 @ArabianCamels 🐪 #Ordinals Vanguard of @YokaiAvengers 🤌💎
Baby Turu NFT $BBT @BabyTuruNFT
3K Followers 627 Following TRON OG - $BBT available at https://t.co/0tsVMdSrYv 🐦 Telegram: https://t.co/ojrcQErbbV 🦅🌍 https://t.co/YfJthsoc3s 🐦 CA : TGyZUWrL97mmmYJwrC7ZCLVrhbzvHmmWPL
houzzz @houzzz3
4 Followers 330 Following
ISEC TU Graz @isec_tugraz
135 Followers 70 Following WE ARE ISEC: The Institute of Information Security at @tugraz Find us elsewhere: https://t.co/GEsv7GW488
Lesly-Ann Daniel @LeslyAnnDaniel1
218 Followers 250 Following Postdoc @ KU Leuven Formal methods & HW/SW security No longer on Twitter Mastodon: @[email protected] Bluesky: @lesly-ann.bsky.social
Vennela A @vennela_ad28301
37 Followers 271 Following Space Science and Engineering GTS 2023 Director Specialist in Automobiles, Space Science and Engineering
Robert Schilling @Razer6
350 Followers 781 Following Security Architecture at Rivos Inc. loves coffee & whisky. Opinions are my own and not the views of my employer.
kwado @seekaddo
420 Followers 726 Following Embedded software engineer | work hard | be nice and buy #btc. cancer survivor
Richard Heinz @heirim12
6 Followers 109 Following
Ernesto Martínez Gar... @ecomaikgolf
302 Followers 1K Following PhD student in Computer Security @ ISEC TUGraz // CTF @ LosFuzzys
Thomas Reichel @ThomasR97080886
3 Followers 111 Following
Hosein Hadipour @HoseinHadipour
104 Followers 109 Following I like to sit on top of a mountain at sunset, free from restrictions, and behold the sun going down below the horizon.
Akilesh Kannan 🥢 @aklsh22
358 Followers 7K Following comp arch, os, security, ic design. engineer @nvidia. (past) undergrad @iitmadras. tweeting in personal capacity.
Flo skyOSINT @skytimesx64
814 Followers 3K Following #coding #infosec #ctf dev x poly #sports chasing the #forces of nature Libéralité Philosophie
Peter Grassberger @PeterTheOne
1K Followers 4K Following he/him | #webdev #politics #ethereum | @piratenparteiat @PiratenGraz @lab10collective @MinervaWallet @realraum @CryptopartyGraz PGP: https://t.co/QHTivYY6dY
bub0r @bub0r
18 Followers 190 Following
Alireza Farhadi @AlirezaTCS
53 Followers 5K Following دع التکاسل تغنم فقد جری مثل که زاد راهروان چستی است و چالاکی
A P @Ap714Ap
5 Followers 55 Following
Steuerfreie Zukunftss... @steuerfreie
7 Followers 125 Following Die Steuerfreie-Zukunftssicherung kann jeder Dienstnehmer in öffentlichen Institutionen bis zu 300 Euro im Jahr steuerfrei in Anspruch nehmen.
Yusuke Abe @yuusukeabe306
268 Followers 5K Following I am a child abuse survivor since 3 yrs old Trying escape from PTSD symptoms and semi forced wrong meds (both cause delirium). Save by Saint Kolbe spirit.
Daniel Kales @DanielKales
110 Followers 59 Following
Alexander Steinmaurer @XandaBash
119 Followers 282 Following PhD in CS | Computer Science Education | Researcher/Lecturer at IT:U Austria
Mischa Spiegelmock @spiegelmock
832 Followers 2K Following From Berkeley ✧ https://t.co/j7WGgtHTDK ✧ @JetBridge
Roderick Bloem @RoderickBloem
337 Followers 152 Following
Chou Chun You @JunYouChou
46 Followers 2K Following
Aaron Kaplan (@aaronk... @_aaron_kaplan_
737 Followers 2K Following All opinions are mine and not necessarily those of my employer. mastodon: @[email protected]
Soham Sinha @soham_music
256 Followers 859 Following CS (Systems) Researcher | PhD, Boston University Senior Systems Software Engineer, Nvidia Lives off music; loves discussing economics, politics and Bengal
Herbert Mühlburger @hmuehlburger
702 Followers 2K Following 🚀 CEO & Founder of AI-Trust ZT #SoftwareEngineer 👨🏻💻 PhD candidate @tugraz in #AI and #DeepLearning for #InfoSec #Testing
Nikolaus Grogger @foebe2
4 Followers 37 Following
alan souza @vbsouzabr
43 Followers 5K Following
44hsfa1 @44hsfa1
1 Followers 219 Following
Stefan More | @stefan... @stefanmore
264 Followers 243 Following Postdoc at @ISEC_tugraz | moved to https://t.co/UUPDFR0aLB
Andreas Kogler @0xhilbert
607 Followers 258 Following Security Researcher | Informatics PhD | Alumni @tugraz | Pwnie Award 2022 | BlackHat Speaker | Power Analysis | Fault Attacks | μ-Architectural Attacks
K W @__kaydoubleu__
80 Followers 88 Following #DigDeeperToJumpHigher & #TogetherIsBetter 😉 h4xx0p @LosFuzzys 😊
Benedikt Maderbacher @bmaderbacher
22 Followers 93 Following Computer Science PhD Student @TUGraz formal methods and programming languages nerd
TU Graz Library and A... @bib_tugraz
197 Followers 185 Following Support and events on topics related to scientific publishing, reference management, library services and more.
mrragava @mrragava
221 Followers 5K Following
Peter Lorenz @cs_peter_lorenz
131 Followers 1K Following Post-Doc @NTUsg Past: @UniHeidelberg @OptML_MSU @MITIBMLab @TUGraz https://t.co/YUwZiCVWhv
Computer Science & Bi... @tugraz_csbme
2K Followers 225 Following Faculty of Computer Science and Biomedical Engineering at @tugraz, Host of #cstalks
Stefan Pranger @stpranger
35 Followers 480 Following
Pietro Borrello @borrello_pietro
3K Followers 608 Following Security Researcher | PhD @SapienzaRoma | Pwner at @TheRomanXpl0it and @mhackeroni | https://t.co/g77o9Ojdjf | https://t.co/q5KZ4e8wkX
Ernesto Martínez Gar... @ecomaikgolf
302 Followers 1K Following PhD student in Computer Security @ ISEC TUGraz // CTF @ LosFuzzys
Robert Schilling @Razer6
350 Followers 781 Following Security Architecture at Rivos Inc. loves coffee & whisky. Opinions are my own and not the views of my employer.
Hosein Hadipour @HoseinHadipour
104 Followers 109 Following I like to sit on top of a mountain at sunset, free from restrictions, and behold the sun going down below the horizon.
USENIX Security @USENIXSecurity
12K Followers 146 Following USENIX Security '23 is SOLD OUT. The event has reached maximum physical capacity, and we will not be able to accommodate any additional registrations.
Andreas Zeller @AndreasZeller
9K Followers 220 Following Software researcher at @CISPA. Testing and analyzing software for a better world. Find me at @[email protected] or @[email protected].
Yang Zhang @realyangzhang
2K Followers 431 Following Faculty at @cispa working on trustworthy machine learning (safety, privacy, and security), misinformation, and memes. Father. My tweets are my own.
Nicolas Papernot @NicolasPapernot
10K Followers 639 Following Security and Privacy of Machine Learning @Uoft @VectorInst @Google 🇫🇷🇪🇺🇨🇦 Co-author https://t.co/VJF39DQPCu; @CentraleLyon + @PSUEngineering alumnus. Opinions mine
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Mathias Payer @gannimo
8K Followers 388 Following Securitatis inquisitor and professor at @EPFL_en leading the #HexHive 🐝 group, focusing on system/software security. @[email protected] (he/him)
IACR @IACR_News
12K Followers 4 Following The International Association for Cryptologic Research (IACR) is a non-profit scientific organization in the field of cryptology and related fields.
Marcel Böhme👨�... @mboehme_
6K Followers 1K Following Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: https://t.co/BRnFNNgynB
Thorsten Holz @thorstenholz
7K Followers 363 Following Faculty at @CISPA, focussing on computer/systems security. My tweets are my own. Mastodon: @[email protected]
ACM CCS 2025 @acm_ccs
6K Followers 0 Following ACM Conference on Computer and Communications Security
lowRISC @lowRISC
7K Followers 125 Following lowRISC® is a not-for-profit engineering company that creates and maintains commercial-grade open silicon designs through its collaborative Silicon Commons
NXP @NXP
61K Followers 2K Following NXP Semiconductors (Nasdaq:NXPI) is a world-class, Nasdaq-100 technology company. Our Privacy Policy: https://t.co/uPdpTfB8jj
Margie Ruffin @Mmae16
209 Followers 331 Following Spelman College C/O '20 Computer Science Ph.D. Student @IllinoisCS
Akilesh Kannan 🥢 @aklsh22
358 Followers 7K Following comp arch, os, security, ic design. engineer @nvidia. (past) undergrad @iitmadras. tweeting in personal capacity.
Know Center @Know_Center
731 Followers 146 Following We are the leading European innovation and research center for trusted AI and Data Science.
exo @exokortex
21 Followers 97 Following
Alexander Steinmaurer @XandaBash
119 Followers 282 Following PhD in CS | Computer Science Education | Researcher/Lecturer at IT:U Austria
Zvonimir Rakamaric @rakamaric
635 Followers 630 Following
Nikolaj Bjorner @BjornerNikolaj
1K Followers 317 Following
ByteSizeArxiv @ByteSizeArxiv
23 Followers 15 Following We are on a mission to make it easy for you to stay up to date with cutting edge research. Whitepapers auto-summarized daily. Sign-up for our newsletter!
Andreas Kogler @0xhilbert
607 Followers 258 Following Security Researcher | Informatics PhD | Alumni @tugraz | Pwnie Award 2022 | BlackHat Speaker | Power Analysis | Fault Attacks | μ-Architectural Attacks
Computer Science & Bi... @tugraz_csbme
2K Followers 225 Following Faculty of Computer Science and Biomedical Engineering at @tugraz, Host of #cstalks
The Keccak Team @KeccakTeam
894 Followers 1K Following
TU Graz Library and A... @bib_tugraz
197 Followers 185 Following Support and events on topics related to scientific publishing, reference management, library services and more.
Benedikt Maderbacher @bmaderbacher
22 Followers 93 Following Computer Science PhD Student @TUGraz formal methods and programming languages nerd
Stefan Pranger @stpranger
35 Followers 480 Following
VLO group Graz @VLOgroupGraz
133 Followers 373 Following Vision, Learning & Optimization group, Institute of Computer Graphics and Vision, @tugraz
Robert Primas @RobertPrimas
86 Followers 59 Following Research Scientist at Intel Labs. Working on (post-quantum) cryptography, hardware design, and side-channel analysis.
Brandon Falk @gamozolabs
21K Followers 278 Following I find and exploit 0day, develop OSes, hypervisors and emulators, design massively parallel data structures and code, and do precision machining! Optimization❤️
Yanick Fratantonio (@... @reyammer
7K Followers 727 Following Senior Research Scientist @ Google. Prev: Prof @EURECOM, Cisco Talos, DEFCON CTF Org. MOBISEC class: https://t.co/xPcWDxIcNo, Shellphish/NOPS hacker. Tweets mine.
TU Graz @tugraz
6K Followers 1K Following News for international scientists, students and media from Graz University of Technology. #science #passion #technology Imprint: https://t.co/59FaMnQ0j8
Grant Sanderson @3blue1brown
411K Followers 362 Following Pi creature caretaker. Contact/faq: https://t.co/brZwdQfdif
Georg @jmpzero1
31 Followers 209 Following SW Developer, Retro Gamer and sometimes I do sports as well
Daniel Moghimi @flowyroll
3K Followers 343 Following Senior Scientist @Google. Computer and Hardware Security. Tweets are mine and not my employer's. #downfall Previously: @UCSD @Qualcomm @WPI @TalosSecurity
m1ckey @m1ckey______
45 Followers 398 Following
The Tor Project @torproject
455K Followers 2K Following 🦋 https://t.co/bX77YnBKhO We're a nonprofit defending privacy & freedom online. Download Tor Browser: https://t.co/ROuSDYAs6F
DuckDuckGo @DuckDuckGo
2.7M Followers 4 Following Independent online protection company. Get our mobile & desktop browser with protections built-in, including our search engine that doesn't track you.
@meisterluk@mathstodo... @meisterluk
242 Followers 4 Following
Jo Van Bulck @jovanbulck
1K Followers 100 Following Postdoc @KU_Leuven | Trusted Computing & Side-Channel Attacks | #IntelSGX #Foreshadow #ZombieLoad #LVI #SGXStep
Anders Fogh @anders_fogh
3K Followers 543 Following Don't for get the Jacobian. Opinions are mine. Interested in improving IT-Security. Intel employee. This is a personal account, opinions are mine.
Catalin Cimpanu @campuscodi
107K Followers 2K Following Parked account. I don't usually post here on a regular basis. Cybersecurity reporter. Check me out on BlueSky and Mastodon.Trends for United States
You might like
