This tweet is for FUZZING enthusiasts !! Our research group at NUS (abhikrc.com/projects/Fuzz/) is looking for practitioners and researchers to take this survey about software testing: lnkd.in/g6f_2ftd
We'll donate $5 USD to Doctors Without Borders (up to 100 responses)!
We are a research team at Georgia Tech and intend to study users' perceptions of #cryptocurrency trading. We expect that this study will help the cryptocurrency community develop technologies that protect users from malicious activities...
I am happy to share that my previous work is accepted at CAV 2021!
We build a certified SMT QFBV solver CoqQFBV.
QFBV is used in many tools.
Hope our work can enlarge the TCB of your work!
If you are interested, please check the preprint!
twleo.com/publication/ca…
Georgia Tech 2021 rankings by @usnews:
1⃣: civil engineering
1⃣: industrial & systems engineering
All engineering programs in top 5⃣
1⃣ in 🇺🇸for cybersecurity
Top 5⃣ in first-ever computer science rankings
3⃣: co-op & internships programs
4⃣: most innovative college in U.S.
2K Followers 457 FollowingGeorgia Tech’s home for cybersecurity and privacy! For questions about admissions please email our academic office at [email protected]
1K Followers 4K FollowingStand ye by the roads, and look and ask for the ancient paths, where the good way is, and walk ye in it; and find rest for your souls.
3K Followers 6K FollowingLLM for code and reasoning. PhD student at Cornell. Previously Student Researcher at @google. Previously intern at @theteamatx.
1K Followers 649 FollowingLecturer (Assistant Professor) at University of Manchester | Making Formal Methods better and more practical
👩🎓👨🎓 Looking for PhD students!
401 Followers 375 FollowingA software engineer interested in Cybersecurity and Machine Learning, and also a CTFer focused on Reverse & Pwn @ BambooFox 🎉.
2K Followers 457 FollowingGeorgia Tech’s home for cybersecurity and privacy! For questions about admissions please email our academic office at [email protected]
1K Followers 2K FollowingSecurity for Web3, through formal verification 🚀
Ethereum, Solana, Sui 🔍
Solidity, Rust, zero-knowledge. DM us to ensure your code is safe!
16K Followers 15 FollowingSecurity reviews and research that keep winners winning. We apply unmatched hacking talent to secure critical software for the most innovative teams.
6K Followers 779 FollowingOfficial Twitter page of the Computer Science Department at ETH Zurich. Collected media and news from and about the department.
4K Followers 138 FollowingOrganized by @USENIX. Features engaging talks on security and privacy ideas that matter. #enigma2023 Jan. 24 – 26, 2023 in Santa Clara, CA, USA!
8K Followers 132 FollowingWe are a hi-tech company focusing on binary software analysis. Our main products are IDA Pro and the Hex-Rays Decompiler.
Discourse: https://community.hex-rays
2K Followers 44 FollowingAlso known as decoder. Firefox Tech Lead and Principal engineer at Mozilla. Fuzzing, lock picking addict, conference speaker, physical security researcher.
9K Followers 0 FollowingSince 1980, the IEEE Symposium on Security and Privacy has been the premier forum for presenting developments in computer security and electronic privacy.