Eric Rothstein Morris

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 8

Top Topics

Recurrent Neural Networks

Bounded Model Checking

Fundamental Principles

Classification Scheme

Top Venues

Publications

Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay
ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage. MEMOCODE (2022)
Eric Rothstein Morris, Sun Jun, Sudipta Chattopadhyay
Systematic Classification of Attackers via Bounded Model Checking. VMCAI (2020)
Eric Rothstein Morris, Sun Jun, Sudipta Chattopadhyay
Systematic Classification of Attackers via Bounded Model Checking. CoRR (2019)
Ralf C. Staudemeyer, Eric Rothstein Morris
Understanding LSTM - a tutorial into Long Short-Term Memory Recurrent Neural Networks. CoRR (2019)
Eric Rothstein Morris, Sun Jun
Quantifying Attacker Capability Via Model Checking Multiple Properties (Extended Version). CoRR (2018)
Eric Rothstein Morris, Carlos G. Murguia, Martín Ochoa
Design-time Quantification of Integrity in Cyber-physical Systems. PLAS@CCS (2017)
Eric Rothstein Morris, Carlos G. Murguia, Martín Ochoa
Design-Time Quantification of Integrity in Cyber-Physical-Systems. CoRR (2017)
Eric Rothstein Morris, Joachim Posegga
Idea: Enforcing Security Properties by Solving Behavioural Equations. ESSoS (2016)