IEEE CSF @CSFSymposium
IEEE Computer Security Foundations Symposium ieee-security.org/CSFWweb/ Joined June 2016-
Tweets60
-
Followers482
-
Following18
-
Likes16
Don't miss the IEEE CSF 2026 summer cycle! Paper submission deadline is July 24, 2025 (AoE). csf2026.ieee-security.org
IEEE CSF 2025 early bird registration ends today! So register today at csf2025.ieee-security.org/registration.h…
The list of accepted papers for IEEE CSF 2025 up to and including the fall cycle is live. csf2025.ieee-security.org/accepted.html
IEEE CSF 2025 winter cycle is approaching. Paper submission deadline is Feb 4th, 2025. Submit your best work! See csf2025.ieee-security.org/cfp.html for details.
IEEE CSF 2025 is looking for affiliated workshops. Please see the Call for Workshops page: csf2025.ieee-security.org/cfw.html
Don't miss the fall submission cycle of CSF 2025 (deadline October 1, 2024). csf2025.ieee-security.org
CSF 2024 Test of Time Award: Measuring Information Leakage Using Generalized Gain Functions. Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, and Geoffrey Smith. CSF 2012. Congraluations, Mário, Konstantinos, Catuscia, and Geoffrey!
CSF 2024 Test of Time Award: Secure Information Flow by Self-Composition. Gilles Barthe, Pedro R. D'Argenio, and Tamara Rezk, CSFW 2004. Congraluations, Gilles, Pedro, and Tamara!
CSF 2024 Test of Time Award: Authenticity by Typing for Security Protocols. Andrew D. Gordon and Alan Jeffrey, CSFW 2001. Congraluations, Andy and Alan!
CSF 2024 Test of Time Award: A Hierarchy of Authentication Specifications. Gavin Lowe, CSFW 1997. Congraluations, Gavin!
At CSF 2024 four papers received this year's Test of Time award. Congratulations to all authors! These papers soon will be listed at ieee-security.org/CSFWweb/distin…
The program for IEEE CSF 2024 is online. Check it out: csf2024.ieee-security.org/program.html Early registration ends June 14th. Register here: csf2024.ieee-security.org/registration.h…
The application deadline for student travel scholarships has been extended to June 2, 2024. Check out csf2024.ieee-security.org/scholarships.h… for details.
The first submission deadline for IEEE CSF 2025 (Spring Cycle) is around the corner: May 28, 2025. See csf2025.ieee-security.org/cfp.html for details.
List of accepted papers for IEEE CSF 2024 is online and the program will include two excellent invited speakers: John Mitchell (Stanford) and Peter Muller (ETH Zurich). See csf2024.ieee-security.org for more.
Thanks to some of our sponsors, CSF 2024 has a limited number of scholarships to award to students to assist with travel and accommodation costs for attending CSF 2024. Go to csf2024.ieee-security.org/scholarships.h… for more information.
The IEEE CSF 2024 Workshop on Security, Privacy and Information Theory, Protect-IT'24, is expecting your submission. Deadline: May 04, 2024. protectitworkshop.github.io/protectit-work…
Registration for IEEE CSF 2024 just opened. Don't miss this year's excellent program and register at csf2024.ieee-security.org/registration.h…
The call for workshops for IEEE CSF 2024 is out csf2024.ieee-security.org/cfw.html We look forward to your proposals! #security#ieeecsf
This year's distinguished paper awards go to Vincent Cheval and Itsaka Rakotonirina as well as Norine Coenen, Bernd Finkbeiner, Jana Hofmann, and Julia Tillman. Congratulations on your excellent works!
Alejandro Russo @poke48k
585 Followers 274 Following Computer security researcher and functional programer. Professor at Chalmers University of Technology. Founder of DPella. Executive MBA. From Argentina/Sweden
Matteo Maffei @matteo_maffei
2K Followers 405 Following Professor @SecPrivTUWien @tu_wien, Codirector @CSecCenter and @SecInt_at, Coordinator @SpyCoDe_At @FWF_at, and PI at @SBA_Research. @ERCGrantees, @ERC_Research
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Toby Murray @tobycmurray
1K Followers 632 Following Go find me at @tobycmurray.bsky.social. Assoc Prof at @UniMelb and @cis_unimelb cyber lead; @DSI_VIC Director; @UniofOxford DPhil (@HertfordCollege); He/him
Marco Squarcina @blueminimal
2K Followers 767 Following Senior Scientist @tu_wien / Web security / CTF w @mhackeroni @We_0wn_Y0u @kukhofhackerei @TeamAustriaECSC / #drumandbass DJ / @[email protected]
Marco Guarnieri @MarcoGuarnier1
604 Followers 333 Following Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @[email protected]
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
sofía celi @claucece
8K Followers 5K Following Proud LatinAmerican • "Legendary quantum lady/cryptographer" • Researcher @brave • she/they • hrpc/pquip co-chair @inretafo anti-fraud @w3c @otr_im @LondonU
Nataliia Bielova @nataliabielova
3K Followers 995 Following Research Director @Inria in Online Privacy #GDPR #ePrivacy #Web #tracking #darkpatterns | ex-Privacy Fellow @CNIL 🐘 Mastodon: @nataliabielova
Centre Inria de l'Uni... @Inria_Nancy
4K Followers 1K Following Centre de recherche dédié aux sciences du #numérique | Excellence scientifique et #transfert technologique au cœur de la région Nancy/Strasbourg/Sarrebruck
GaoShou BenZhi @GBenzhi
1 Followers 207 Following
good37 @JUNSHIMUYA
22 Followers 36 Following
mark a babcock @markababcock
137 Followers 1K Following
Omar Seifelnasr @zkp0mar
18 Followers 422 Following candidate master student looking for PhD or any research position in computer science, blockchain, quantum cryptography, nlp and LLMs
mark @mark70671141
7 Followers 66 Following
absolujin @absolujin
0 Followers 232 Following
kingroryg @kingroryg
461 Followers 1K Following helping make AI secure @AWSCloud, prev: @CarnegieMellon
Meng Hao @menghao303
1 Followers 20 Following
Lizet Donny @NDawyne60029
4 Followers 100 Following Recruiting webshell engineers to penetrate websites, with a monthly salary of up to $100,000. If interested, please contact https://t.co/gBA1uf7WHk
Yuan Hong @yhongcs
122 Followers 114 Following Associate Professor at University of Connecticut (@UConn) Research Interests: Differential Privacy, Secure Computation, Trustworthy AI, Optimization
jannikd @drjannikdr
0 Followers 64 Following
Ajith | അജിത�... @Ajith_Suresh92
145 Followers 224 Following Senior MPC Researcher, Technology Innovation Institute (TII)
Lan @Lanlin21
1 Followers 80 Following
Crypto Traders Club�... @CryptomoonClub2
2K Followers 5K Following Primary focus on teaching and helping people succeed in crypto trading and investment. NEED TRADING SIGNALS ? Join 👉 https://t.co/tuGre9B67e
Guowen Xu @guowenxu655487
0 Followers 76 Following Professor at University of Electronic Science and Technology of China.
Brian Fu @fubof1998
12 Followers 132 Following
Amit Singha @AmitSingha32112
18 Followers 2K Following
DGKwon @dg_kwon
3 Followers 23 Following
Yasir chemmakhy @chemmakhy
0 Followers 22 Following
Abdur Rahman Onik @rahmanakon_18
17 Followers 167 Following Love Cricket and Standup Comedy. Can't do any. Hate Coding, do it for living.
Andreas Schreiber @onyame
2K Followers 3K Following Head of intelligent and distributed systems @DLR_de #ComplexSystems #Provenance #Trust #SoftwareVisualization #SoftwareAnalytics #Cybersecurity
KiKyo @kikyo111111
3 Followers 462 Following
Kerby Boisrond @KerbyBoisrond
4 Followers 96 Following Research scientist in Software Engineer and Cybersecurity
tianyu zhao @zhaotyustc
1 Followers 4 Following
Curry and Type @TypeSafetyFirst
14 Followers 64 Following I do semantics, type systems** and other stuff. ** mechanized mostly!
jose.fragoso.santos @josefragososan
138 Followers 624 Following Assistant professor at IST Lisbon. PL and Formal Methods.
Bhumika Mittal @mittalbhumika7
65 Followers 259 Following Software Engineer @AmuseLabs. Research interests: Cryptography (classical & quantum), Complexity Theory, Formal Logic
Haripriya Harikumar @haripriyaa_hp
85 Followers 554 Following Research Fellow, University of Manchester
Shashank Shekhar @s_shekher
17 Followers 16 Following
NANDA RANI PANDEY @nandarani03
28 Followers 414 Following Cybersecurity researcher PhD Scholar, IIT Kanpur
Sayanton Dibbo @sayantonv
9 Followers 75 Following PhD candidate in CS @Dartmouth | Ex-intern @FINRA, @LosAlamosNatLab| Ex-co-chair @DartGSC
Plinio Devanier @PDevanier
318 Followers 2K Following
Quang Dao @QuangVDao
810 Followers 2K Following PhD student @SCSatCMU. Working on formal verification of cryptography
pedro soto @pedrosotooo
68 Followers 643 Following Postdoc @ VTech. Coding Theory, Distributed Computing, and Algebraic & Numerical Computing. Lover of Algebra, Combinatorics, Logic, and Information theory.
Aina,Adedayo Opeyemi @AinaAdedayoOpey
325 Followers 6K Following
Jinhao Tan @tamkamhou
70 Followers 427 Following Ph.D. student @HKUniversity, interested in programming languages, type systems, theorem proving, program verification, and logics.
Magdalena Solitro @magdasolitro
81 Followers 225 Following Ph.D. student @tu_wien (Security & Privacy Research Unit) Formal methods for blockchain security Funded by @SpyCoDeAT
Khanh Nguyen (Alan) @KhanhNDT
1 Followers 345 Following
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Matthew Green is on B... @matthew_d_green
150K Followers 1K Following I teach cryptography at Johns Hopkins. Mostly on BlueSky these days at https://t.co/GI4QlxZr2S.
Marco Guarnieri @MarcoGuarnier1
604 Followers 333 Following Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @[email protected]
Sec&Pri Research@IL @SPR_Illinois
240 Followers 43 Following Security and Privacy Research at Illinois
Adam Bates Yuile @AdamBatesOrg
2K Followers 393 Following Associate Professor researching computer security at the University of Illinois at Urbana-Champaign. All opinions are my own.
Kevin Butler @kevinrbbutler
1K Followers 208 Following Professor at University of Florida, focusing on computer systems security
Patrick Traynor @patrickgtraynor
2K Followers 396 Following Professor at the University of Florida, with a focus on cellular/mobile, voice, and payment security. Always trying to get research out of the lab.
matt blaze @mattblaze
72K Followers 901 Following Scientist, safecracker, writer, professor. 280 is the new 140 is the new 1536. He/Him. Not a paid subscriber. Mastodon: https://t.co/RAvcgh3JqM
nikita borisov @nikitab
4K Followers 2K Following Arachno-capitalist web6 researcher. Tweets not suitable for the casual reader. @[email protected] this week.
Elissa M. Redmiles, P... @eredmil1
8K Followers 6K Following Faculty @Georgetown, Faculty Assoc. @BKCHarvard Digital security, privacy, intimacy, labor Prev @mpi_sws_ @MSFTresearch @Meta @umdcs @nsfgrfp @datascifellows
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.
Gianluca Stringhini @gianluca_string
4K Followers 911 Following Associate Professor at BU. Researching malware, cybercrime, cybersafety, disinformation. Come for the memes, stay for the science
W3C (@[email protected]) @w3c
182K Followers 0 Following The World Wide Web Consortium (W3C) is no longer active on this platform. Please find us at @[email protected]. W3C makes the Web work, for everyone.
Davide Balzarotti @balzarot
3K Followers 318 Following Professor in Computer Security @EURECOM. Ex Defcon CTF organizer with @oooverflow
Thorsten Holz @thorstenholz
7K Followers 363 Following Faculty at @CISPA, focussing on computer/systems security. My tweets are my own. Mastodon: @[email protected]
iSecLab @iseclab
2K Followers 18 Following News from the makers of Anubis, Wepawet, Exposure, Papas, and Andrubis
Maryland Cybersecurit... @CollegeParkMC2
2K Followers 166 Following The Maryland Cybersecurity Center brings together faculty, researchers, and students working in the field of cybersecurity @UofMaryland.Trends for United States
You might like
