Paul Grubbs (is a licensed ham radio operator!!!!) @pag_crypto
Assistant prof. @UMichCSE. Most recently, postdoc @NYUniversity. CS PhD from @Cornell. Formerly @SkyhighNetworks. Ugrad @IUBloomington. Call sign KE8WII web.eecs.umich.edu/~paulgrub/ New York, NY Joined January 2014-
Tweets2K
-
Followers2K
-
Following493
-
Likes2K
Thrilled to share that I will be giving a talk at RWC 2024 on the security and privacy of a new suite of telephone protocols: 'STIR/SHAKEN: A Looming Privacy Disaster'. Deeply grateful to @pag_crypto for his invaluable and ongoing mentorship throughout the research process.
Thrilled to share that I will be giving a talk at RWC 2024 on the security and privacy of a new suite of telephone protocols: 'STIR/SHAKEN: A Looming Privacy Disaster'. Deeply grateful to @pag_crypto for his invaluable and ongoing mentorship throughout the research process. https://t.co/111kJ1hId9
We have two schools colocated with Latincrypt: 1. ASCRYPTO with amazing set of speakers such as @arantxazapico @KBoudgoust @chloelono @alxdavids @daniescudero @cjpatton_ Britta Hale, Daniel Escudero, @pag_crypto, Leah Rosenbloom. Check the program: ascrypto.org/2023/
Today's my last official day at CMU, making this announcement long overdue: I'm headed to Indiana University @IULuddy this fall as an Assistant Professor of Computer Science! I'm truly thrilled to return to Bloomington as a member of the PL group that introduced me to the area.
#WAC6 talks: Quang Dao @QuangVDao presents weak Fiat-Shamir attacks on modern proof systems. One of the attacks would've allowed printing unlimited money! This is another DPA from Oakland'23 with @TheMijCipher Opal Wright @pag_crypto. More infos: cryptanalysis.fun
Congratulations to @pag_crypto and coauthors for winning the Distinguished Paper Award at the recent @IEEESSP conference! Their paper explores security risks in modern zero-knowledge proof systems commonly used in cryptocurrencies. cse.engin.umich.edu/stories/paul-g…
Yeeeehaw!
#ePrint Weak Fiat-Shamir Attacks on Modern Proof Systems: Q Dao, J Miller, O Wright, P Grubbs ia.cr/2023/691
1) Happy to announce our paper, joint with @pag_crypto @TheMijCipher and Opal Wright, to be presented at Oakland'23! In this paper, we give attacks against insecure instantiations of Fiat-Shamir, which could break soundness of several deployed blockchain protocols.
1) Happy to announce our paper, joint with @pag_crypto @TheMijCipher and Opal Wright, to be presented at Oakland'23! In this paper, we give attacks against insecure instantiations of Fiat-Shamir, which could break soundness of several deployed blockchain protocols.
I guess it's time to make it official. I am really excited about moving to Bochum and joining @ruhrunibochum and @CASA_EXC.
I guess it's time to make it official. I am really excited about moving to Bochum and joining @ruhrunibochum and @CASA_EXC.
A personal update: I will join UIUC @ECEILLINOIS in Fall 2023. Many thanks to all my colleagues and friends at A&M for your great support over the years. I'm super excited about fruitful collaborations and wonderful life at Illinois!
#ePrint Context Discovery and Commitment Attacks: How to Break CCM, EAX, SIV, and More: S Menda, J Len, P Grubbs, T Ristenpart ia.cr/2023/526
name a more iconic duo #MPLSE @ProfMaxNew
I am delighted to share my paper with @pag_crypto on simulation-extractability of Spartan & Bulletproofs, to appear at Eurocrypt 2023! A quick introduction and summary of our results. 🧵
I am delighted to share my paper with @pag_crypto on simulation-extractability of Spartan & Bulletproofs, to appear at Eurocrypt 2023! A quick introduction and summary of our results. 🧵
Check out our new results (with @QuangVDao) on the security of Bulletproofs and Spartan!
Check out our new results (with @QuangVDao) on the security of Bulletproofs and Spartan!
Surprisingly, since two (competing) providers are involved for interoperability, our protocol can offer better privacy than most intra-provider solutions: For message sent from A to B ... - A's ID is hidden towards B's provider and - B's ID is hidden towards A's provider.
Benedikt Bünz @benediktbuenz
10K Followers 728 Following Chief Scientist @espressosys ☕️ (WE ARE HIRING) Assistant Professor Computer Science @NYU_CourantMatthew Green @matthew_d_green
143K Followers 1K Following I teach cryptography at Johns Hopkins. Mastodon at [email protected] and BlueSky at https://t.co/GI4QlxYTdk.kennyog @kennyog
8K Followers 2K Following Professor of Computer Science at ETH Zurich. Views my own. Apparently in a semi-religious crypto/privacy cult. Join us! He/him.Brendan Dolan-Gavitt @moyix
25K Followers 6K Following Associate Professor @ NYU Tandon. Security, RE, ML. PGP https://t.co/3WXr0RfRkv Founder of the MESS Lab: https://t.co/zGycrX3Gmn "an orc smiling into the camera" — CLIPDeirdre Connolly¹ @durumcrustulum
6K Followers 3K Following • 🜗 🝒 🝲 crypto as in 'cryptography' 🝳 🝡 🜖 • ¹ isogenist, co-host @SCWpod, @durumcrustulum.bsky.socialChelsea Komlo @chelseakomlo
7K Followers 504 Following (Real world) cryptographer. Also at https://t.co/wLuY5u3XNoAndrew Miller @socrates1024
20K Followers 3K Following ceo of sitting quietly in my room🛡️ UIUC • SUAVE • Cycles https://t.co/uT4qFVcVFN https://t.co/ybnVCbpEeXPratyush Mishra @zkproofs
6K Followers 1K Following Current: Asst Proofessor at Penn CIS, Co-maintainer @arkworks_rs Past: Cryptographer @AleoHq, Crypto and computer security PhD @ucberkeley he/himsofía celi @claucece
7K Followers 5K Following Proud LatinAmerican • Legendary quantum lady/cryptographer • Researcher @brave • she/they • hrpc/pquip co-chair @inretafo anti-fraud @w3c @otr_im @LondonUSteve Weis @sweis
11K Followers 3K Following Security Engineer at Databricks. Interested in cryptography, information security, & privacy engineering.Martin R. Albrecht @martinralbrecht
4K Followers 478 Following Cryptography Professor @CysKCLInf and Principal Research Scientist @SandboxAQ. Erdős–Bacon Number: 6. He/him or they/them.Stefano Tessaro @StefanoMTessaro
2K Followers 531 Following Associate Professor at @UW's @uwcse. Researcher in cryptography, computer security, and theoretical CS. Verify correct twitter handle on my homepage.Nigel Smart @SmartCryptology
6K Followers 441 Following Interested in cryptography and computing on encrypted data in particular Citizen of Nowhere @[email protected] @smartcryptology.bsky.socialDavid Wong @cryptodavidw
13K Followers 2K Following founder @zksecurityXYZ & research @archetypeVC, author of Real-World Cryptography, prev: architect Mina, security lead Libra/Diem/Facebook, crypto NCCGroup𝖬𝖺𝗁𝖽𝗂 .. @mahdi_tcs
3K Followers 1K Following Theoretical CS prof@ U. Michigan-Ann Arbor. Opinions are mine & may evolve over time. r/t≠endorsement. Policy: I don't interact with anonymous profiles. he/himIttai Abraham @ittaia
4K Followers 2K Following I do research in algorithms and distributed computingComputer Science and .. @UMichCSE
3K Followers 253 Following Shaping the future through the power of computing.Kobi Gurkan @kobigurk
9K Followers 2K Following kobi.eth. applied crypto, security, experimental things. head of research @__geometrydev__, puzzler @__zkhack__, @zkpodai, validating @zkv_xyz, @cLabsisis osiris agora lov.. @isislovecruft
26K Followers 1K Following “the bay area’s only hacker”; “peter pan coded”; former quantum cosmologist. i might be a cryptographer but i'm not your cryptographer 🏳️⚧️🏴 forest dwellerKevin McCurley @mccurley
891 Followers 132 Following Migrating to tragiccommons on https://t.co/hIHIjcnYmzControl Gap Inc. @ControlGap
105 Followers 204 Following The official Twitter page for Control Gap Inc., Canada’s foremost leader in Cybersecurity.Aaronia AG @Aaronia_AG
13K Followers 15K Following Manufacturer of RF monitoring, direction finding, real-time spectrum analyzer, SDR, CUAS, IQ vector signal generator, network-analyzer, antennas, software & OEM𝙽 𝙸 𝙺 .. @nbougalis
42K Followers 102 Following Experienced executive, but engineer at heart. Cryptographer. #cplusplus wizard. Shaved head aficionado. No longer using Twitter/X.Ivan Sarno @IvanSarno
171 Followers 1K Following MSc in Cybersecurity at the University of Pisa, implementing Cryptography for fun and profit, tech enthusiast and tea lover.A. Polak @Bamboucheur
49 Followers 5K Followingفيصل @faisalbmahfoodh
23 Followers 272 Following Interested in Cryptography | MS in InfoSec @CarnegieMellon | BA in Math from @UMNews0wn Security @H3m_pin
401 Followers 724 Following Information Security | Blockchain Security #0wn #Hunt #AloneDr. Sara Moshtari @MoshtariSarah
53 Followers 194 Following Postdoctoral Fellow @uhmanoa 🌈🍀✨Research Collaborator @NIST✨ PhD @RITGolisanoCCIS, @riteslgci ✨Software Security, Attack Surface Analysis, Machine LearningGabriel Gegenhuber @GGegenhuber
201 Followers 1K Following #InfoSec enthusiast; PhD candidate @univienna; research @SBA_Research; opinions are my ownZorp @ZorpZK
3K Followers 982 Following Zorp is the Nock company. We build @nockchain, a Layer 1 proof of work blockchain built using zero-knowledge proofs. You name it, we prove it.Shonna Cruson @CrusShon
38 Followers 5K FollowingBastian Wetzel @bastian_wetzel
458 Followers 570 Following Investing @CV_Labs; backing early-stage #Web3 startups | HSG & UC BerkeleyEbony Boseman @EbonyB48980
75 Followers 5K FollowingSundara Vishnu @sundara_vishnu
49 Followers 239 Following @UMich '25 | pl, distributed systems, & math | 🏃♂️🧗♂️🚴♂️|Hafsa Padin @hafsa_pad
42 Followers 5K Following𝓶𝓪𝓷𝓼𝓪 .. @mansa_is_musa
330 Followers 472 Following built the first fully on-chain order book for evm. realized gas fees exist. working on @Squeeze_FUN 𝓶𝓪𝓷𝓼𝓪 𝓶𝓪𝓴𝓮𝓻. 萬事 = 無事olivia @olivia1482864
14 Followers 1K FollowingDavid Attermann @atterX_
3K Followers 1K Following senior portfolio manager @M31Capital | managing founder https://t.co/OmrfuUQNSU | liquid token & venture investments | web3 infrastructure & middlewareus_Rebecca_ @UsRebecca47448
23 Followers 2K FollowingJB @JB38076320
410 Followers 801 Following Academic staff - Research, @Stanford University @StanfordAIMI Affiliate Medical AI Building LLM's right now!Wei Zheng @WZ65039430
124 Followers 2K Following Prof. @JacksonStateU. Probabilistic ML & LLM, looking for postdoc and PhD candidate for newly funded projects in NLPAarav @aaravvar
41 Followers 110 Following Cryptography Research @ashokauniv. I like privacy-enhancing tools 🔫Paul Chung @pywchung
43 Followers 135 Following A Computer Science undergraduate at @WisconsinCS and a strong enthusiast for security and privacy. Views are personal.Phytal @Phytal111262
142 Followers 1K FollowingMantej Rajpal @mantej
3K Followers 607 Following cypherpunk / security engineering at Cash App / adjunct professor at NYU / cat daddy 🐈 🐈⬛Kris Diming @KrisDiming
44 Followers 171 FollowingMohamed Moustafa 🇺.. @mohamedmustfaaa
1K Followers 3K Following Incoming PhD student @dartmouth 🇺🇸|Research Intern @GaTechCyber| GUC, GIU alumnus 🇩🇪🇪🇬 |Passionate about research and entrepreneurship|ماشية بستر الله.Christopher Legel @Christophe29020
64 Followers 5K FollowingArnie Hung @HungArnie
1 Followers 86 Following艾利親 @ilqn17
10 Followers 4K FollowingDaniel Wagner @DanielW87540846
281 Followers 1K Following General Ham Radio Operator Since 2010. KC2YTIHiroki Chen @Clap4daniel
227 Followers 690 Following 🏳️🌈 | InfoSec | Cryptography & TEE & System | C++, Rust | Incoming CS PhD student @ IUBGanxiang Yang @P4leWa1ker
98 Followers 313 Following Incoming CS Ph.D. @Columbia | Senior Undergraduate @sjtu1896 | ACM Honors Class | systemMatthew Hardeman @mdhardeman
1K Followers 1K Following Software developer. Sysadmin. Into: interconnection, telephony, net engineering, comm. infra., security, snark, birds. 🦝 Also @[email protected]Mif @MrcokieMr19
9 Followers 91 FollowingMatthew Green @matthew_d_green
143K Followers 1K Following I teach cryptography at Johns Hopkins. Mastodon at [email protected] and BlueSky at https://t.co/GI4QlxYTdk.kennyog @kennyog
8K Followers 2K Following Professor of Computer Science at ETH Zurich. Views my own. Apparently in a semi-religious crypto/privacy cult. Join us! He/him.IACR @IACR_News
11K Followers 4 Following The International Association for Cryptologic Research (IACR) is a non-profit scientific organization in the field of cryptology and related fields.Deirdre Connolly¹ @durumcrustulum
6K Followers 3K Following • 🜗 🝒 🝲 crypto as in 'cryptography' 🝳 🝡 🜖 • ¹ isogenist, co-host @SCWpod, @durumcrustulum.bsky.socialAndrew Miller @socrates1024
20K Followers 3K Following ceo of sitting quietly in my room🛡️ UIUC • SUAVE • Cycles https://t.co/uT4qFVcVFN https://t.co/ybnVCbpEeXPratyush Mishra @zkproofs
6K Followers 1K Following Current: Asst Proofessor at Penn CIS, Co-maintainer @arkworks_rs Past: Cryptographer @AleoHq, Crypto and computer security PhD @ucberkeley he/himsofía celi @claucece
7K Followers 5K Following Proud LatinAmerican • Legendary quantum lady/cryptographer • Researcher @brave • she/they • hrpc/pquip co-chair @inretafo anti-fraud @w3c @otr_im @LondonUSteve Weis @sweis
11K Followers 3K Following Security Engineer at Databricks. Interested in cryptography, information security, & privacy engineering.Martin R. Albrecht @martinralbrecht
4K Followers 478 Following Cryptography Professor @CysKCLInf and Principal Research Scientist @SandboxAQ. Erdős–Bacon Number: 6. He/him or they/them.Stefano Tessaro @StefanoMTessaro
2K Followers 531 Following Associate Professor at @UW's @uwcse. Researcher in cryptography, computer security, and theoretical CS. Verify correct twitter handle on my homepage.henry 🌘 @hdevalence
12K Followers 1K Following prefigurative politics means building privacy, not just critiquing surveillance // building @penumbrazone // https://t.co/MWVpH6ZbWU // (he/him)Nigel Smart @SmartCryptology
6K Followers 441 Following Interested in cryptography and computing on encrypted data in particular Citizen of Nowhere @[email protected] @smartcryptology.bsky.socialSteven Galbraith @EllipticKiwi
4K Followers 135 Following Mathematics of public key cryptography and some other things.David Wong @cryptodavidw
13K Followers 2K Following founder @zksecurityXYZ & research @archetypeVC, author of Real-World Cryptography, prev: architect Mina, security lead Libra/Diem/Facebook, crypto NCCGroup𝖬𝖺𝗁𝖽𝗂 .. @mahdi_tcs
3K Followers 1K Following Theoretical CS prof@ U. Michigan-Ann Arbor. Opinions are mine & may evolve over time. r/t≠endorsement. Policy: I don't interact with anonymous profiles. he/himArvind Narayanan @random_walker
119K Followers 412 Following Princeton CS prof. Director @PrincetonCITP. I write about the societal impact of AI, tech ethics, & social media platforms. BOOK: AI Snake Oil. Views mine.Computer Science and .. @UMichCSE
3K Followers 253 Following Shaping the future through the power of computing.isis osiris agora lov.. @isislovecruft
26K Followers 1K Following “the bay area’s only hacker”; “peter pan coded”; former quantum cosmologist. i might be a cryptographer but i'm not your cryptographer 🏳️⚧️🏴 forest dwellerJustin Thaler @SuccinctJT
5K Followers 71 Following Research Partner @ a16z crypto Associate Professor of CS at Georgetown.mjos\dwez @mjos_crypto
4K Followers 666 Following ..often the only visitor to labs whose researchers are not 100% sure if they are doing something very, very secret or just something very few people care about.Jim Miller @TheMijCipher
342 Followers 151 Following Engineering Director for Cryptography at Trail of BitsDr Eleanor Janega @GoingMedieval
82K Followers 3K Following medieval historian, co-host @wnsdpod and Gone Medieval George Michael stan she/her The Once and Future Sex out NOW https://t.co/hDwvrz3Qw7 Agents @inkwellmgmtThe Simpsons @Simpsons_tweets
453K Followers 47 Following One of the most cromulent accounts about the Simpsons. Instagram - https://t.co/rykqVEIByxvery tall bart @TallBart
83K Followers 1K Following why is bart so tall? boyfriend: @cabinworm check out: @transpanicblogSanchari Das @DrSanchariDas
2K Followers 1K Following Asst. Prof @RitchieSchool |PhD @IndianaUniv |security, privacy, HCI, AR/VR, accessibility |Org(Past):@ParityTech @xrsidotorg @AmericanExpress |🐦- ownTom Ammon @tomammon
234 Followers 543 FollowingMeredith Whittaker @mer__edith
92K Followers 4K Following President of @signalapp, Chief Advisor to @ainowinstitute (Also on Mastodon @[email protected], also on bsky @meredithmeredith.bsky.social)Maggie Makar @Maggiemakar
4K Followers 627 Following Assistant prof @umichcse. Previously @MIT_CSAIL. Machine learning. Causal models. Healthcare. Swimming. @[email protected] Opinions are my own.Sciuridae Michigania @ArborSquirrel
1K Followers 789 Following I'm a squirrel in Ann Arbor, a town that takes its squirrels seriously. On UM campus, no less. It's a good life. I'll take that peanut from you now good sir.Lynn Chamberlain @peace_love_om
165 Followers 299 FollowingRyan Huang @ryanphuang
943 Followers 344 Following Associate Professor at the University of Michigan CSE. Enjoy building and researching computer systems.Jeremy Epstein 🇨�.. @jeremyinfosec
991 Followers 444 Following Cybersecurity guy, day job @NSF (tweets are mine), @SWSISsec founder, chair @ACM @USTPC. Chocolate fiend. He/him. Mastodon @[email protected]In Our Time @BBCInOurTime
48K Followers 652 Following BBC Radio 4 discussion programme presented by Melvyn Bragg. 9am (9.30pm rpt) on Thursdays, Sept-July.David Zinn @davidzinn_art
32K Followers 145 Following Habitual doodler and street artist, wrangling ephemerality and finding uplift underfoot.Somesh Jha @jhasomesh
4K Followers 884 Following Professor of Computer Science and a music lover. Interested in formal methods, security, and Trustworthy ML. Oh yes, and classical music and jazz.ᴘᴀᴠʟᴏᴠ ᴛ.. @PAVGOD
279K Followers 657 Following ˢʰᵒʳᵗ & 𝕗𝕝öö𝕗𝕪 | Follow to own .0001% of @PavlovTheCorgi & Maslow | Content by @PAVDAD & @tramelayne | SUBSCRIBE for bonus access ⤴️A2 Farmers Market @a2market
7K Followers 248 Following Providing local farm and artisan products to our community since 1919!Peter Honeyman @a2_peter
958 Followers 411 Following overtweeting #A2Council meetings twice a month since 2013. a.k.a. @peterhoneyman.Srinath Setty @srinathtv
2K Followers 487 Following Principal Researcher at Microsoft Research (@msftresearch)Bret Devereaux @BretDevereaux
43K Followers 412 Following Ancient & military historian specializing in the Roman economy and military. PhD @UNChistory. More impressive credential is that I have beaten Dark Souls.Yizheng Chen @surrealyz
1K Followers 405 Following Assistant Professor @CollegeParkMC2 | Alumnus @Berkeley_EECS @ColumbiaCompSci @gatech_scsweird medieval guys B.. @WeirdMedieval
686K Followers 159 Following by @olivia__ms // listen to my podcast with @aranptappers and ORDER MY BOOK OUT NOW // [email protected] for enquiriesEmma Dauterman @emmadauterman
221 Followers 130 Following EECS PhD student @UCBerkeley, crypto + systems https://t.co/KuzBPFw1cEdepths of wikipedia! @depthsofwiki
880K Followers 4K Following Hello I am @anniierau Please take away my blue check! I did not ask for it!Max ⊶ New @maxsnew@.. @ProfMaxNew
1K Followers 225 Following Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️Yang Du @youngyangdu
37 Followers 55 Following Ph.D. student @UMich @UMichCSE, interested in applied cryptography, secure and trustworthy system, algorithms.Cyrus Omar @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu 🌿 assistant professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crewLorenzo Franceschi-Bi.. @lorenzofb
53K Followers 3K Following Real-time historian of the late cyber capitalist era @TechCrunch. Writing a book on Hacking Team and the industry of government spyware. ☎️ +1 917 257 1382Ann Arbor AF Podcast @AnnArborAFpod
521 Followers 1 Following Ann Arbor AF podcast. We discuss current events in local politics and policy, governance, and other civic good times. Cohosted by @jessicaletaw and @mollyali.Damn Arbor @damnarbor
4K Followers 185 Following Award winning local journalism covering Ann Arbor and Ypsilanti.Scott Trudeau @sstrudeau
2K Followers 1K Following CTO/all-hats at Listings Project - AADL Trustee - aspiring synth dad - fietser - buses, bikes & buildings - he/him @[email protected]Archaeo - Histories @archeohistories
554K Followers 51 Following History is an unending dialogue between present and the past, that's why few pages of history give more insight than all the metaphysical volumes. (24)Wei Hu @weihu_
2K Followers 1K Following Assistant professor @UMich; previously @UCBerkeley @Princeton @Tsinghua_Uni. Building the theoretical and scientific foundations of deep learning.Julie Weatherbee @juliewbee
3K Followers 2K Following I tweet about Ann Arbor, urban planning, lost things, and whatever catches my eye. Warning, I tweet City Council meetings twice/month (#A2Council). she/her/hersJoseph Cox @josephfcox
88K Followers 3K Following Hacking/crime/privacy journalist. Author of forthcoming DARK WIRE. Co-founder of @404mediaco. Signal: +44 20 8133 5190. Email: [email protected]No Context Bob's Burg.. @nocontext_bobs
144K Followers 18 Following Run by @multiverseradio, home of Burger Of The Week: A #BobsBurgers Podcast! 🍔🎙️🎧 Other account: @nocontexttgpQuang Dao @QuangVDao
425 Followers 1K Following PhD student @SCSatCMU. Interested in zero-knowledge proofs and post-quantum cryptography. Previously @UMich, @ColumbiaJustine Zhang 🐘 @t.. @tisjune
2K Followers 741 Following i study conversations‽ she/her | assistant prof @umsi | phd @CornellInfoSci | postdoc & ugrad @Stanford cs | spells as a canadianFinally gave my inaugural lecture at @UniFAU today. The audience even laughed about my jokes 🤓
🏆 We're thrilled to announce the recipient of the 2023 #ACMTuringAward: Avi Wigderson! Wigderson is recognized for his foundational contributions to the theory of computation. Join us in celebrating his incredible achievements! Learn more here: bit.ly/4aGpbiM @the_IAS
Today the Israeli academia marched in Jerusalem together with tens of thousands of Israelis, calling to overthrow the government and for an immediate hostage deal to bring them home now! We will not stop our struggle for a better future.
So excited to make ML models more reliable using causal reasoning. LET'S DO THIS! Also: *could not* have done this without support from my students, @UMichCSE, @michigan_AI, and UM eHAIL. I am so grateful
Delighted to congratulate Prof. @Maggiemakar for receiving the 🌟NSF CAREER🌟 Award!👏 Title: “From Fragile to Fortified: Harnessing Causal Reasoning for Trustworthy Machine Learning with Unreliable Data”.
Thrilled to share that I will be giving a talk at RWC 2024 on the security and privacy of a new suite of telephone protocols: 'STIR/SHAKEN: A Looming Privacy Disaster'. Deeply grateful to @pag_crypto for his invaluable and ongoing mentorship throughout the research process.
The program for RWC 2024 is live! rwc.iacr.org/2024/program.p…
It was a great pleasure to get together and share ideas between two wonderful communities last week at our attacc-workshop on lattice- and code-based cryptanalysis, co-organized with Felicitas Hörmann at @DLR_en😀 Thanks for joining us! dlr.de/kn/attacc
Our paper received a POPL Distinguished Paper Award! This paper presents a principled framework for language designers to specify how type error localization should work, uses gradual typing to enable total recovery, and shows how to combine bidirectional typing + unification.
Our paper "Total Type Error Localization and Recovery with Holes" was accepted to POPL 2024! 🥳 The three lead authors -- Eric Zhao, Raef Maroof, and Anand Dukkipati -- did this work as undergraduates at Michigan!
Was looking for a good touchstone for how unthinkable the collapse of the USSR was before it happened. Decided on a s1 TNG episode aired in 1987 featuring a federation starship proudly telling the view it was launched from the Baikonur Cosmodrome, USSR in 2363.
🎉🎉 Promoted to Associate Professor! This milestone reflects years of hard work, research, and passion... times it felt like swimming against the current. Big shoutout to my students, mentors, anti-censorship community, friends & family - couldn't have done it without you!
Our paper "Total Type Error Localization and Recovery with Holes" was accepted to POPL 2024! 🥳 The three lead authors -- Eric Zhao, Raef Maroof, and Anand Dukkipati -- did this work as undergraduates at Michigan!
Our paper "Live Pattern Matching with Typed Holes" was recognized as a Distinguished Paper at OOPSLA 2023! I'll be presenting it tomorrow at 11:18am (GMT+1). Super proud of the two lead authors, @YuanYongwei and @ScottJGuest, who led this project as undergraduates at Michigan!
With Shai Levin and @joerowell, we are looked at some PoKs, and found mis-designs and attacks. We looked at ZKAttest and those given by Agrawal et al.’s. We also give sound PoK and a ring sinagture, which we call "CDLS" (with our logo). Check our paper: eprint.iacr.org/2023/1595.pdf
I am thrilled to join @BrownCSDept and @Brown_DSI as an assistant professor in fall 2024.
Next fall, @diana_freed joins @BrownCSDept and @Brown_DSI as an assistant professor. She’s the latest hire in the multi-year CS With Impact campaign, our largest expansion to date. Read the full interview with her at Brown CS News: cs.brown.edu/news/2023/10/1…
Congratulations to Noah Stephens-Davidowitz @NoahSD, assistant professor of computer science, for being named one of the Packard Foundation 2023 Fellows! 👏👏👏 #PackardFellows are exceptional early career scientists pursuing groundbreaking research. cis.cornell.edu/stephens-david…
Thank you my close friends and colleagues of @criptolatinoOrg for everything and to @abdito_8 and @FRHENR. To @dfaranha , the amazing co chair of ASCrypto, and to all the speakers @WCastryck Fernando Virdia, @schollster, @pag_crypto @arantxazapico @deescuderoo, Leah @cjpatton_...
Happy to officially announce our OOPSLA 2023 paper "Gradual Typing for Effect Handlers" (2023.splashcon.org/details/splash…) Extended version with the technical details is available on my website: maxsnew.com/docs/greff-ext…
CSE's new faculty are on campus and excited to meet new and returning students! Pictured from L-R are Profs. Ang Chen, @_arodriguezca, @BondiElizabeth, @jjpark3D, @Lin_Ma_ , and @gokulrs_12791.
I'll be hiring hiring PhD students at UMD this coming year! If you are (or know a) prospective student with interests in applied crypto with social impact, come work with me (or send them my way). Wanna know about my interests/advising style? Check out: kaptchuk.com/blog/post/stud…
Congratulations to my student Mingxun and others for winning the Cylab Presidential Fellowship!
Congratulations to CyLab's 2023 Presidential Fellows! Each year, CyLab recognizes high-achieving Ph.D. students pursuing security and/or privacy-related research with a CyLab Presidential Fellowship that covers one year of tuition. cylab.cmu.edu/news/2023/08/2…