Eric Rothstein Morris

Systematic Classification of Attackers via Bounded Model Checking

Sun Jun, Sudipta Chattopadhyay, Eric Rothstein Morris, 2020, VMCAI.

Idea: Enforcing Security Properties by Solving Behavioural Equations

Joachim Posegga, Eric Rothstein Morris, J. Posegga, 2016, ESSoS.

Understanding LSTM - a tutorial into Long Short-Term Memory Recurrent Neural Networks pdf

Ralf C. Staudemeyer, Eric Rothstein Morris, R. C. Staudemeyer, 2019, ArXiv.

Quantifying Attacker Capability Via Model Checking Multiple Properties (Extended Version) pdf

Sun Jun, Eric Rothstein Morris, 2018, ArXiv.

Design-time Quantification of Integrity in Cyber-physical Systems

Martín Ochoa, Eric Rothstein Morris, Carlos G. Murguia, 2017, PLAS@CCS.

Design-time Quantification of Integrity in Cyber-physical Systems

Eric Rothstein Morris, Martín Ochoa, C. Murguia, 2017, PLAS@CCS.

Symmetry structure in discrete models of biochemical systems: natural subsystems and the weak control hierarchy in a new model of computation driven by interactions

Chrystopher L. Nehaniv, Daniel Schreckling, Attila Egri-Nagy, 2015, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage

Eric Rothstein Morris, Sudipta Chattopadhyay, Jun Sun, 2022, 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).