News · ATLAS Group

Apr'26: Extensions to the Koala benchmarks invited to ACM TOCS, following a recommendation by the USENIX ATC'25 chairs.

Apr'26: New approaches on securing agentic environments, internally (at EuroMLSys'26) and externally (Sc.M. thesis)!

Mar'26: Apply to attend the 2026 Brown Systems Week in beautiful Providence, RI!

Jan'26: We are organizing a tutorial on Analyzing Shell Scripts at POPL'26—join us in Rennes, France!

Jul'25: Evangelos Lamprou joins the group for his PhD!

Jun'25: The Koala benchmarks was accepted at USENIX ATC'25!

May'25: Grigorios Ntousakis started his internship at IBM research!

Mar'25: Received an Amazon Research Award (ARA) on Automated Reasoning for the Unix/Linux shell!

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!

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.

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: Grigorios 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, was accepted to ACSAC'22!