Eric Rothstein Morris

According to our database, Eric Rothstein Morris authored at least 6 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay

Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022

2020

Systematic Classification of Attackers via Bounded Model Checking.

Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

2019

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

Ralf C. Staudemeyer, Eric Rothstein Morris

CoRR, 2019

2018

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

Eric Rothstein Morris, Jun Sun

CoRR, 2018

2017

Design-time Quantification of Integrity in Cyber-physical Systems.

Eric Rothstein Morris, Carlos G. Murguia, Martín Ochoa

Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, 2017

2016

Idea: Enforcing Security Properties by Solving Behavioural Equations.

Eric Rothstein Morris, Joachim Posegga

Proceedings of the Engineering Secure Software and Systems - 8th International Symposium, 2016