I am a senior scientist in Internet of Things Systems & Software at Hitachi Energy Research Switzerland. Previously, I worked on software security, reliability of machine learning and making robots easier to program at ABB Corporate Research. I received my PhD in Computer Science from ETH Zurich in 2018.
You can find more details in my CV.
Program Analysis, Software Security, Reliability of Machine Learning
Evaluating Differential Firmware Updates for Embedded IoT Device Fleets
Jayden Sorensen, Syed Aftab Rashid, Hossam ElHussini, Andrei Dan. WFCS 2025A Framework for Configurable Scalability Evaluations of IoT Platforms
Fabio Muratori, Yuening Yang, Zeineb Rejiba, Andrei Dan. AINA 2025Synthesizing False Positive Adversarial Objects Using Generative Models
Martin Kotuliak, Sandro E. Schoenborn, Andrei Dan.Fast and Effective Robustness Certifcation for Recurrent Neural Networks
Wonryong Ryou, Jiayu Chen, Mislav Balunovic, Gagandeep Singh, Andrei Dan, Martin Vechev. CAV 2021Securify: Practical Security Analysis of Smart Contracts
Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Bunzli, Martin Vechev. CCS 2018Automatic Verifcation of RMA Programs via Abstraction Extrapolation
Cedric Baumann, Andrei Dan, Yuri Meshman, Torsten Hoefler, Martin Vechev. VMCAI 2018Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts
Andrei Dan, Manu Sridharan, Satish Chandra, Jean Baptiste Jeannin, Martin Vechev. CAV 2017Modeling and Analysis of Remote Memory Access Programming
Andrei Dan, Patrick Lam, Torsten Hoefler, Martin Vechev. OOPSLA 2016 (Distinguished Paper Award)Effective Abstractions for Verifcation under Relaxed Memory Models
Andrei Dan, Yuri Meshman, Martin Vechev, Eran Yahav. VMCAI 2015Synthesis of Memory Fences via Refinement Propagation
Yuri Meshman, Andrei Dan, Martin Vechev, Eran Yahav. SAS 2014Predicate Abstraction for Relaxed Memory Models
Andrei Dan, Yuri Meshman, Martin Vechev, Eran Yahav. SAS 2013