News #

Apr'25: Apply to attend the Brown Systems Week 2025!
Mar'25: Our paper on semantics-driven static analysis for the shell made it to HotOS'25!
Mar'25: Received an Amazon Research Award (ARA) on Automated Reasoning for the Unix/Linux shell!
Jan'25: Nikos Vasilakis is organizing EuroSec'25, co-located with EuroSys'25 and ASPLOS'25.
Dec'24: Eric Zhao discusses the intricacies of symbolic execution for the shell at NJPLS'24.
Oct'24: Anirudh Narsipur discusses static analysis for the Unix shell at NEPLS'24.
Aug'24: Lukas Lazarek and Di Jin join the group as postdoctoral associates—welcome!
Jul'24: Eric Zhao, Ethan Lavi, Grigoris Ntousakis, and Yuchen Lu join the group for their PhDs!
Jun'24: Ioanna Gemou starts her research visit on machine learning for systems, co-hosted by Ritambhara Singh.
Jan'24: Evangelos Lamprou starts his research visit on parallel, distributed, and secure systems.
Dec'23: Nikos Vasilakis is co-chairing the PC of EuroSec'24, co-located with EuroSys.
Oct'23: We’re hosting the 3rd PaSh Research Workshop at Brown University.
Sep'23: Nikos Pagonas joins the group for a six-month visit on serverless computing.
Sep'23: Brown CS News published an article on our ACM AsiaCCS'23 distinguished paper award!
Aug'23: Anirudh Narsipur and Seth Sabar start their undergraduate dissertations.
Jul'23: Oğuzhan Çölkesen and Yizheng Xie join the group for their PhD.
Jun'23: Nikos Vasilakis is co-chairing ACM SCORED'23, a workshop co-located with ACM CCS'23.
Jun'23: BinWrap to receive the distinguished-paper award at AsiaCCS'23!
Jun'23: Zhicheng Huang joins the group to work on DiSh.
May'23: hs, the out-of-order, speculative-execution PaSh extensions made it HotOS'23.
Apr'23: Julian Dai joins the group to research supply-chain security.
Mar'23: BinWrap, a language-binary protection hybrid for native add-ons made it to AsiaCCS'23.
Mar'23: Grigoris Ntousakis joins the group for a 9-month research visit.
Feb'23: Seong-Heon Jung joins the group to work on PaSh.
Jan'23: DiSh, the dynamic shell-script distribution extensions to PaSh, made it to NSDI'23!
Dec'22: SecBench.js, a security benchmark suite for JavaScript, made it to ICSE'23!
Nov'22: Pitchfork, an application-level privilege separation system, made it to ACSAC'22!
Jun'22: MIT News covered our work on PaSh: Faster computing results without fear of errors!