ajax4sec

Associate Professor at Institute of Software Chinese Academy of Sciences (ISCAS). Software security and Program analysis.

[ACNS @acns_2003]

ACNS'26 started, in the nice campus of Stony Brook University. This is the 4th time in NY.

Thanks to the organizing team led by
General Chairs:
Omar Chowdhury & Nick Nikiforakis (Stony Brook University)
Program Chairs:
Aniket Kate (Purdue University) & Kangkook Jee (UT Dallas)

[Cheng Hong 洪澄 @ChengHong_ustc]

AsiaCCS 2027 will be held in Macau, China from July 12–16, 2027.
I'm honored to serve as the Track Chair for “Applied Crypto, Blockchain and Distributed Systems.” together with @GhassanKarame

We warmly invite researchers and practitioners with relevant expertise to join our program committee!

If you're interested, please self nominate or recommend qualified candidates via the link below:
https://t.co/qFv6yxgnPN

[Jianying Zhou @jianying_zhou]

Zhou's ranking of top cybersecurity conferences 2025 released.
https://t.co/AMYRDNbA9a

No big changes this year.
▪︎IEEE S&P has always been ranked #1.
▪︎1st time for Eurocrypt ranked #2.
▪︎ACM AsiaCCS is rising fast, will be top 10 in a few years.

[Alastair Donaldson @afd_icl]

Are conference reviewers harsher when they have a submission of their own? Post by @wicko3

https://t.co/951TSKT9O0

[Rohan Padhye @moarbugs]

We're excited to announce two keynote speakers for the #FUZZING'25 workshop (part of @issta_conf at Trondheim, Norway):

[*] Will Wilson, CEO and Co-Founder of @AntithesisHQ
[*] Miryung Kim, Professor and Vice Chair of Graduate Studies at @UCLAComSci

https://t.co/8To2yddxXa

[ajax4sec @ajiaiscas]

Let's talk about Fuzzing !

[Marcel Böhme👨‍🔬 @mboehme_]

#FUZZING'25 CALL FOR PAPERS
──────
✨ New OC members: @RuijieMeng (NUS) + Rohan Padhye (@moarbugs; CMU).
✨ New paper type: Fuzzing Nuggets (short papers).

🔗 https://t.co/cOJM2fvBlp
📅 20. March (Submission)

//cc @YannicNoller (RUB), László Szekeres (@lszekeres; Google)

[Mathias Payer @gannimo]

What a great time hosting Chao for a short visit @EPFL_en. This is the first time I trust ML-based binary analysis. Cool stuff!

[ajax4sec @ajiaiscas]

Have a nice trip to Oakland S&P this year! Two papers are presented. Thanks to all the co-authors and PCs. Hope to be there again!

[ajax4sec @ajiaiscas]

Finally have the chance to go abroad to attend the conference！Happy to present two of our works, AFGen for fuzzing and AirTaint for taint analysis, at #ieeesp2024

[陈隆 (Long Chen) @Jason_Chen_Long]

同时欢迎相关方向同学依托中科院软件所申报海外优秀青年基金和中科院海外优秀人才项目🥳

[NDSS Symposium @NDSSSymposium]

Day 2 of #NDSSSymposium2024 kicked off with Professor Herbert Bos' keynote "Corruption of Memory: Those who don’t know history are doomed to repeat it."

[ajax4sec @ajiaiscas]

Honored to be a reviewer for USENIX Security 2024 and CCS 2024. Fortunate to have the opportunity to have experience as a reviewer for both software engineering conferences and security conferences😀

[ajax4sec @ajiaiscas]

After publishing several papers on ASE, honored to get the chance to be a program committee for the 39th IEEE/ACM International Conference on Automated Software Engineering (@ASE_conf ). Can’t wait to see brilliant ideas all around the world and learn to be a 'nice' reviewer😂

[spinpx @spinpx]

https://t.co/X4u8bPKPYZ I and Wei Cao did most of this work and wrote the first draft while we were at Ant Group. However, they removed us from the author list. Sad story. This work is shepherd by Alex Liu. However, he is not in the list, too.

[Tiffany Bao @___tiffanyb___]

NDSS is welcoming posters that represent recently published or ongoing work: https://t.co/vpPHS2PH4A. Deadline: 1/19/2024. Retwitting is much appreciated.

[ajax4sec @ajiaiscas]

Awesome😎

[spinpx @spinpx]

Hopper supports LLVM instrumentation now. https://t.co/Oia198e5O2

[spinpx @spinpx]

Hopper is released at: https://t.co/JHKslYAq9L

[ajax4sec @ajiaiscas]

@thuanpv_ Agree, especially for the real-world fuzzing in industry

[spinpx @spinpx]

We presented HOPPER, which generates fuzzing test cases for libraries automatically via interpretative fuzzing. It transforms the problem of library fuzzing into the problem of interpreter fuzzing. The paper can be found at https://t.co/b0ao9C8pL6

[ajax4sec @ajiaiscas]

@aaron_defazio @zhendongsu Check the CFP of S&P 2024. Your opinion is adopted😂only two options of Accept and Reject