Sabitlenmiş Tweet
Made a professional twitter account entirely distinct from my anonymous just-for-fun account. Seems like a good idea until I inevitably make a post from the wrong account.
English
Evan Johnson
13 posts
Evan Johnson
@evn_johnson
PhD student at University of California San Diego researching software sandboxing, WebAssembly security, and verified programming
San Diego Katılım Eylül 2022
58 Takip Edilen22 Takipçiler
I’m over the moon to share that I’ll be joining the CSE department at UC San Diego as an Assistant Professor starting in July 2024!!!! So stoked to have the opportunity to work in a dream department with amazing colleagues, students, and collaborators @ucsd_cse!
English
Evan Johnson retweetledi
Retweeting for application season
twitter.com/ShrNarayan/sta…
Shravan Ravi Narayan (Archived. Msg on mastodon)@ShrNarayan
Thrilled to share that I will be joining UTAustin @UTCompSci as an Assistant Prof in Fall'23. Many thanks to all who have supported me on this path! I'm looking for grad students! Contact me if you're interested in secure systems, program verification or hardware-based security.
English
Evan Johnson retweetledi
It’s time for Wasmtime One-Dot-OHHHH!
Here’s how we made it:
- Super fast 🚀
- Super safe 🔒
- Super production ready 🦾
Plus: Why use a standalone WebAssembly engine in the first place?
bytecodealliance.org/articles/wasmt…
English
@fitzgen If anyone's curious about VeriWasm, feel free to hit me up on here (I'm the person at UCSD that designed/built it)
English
Extremely grateful for the recognition. Thanks to @Cylab and my advisor Bryan Parno :)
Congrats to the other recipients too!
CyLab@CyLab
Congratulations to CyLab's 2022 Presidential Fellows! Each year, CyLab recognizes high-achieving Ph.D. students pursuing security and/or privacy-related research with a CyLab Presidential Fellowship that covers one year of tuition. cylab.cmu.edu/news/2022/09/1…
English
Verifying Dynamic Trait Objects in Rust
nchong.github.io/papers/icse-se…
English
Love to see fuzzing papers focus on quality (as opposed to quantity) of bugs:
Evocatio: Conjuring Bug Capabilities from a Single PoC
hexhive.epfl.ch/publications/f…
English
Evan Johnson retweetledi
Wasmtime 1.0: A Look at Performance bytecodealliance.org/articles/wasmt…
English