Jun Xu retweeted
Rust-Prover, our verifier for Rust, proved all 1325 theorems of VeriContest's 1007 problems.
Rust-Prover is based on Aeneas (thanks @sonmarcho and the @MSFTResearch team for the amazing work), uses
@leanprover as a backend, Opus 5.5 for writing the proofs.
This is the the first full solve of the benchmark that we know of.
Median 3.4 minutes and $1.20 per proof, each proof checked by Lean's kernel.
Jun Xu retweeted
Storage is broken. Big Tech controls data. Web3 can't rely on Web2 infra. It ends now.
@ShelbyServes, Web3's 1st cloud-grade infra, by @jump_ @AptosLabs.
Decentralized, monetizable storage for data-rich apps.
Hot by design. Chain-agnostic. Incentivized.
shelby.xyz/
Upon feedback from authors, we have extended the submission deadline of BAR'25 by one week to Jan 22nd, 11:59 PM AoE (CFP at ndss-symposium.org/ndss2025/… will be updated soon)! There is still time to share with us your exciting binary research!
We wish everyone Happy Holidays! The Binary Analysis Research (BAR) Workshop is happening again with @NDSSSymposium. About 3 weeks to go until the deadline: ndss-symposium.org/ndss2025/…! We welcome short or long papers on *all* things binary analysis! Deadline: Jan 15, 2025 AoE!
We wish everyone Happy Holidays! The Binary Analysis Research (BAR) Workshop is happening again with @NDSSSymposium. About 3 weeks to go until the deadline: ndss-symposium.org/ndss2025/…! We welcome short or long papers on *all* things binary analysis! Deadline: Jan 15, 2025 AoE!
Jun Xu retweeted
We are excited to offer travel funding for passionate students to attend the upcoming CCS DEI Workshop. Details can be found here! easychair.org/cfp/ccs_dei202…
Jun Xu retweeted
It's a great honor to collaborate with my talented and hardworking current and former students, friends, and colleagues on the AIxCC journey. A huge shoutout to team 42-b3yond-6ug and a big win for Northwestern, CU-Boulder, Utah, Waterloo, and UNH. Well deserved!
Jun Xu retweeted
Call for participation just opens for CCS doctor symposium. Please apply sigsac.org/ccs/CCS2024/call-…
Jun Xu retweeted
CCS’24 is welcoming 20 excellent co-located events, including a Doctoral Symposium, DEI events, and 18 workshops! Check out their details at sigsac.org/ccs/CCS2024/works…. Submission due dates of many workshops are around the corner; Please consider submitting your exciting research!
Jun Xu retweeted
CCS '24 Workshop "Secure and Trustworthy Superapps"
(SaTS '24), advocating mobile superapp/miniapp trustworthiness, will be held on October 14th at Salt Lake City. Paper submission deadline: July 19th, 2024. Check it out! superappsec.github.io/index.… @acm_ccs
Jun Xu retweeted
Call for Participation of CCS Doctoral Symposium, this is the first time CCS is organizing a doctoral symposium, please join us! sigsac.org/ccs/CCS2024/call-…
Jun Xu retweeted
CCS Workshop "ASHES 2024." Please check it out! ashesworkshop.org/
Jun Xu retweeted
CCS Workshop “AutoCyber 2024.” Please check it out! cybersciencelab.com/workshop…
Jun Xu retweeted
CCS Workshop “RICSS 2024.” Please check it out!
ricssworkshop.github.io/
Jun Xu retweeted
CCS Workshop "LAMPS 2024," please check it out!
lamps-ccs.com/
Jun Xu retweeted
CCS Workshop “SCORED 2024", please check it out! scored.dev/call_for_papers/
Jun Xu retweeted
CCS Workshop “FEAST 2024". The paper submission deadline is July 17th, please check it out! feastworkshop.github.io/2024…
Jun Xu retweeted
CCS Workshop “WPES 2024". The paper submission deadline is July 8th, please check it out!
cseapps.case.edu/wpes2024/in…