Research

Publications

• E. Rothstein-Morris, J. Sun, and S. Chattopadhyay. ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage. 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022. DOI: 10.1109/memocode57689.2022.9954595

• E. Rothstein-Morris, J. Sun, and S. Chattopadhyay. Systematic Classification of Attackers via Bounded Model Checking. 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. DOI: 10.1007/978-3-030-39322-9_11

• E. Rothstein-Morris, C. G. Murguía, and M. Ochoa. Design-time Quantification of Integrity in Cyber-physical Systems. 12th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, PLAS 2017. DOI: 10.1145/3139337.3139347

• E. Rothstein Morris and J. Posegga. Idea: Enforcing Security Properties by Solving Behavioural Equations. 8th International Symposium on Engineering Secure Software and Systems, ESSoS 2016. DOI: 10.1007/978-3-319-30806-7_17

• C. L. Nehaniv, J. Rhodes, A. Egri-Nagy, P. Dini, E. Rothstein-Morris, G. Horváth, F. Karimi, D. Schreckling, and M. J. Schilstra. Symmetry structure in discrete models of biochemical systems: natural subsystems and the weak control hierarchy in a new model of computation driven by interactions. Philosophical Transactions of the Royal Society A, 2015. DOI: 10.1098/rsta.2014.0223