Sotabase

Career

· Researcher / PhD Student, Carnegie Mellon University2021–
· Assistant Professor, University of Maryland2021–

Publications (12)

Some Recipes Can Do More Than Spoil Your Appetite: Analyzing the Security and Privacy Risks of IFTTT Recipes
The Web Conference · 2017
147
cited
How Risky Are Real Users' IFTTT Applets?
SOUPS @ USENIX Security Symposium · 2020
44
cited
I/O dependent idempotence bugs in intermittent systems
Proc. ACM Program. Lang. · 2019
34
cited
Towards a formal foundation of intermittent computing
Proc. ACM Program. Lang. · 2020
31
cited
Automatically enforcing fresh and consistent inputs in intermittent systems
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2021
25
cited
An Architectural Charge Management Interface for Energy-Harvesting Systems
Micro · 2022
11
cited
A Type System for Safe Intermittent Computing
Proc. ACM Program. Lang. · 2023
9
cited
Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust
USENIX Security Symposium · 2025
3
cited
Modal Crash Types for Intermittent Computing
European Symposium on Programming · 2023
1
cited
Designing Formally Correct Intermittent Systems
2023
Modal Crash Types for WAR-Aware Intermittent Computing
ACM Transactions on Programming Languages and Systems · 2025
Users Are still Not the Enemy: Applying Security Usability Principles to Covid-19 Return-To-Work Security
2020
Sotabase
Milijana Surbatovich | Researcher Profile | Sotabase | Sotabase