🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

The FutureG program is out! Thanks to our amazing authors and PC members for helping us make this wonderful program. If you are at NDSS, don't miss these exciting talks. ndss-symposium.org/ndss-program/f…

A packed next week is ahead of us! Safe travels to everyone participating in #NDSSsymposium2025. The full program is now out and I am looking forward to seeing many familiar faces and meeting new ones in San Diego - let’s talk security and beyond!

🚀If you're looking for inference-time techniques to max out the reasoning ability of your local LLMs, check our #ICLR2025 paper GreaTer for gradient-based prompt optimization! We generate fluent & strategic prompts outperforming APO/APE/PE2/TextGrad on multiple reasoning

A quick reminder that discounted registration rates for for the #LangSec workshop end tomorrow, April 14, at 11:59 pm PDT, and the conference hotel block rates end shortly after. Details at langsec.org/spw25/importan… We hope to see you all in San Francisco on May 15, 2025!

11th LangSec IEEE Security & Privacy workshop is happy to announce its preliminary program: langsec.org/spw25/program.… Abstracts are posted at langsec.org/spw25/abstract… Join us on May 15 in San Francisco!

Embarking on a new project that needs physical access to an H100 GPU. Any chance anyone is willing to let us borrow one (we promise to return it), in exchange for a security exploration into the land of confidential computing? If so, DM me for further details. Thanks :)

Super excited to have LORIS, a stateful analysis and fuzzing framework for commercial baseband firmware, accepted at Black Hat Events this year. See you all in Las Vegas! #BHUSA blackhat.com/us-25/briefing…

I am looking forward to sharing my thoughts and learnings from DARPA programs on the new kinds of tools we need for maintaining and sustaining software and firmware at hardwear.io , hardwear.io/usa-2025/speak…

Papers and slides from the 11th LangSec IEEE Security & Privacy workshop are now posted on the LangSec website: langsec.org/spw25/abstract…

Cybersecurity is not about maintaining status quo, cost centers, and accepting risk. It is about creating safe code faster, cheaper, and changing it safely as fast as needed for the mission. Formal methods is the only path to winning in the cyber domain: darpa.mil/formal-methods

Congratulations, Ishtiaq! Way to go!

Learn about how you may bypass paywalls of inflight Wi-Fi systems! Great job by Abdullah Al Ishtiaq and the folks from UMass!